Question

我有个运算符（在这种情况下为operator&=，但这不是问题），可以正常工作，直到我将std::enable_if_t引入到混合中为止。

使用代码示例进行解释更简单：

template<typename T, std::enable_if_t<std::is_integral_v<T> && std::is_unsigned_v<T>>>
MyClass& MyClass::operator&=(T d)
{ /*... */ }

// then in main
MyClass a;
a &= static_cast<unsigned char>42;
a &= (unsigned long long)47;

如果我注释掉std::enable_if_t块，则它会按预期编译并运行，但是一旦我将其放入其中，它就会产生格式错误

test.cpp:42:7: error: no match for ‘operator&=’ (operand types are ‘MyClass’ and ‘unsigned char’)
  a &= static_cast<unsigned char>(42);
  ~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from test.cpp:4:0:
file.hpp:69:103: note: candidate: template<class T, typename std::enable_if<(is_integral_v<T> && is_unsigned_v<T>), void>::type <anonymous> > MyClass& MyClass::operator&=(T)
  template<typename T, std::enable_if_t<std::is_integral_v<T> && std::is_unsigned_v<T>>> MyClass& operator&=(T d);
                                                                                                  ^~~~~~~~
file.hpp:69:103: note:   template argument deduction/substitution failed:
test.cpp:42:39: note:   couldn't deduce template parameter ‘<anonymous>’
  a &= static_cast<unsigned char>(42);

我觉得这里缺少一些简单的东西。我什至已经尝试通过调用a.operator&=<unsigned char>(static_cast<unsigned char>(42))来提示编译器，以查看它是否可以工作，但是不能。

Answer 1

您需要在

的第二个模板参数中使用class / typename

template<typename T, class = std::enable_if_t<std::is_integral_v<T> && std::is_unsigned_v<T>>>
                     ^^^^^
MyClass& MyClass::operator&=(T d)

当条件std::is_integral_v<T> && std::is_unsigned_v<T>为真时，enable_if::type为void。没有将class void视为非类型模板参数，那是错误的（void不能用作非类型参数reference）。

通过使用class / typename将第二个参数定义为类型参数，该参数将带空-class SomeTypeName = void如果enable_if中的条件为true，或者此函数模板从重载集中被丢弃当enable_if的条件为false时。

引入std :: enable_if后出现“ No match”错误

1 个答案: