c++ - 嵌套模板特化

当模板参数与该类具有相同的类型时，我有一个需要专用构造函数的模板化类。下面的代码将无法编译。

当类型为Dual时，指定使用特定构造函数的正确语法是什么？特别是，当template参数的类型为Dual时，我需要在初始值设定项列表上初始化成员'real'，而当不是的时候就不需要（例如，double类型）。

template<class X> class Dual {
 public:
  X real;
  size_t N;
  std::vector<X> imag;//don't know N at compile time


  Dual(size_t _N);

};

template <class X>
inline Dual<X>::Dual(size_t _N):  N(_N), imag(N, 0.0)  {}

template <class X>
inline Dual<Dual<X> >::Dual(size_t _N): real(_N), N(_N), imag(_N, 0.0) {}
//syntax error:
//error: cpptest.cpp:20:24: error: C++ requires a type specifier for all declarations
//inline Dual<Dual<X> >::Dual(size_t _N): real(_N), N(_N), imag(_N, 0.0) {}
//~~~~~~



int main(){

  Dual <double> a(5);
  Dual< Dual < double>> b(5);

}

最佳答案

您可以为构造函数提供一个可选的第二个参数来初始化real。

template<class X> class Dual {
public:
  X real;
  size_t N;
  std::vector<X> imag;
  Dual(size_t _N, X x = X());
};

template <class X>
inline Dual<X>::Dual(size_t _N, X x):  real(x), N(_N), imag(N, 0.0)  {}

现在，当您有特殊的Dual时，可以通过传入“原型”以所需的方式对其进行初始化。

Dual<double> a(5);
Dual< Dual<double> > b(5, a);

好处是您只需要声明一个template。但是，如果为Dual< Dual<X> >创建专用化，则可以像尝试过的那样定义构造函数（除非imag初始化错误，并在下面进行了更正）。

// Specialize Dual<T> in the case T is a Dual<X>
template <class X> class Dual< Dual<X> > {
public:
    Dual<X> real;
    size_t N;
    std::vector< Dual<X> > imag;
    Dual(size_t _N);
};

template <class X>
inline Dual< Dual<X> >::Dual(size_t _N)
    : real(_N), N(_N), imag(N, Dual<X>(_N)) {}

关于c++ - 嵌套模板特化，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/11196261/