c++ - SFINAE 在重载决议之外？

Question

在他的演讲现代模板元编程:纲要第 I 部分中，Walter Brown 以他的方式讨论了 enable_if 与 SFINAE 的交互。

在大约 47:40 的谈话中，他被问到一个问题，我无法完全匹配他对所问问题的回答。然而，问题的症结似乎在于他是在说 SFINAE 独立于重载解析，恰好常用于函数的重载解析。

我对他的回答的理解是，他还说 SFINAE 还有其他用途。

除了重载决议之外，SFINAE 还能应用到哪些地方？在听到他对这个问题的回答之前，我的理解是它唯一的用途是重载解析。

编辑:谈话在这里https://www.youtube.com/watch?v=Am2is2QCvxY

Answer 1

如果您认为合适，您可以根据参数禁用任何模板。

例如，可以想象一个矩阵类应该只用算术类型实例化。也就是说，我们希望允许实数和整数矩阵而不是字符串矩阵。你可以这样做:

#include <type_traits>

template<typename T,
         typename = typename std::enable_if<std::is_arithmetic<T>::value>::type>
class Matrix
{
  // ...
};

现在，如果用户执行 Matrix<double> m {}它会愉快地编译但是一个Matrix<std::string>会给出一个简单的错误信息，指出这种类型没有被定义。这可能对用户有帮助的不仅仅是矩阵类的某些内部结构没有为 std::string 生成有效代码的错误消息页面。操作数。

另一个用例是在模板的部分特化中进行选择。这可能是一个愚蠢的例子，但它可能会给你一个想法。假设我们有一个带有两个类型参数的模板，并且想要专门处理它们都引用相同类型的情况。但是，如果类型小于 int ，特化(出于某些不明确的原因)比主要模板差，所以在那种情况下我们不想要它。

#include <iostream>
#include <type_traits>

template<typename T1, typename T2>
struct X
{
  void
  operator()()
  {
    std::cout << "I'm the primary template." << std::endl;
  }
};

template<typename T>
struct X<T, typename std::enable_if<(sizeof(T) >= sizeof(int)), T>::type>
{
  void
  operator()()
  {
    std::cout << "I'm the partial specialization." << std::endl;
  }
};

int
main()
{
  X<int, float> int_float {};  // primary template
  X<int, int> int_int {};      // partial specialization
  X<char, char> char_char {};  // primary template!
  int_float();
  int_int();
  char_char();
}

我的系统输出:

I'm the primary template.
I'm the partial specialization.
I'm the primary template.