C ++：默认初始化模板函数中的整数类型

Question

出于教育目的，我正在编写自己的 C++ 数值向量模板类。我希望能够为两个向量的点积编写 (v, w) 并因此重载operator,()，如下所示：

template<class T>
const T Vector<T>::operator,(const Vector<T>& v) const
{
    assertEqualSize(v);

    T t;
    for(size_t i=0; i<numElements; i++) {
        t += elements[i] * v[i];
    }
    return t;
}

我现在的问题是：如何使用合理的值正确初始化 t（例如 0.0 用于 Vector<double>）？我尝试了T t();，但随后 g++ 告诉我，例如，“double(*)()”不能在 return 语句中转换为“const double”，并且operator+=() 不会为“(double(),双）”。

非常感谢！

Answer 1

您需要的称为值初始化，它具有对内置类型进行零初始化的效果：

T t{};     // C++11
T t = T(); // C++03 and C++11

这不起作用的原因

T t();

它是一个名为t的无参数函数的声明，返回一个T。

Answer 2

当简单的值初始化调用默认构造函数和因此可能无法进行零初始化。如果您的意图不是内置类型T，我会感到惊讶，但是您的代码的用户可能有其他想法......您应该防范这种情况，例如通过 SFINAE：

template<class T>
struct is_complex { static const bool value = false; };
template<class U>
struct is_complex<std::complex<U>> : std::is_floating_point<U> {};

template<class T>
typename
std::enable_if<std::is_floating_point<T>::value || is_complex<T>::value,
               T>::type
T Vector<T>::operator,(const Vector<T>& v) const
{
   T t{};  // value-initialisation is now guaranteed to be zero-initialisation
   /* ... */
}

当然，这种类型的 SFINAE 可以作为一个整体应用于class Vector<T>（而不是应用于选定的方法）。

---

澄清一下：这基本上将可能的类型 T 限制为 6 种允许的类型（float、double、long double 和相应的 std::complex<> 类型）。当然，可以允许整数类型，但如果您想要对整数向量进行向量运算，我会感到惊讶。