C++模板和无符号长问题

Question

我打算

const  madness::Vector<double,3> kvec(0.0, 0.0, 1.0);

通过调用以下代码

template <typename T>
Vector<T,3> vec(T x, T y, T z) {
   Vector<T,3> r; r[0] = x; r[1] = y; r[2] = z;
   return r;
}

来创建一个常量 Vector不幸的是，我收到一个错误，似乎说

extra.cc:216: error: no matching function for call to ‘madness::Vector<double, 3ul>::Vector(double, double, double)’
note: candidates are: madness::Vector<T, N>::Vector(const madness::Vector<T, N>&) [with T = double, long unsigned int N = 3ul]
note:                 madness::Vector<T, N>::Vector() [with T = double, long unsigned int N = 3ul]

我忍不住注意到错误消息中的 3ul 。为什么编译器会认为我无辜的小三是unsigned long？

提前致谢， 缺口

Answer 1

你的 Vector 类模板可能是：

template<typename T, size_t N> class Vector ...

你的 size_t 可能是一个 unsigned long 吗？

另外，我怀疑你的真正意思是：

const  madness::Vector<double,3> kvec = vec(0.0, 0.0, 1.0);

Answer 2

如果您想使用 vec 函数，那么您需要

const  madness::Vector<double,3> kvec( vec(0.0, 0.0, 1.0) );

最终使用复制构造函数。按照您编写的方式，您需要为向量类提供一个需要三个双精度值的构造函数。

Answer 3

添加一个需要 3 个 double 的构造函数。您还没有，或者您错误地声明了它，或者您想使用 = { ... } 来使用聚合初始化而不是构造函数。选择适合的。

至于 3u - 您很可能将相应的模板参数声明为 unsigned long int。

请注意，这有一个重要的结果：

template<typename T, int N>
void f(Vector<T, N> v);

// will not work, since "N" is an int, not an "unsigned long int"!
f(kvec);

您需要知道非类型模板参数的确切类型才能推断出参数。在这种情况下，您需要将 N 设为 unsigned long int。

Answer 4

添加一个接受三个三输入的构造函数。就像这样：

template <unsigned int T, class N>
class Vector {
public:
  // ...
  Vector(T x, T y, T z);
  // ..
};