我目前正在研究一个小型数学 vector 类。 我想要两个 vector 类，Vector2和 Vector3从一个到另一个是可构造的。 例如:

Vector2<float> vec2(18.5f, 32.1f); // x = 18.5; y = 32.1
Vector3<float> vec3(vec2);         // x = 18.5; y = 32.1; z = float()

为此，为了简化可扩展性，我想使用特征 VectorTraits其基本定义如下:

template <typename T>
struct VectorTraits
{
  typedef T                      VectorType;
  typedef typename T::ValueType  ValueType;

  static const unsigned int      dimension = T::dimension;
};

此表单将允许用户在现有 Vectors 类(例如 glm::vec2)和我的类之间建立链接。然后可以从 glm::vec2 创建一个 Vector2。

此外，这项技术可以让我为定义 VectorTraits 的所有类编写一个通用的流操作符。使用 SFINAE。

这是我的问题，我无法定义 operator<<所以当 VectorTraits 时，这是无声的错误不适合给定的类型。

这是我最后一次尝试(Ideone link here):

#include <iostream>
#include <type_traits>

// To define another operator
struct Dummy
{};

// Traits class
template <typename T>
struct VectorTraits
{
  typedef T                       VectorType;
  typedef typename T::ValueType   ValueType;
  static const std::uint16_t      dimension = T::dimension;
};

// Fake vector class. Defines the required typedef.
struct Vec
{
  typedef float   ValueType;
  static const std::uint16_t dimension = 2;
};

// Streaming operator for Dummy.
std::ostream& operator<<(std::ostream& stream, const Dummy& d)
{
    stream << "dummy.\n";
    return stream;
}

// Streaming operator attempt for classes defining VectorTraits.
template <class T, std::enable_if_t<(VectorTraits<T>::dimension > 0)>>
std::ostream& operator<<(std::ostream& stream, const T& vec)
{
    std::cout << "Traits. Dimension = " << VectorTraits<T>::dimension << "\n";
}

int main()
{
    std::cout << "Test\n";
    std::cout << Vec();
    std::cout << Dummy();
    return 0;
}

通过这次尝试，错误只是

error: no match for 'operator<<' (operand types are 'std::ostream {aka std::basic_ostream<char>}' and 'Vec')
prog.cpp:33:15: note: candidate: template<class T, typename std::enable_if<(VectorTraits<T>::dimension > 0), void>::type <anonymous> > std::ostream& operator<<(std::ostream&, const T&)
 std::ostream& operator<<(std::ostream& stream, const T& vec)
               ^
prog.cpp:33:15: note:   template argument deduction/substitution failed:
prog.cpp:41:19: note:   couldn't deduce template parameter '<anonymous>'

如果我改变

template <class T, std::enable_if_t<(VectorTraits<T>::dimension > 0)>>

到

template <class T, std::enable_if_t<(VectorTraits<T>::dimension > 0)>* = 0>

我遇到另一个错误

prog.cpp:13:35: error: 'char [21]' is not a class, struct, or union type
   typedef typename T::ValueType   ValueType;

我设法开始工作的唯一版本是一个空的 VectorTraits必须专门针对每个 Vector 的类.但我也想提供一种“自动”成为 Vector 的方法。与一些typedef已定义。

我不明白为什么在演示版本中，我的运算符没有被编译器保留。我也尝试了一些变体，但它总是要么匹配所有内容，要么什么都不匹配。

最佳答案

一个问题是您没有为 std::enable_if_t 的结果提供默认参数实例化，因此模板参数推导失败。解决此问题的一种方法是添加 * = nullptr对它:

template <class T, std::enable_if_t<(VectorTraits<T>::dimension > 0)>* = nullptr>
std::ostream& operator<<(std::ostream& stream, const T& vec)

但是，现在我们得到一个错误，因为在 VectorTraits<T> 中实例化，T::ValueType是必须的。这不在 SFINAE 上下文中，因此如果该成员不存在，将发生硬故障。我们可以通过在我们的模板参数中添加 SFINAE 检查来解决这个问题:

template <class T, typename = typename T::ValueType, 
          std::enable_if_t<(VectorTraits<T>::dimension > 0)>* = nullptr>
std::ostream& operator<<(std::ostream& stream, const T& vec)

您可以将其分解为外部 IsValidVector检查，以便在多次需要此类检查时可以更新一个点。

关于c++ - 应用 SFINAE 检查是否为 T 定义了特征，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/33143459/