c++ - 引入 std::enable_if 后出现“不匹配”错误
问题描述
我有一个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))
来提示编译器以查看它是否可以工作,但它没有。
解决方案
您需要在定义中的第二个模板参数处使用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
不能用作非类型参数引用)。
通过使用class
/typename
第二个参数被定义为类型参数,它采用 void - class SomeTypeName = void
如果 enable_if 中的条件为真,或者当 enable_if 的条件为假时,此函数模板从重载集被丢弃。
推荐阅读
- powershell - 多个服务器上多个路径的嵌套测试路径....并正确输出powershell结果
- android - 如何在 Android 中将外部 jar 文件包含到 aar 文件中
- junit - 升级到 2.8.2 后 GWT Junit 失败
- c++ - 纹理球体上的球有一条暗带
- javascript - 显示变量和数组
- c# - 如何“获取 SharePoint 列表项的项目 URL(本地)”并将其添加到数据表中
- php - PHP WOPI 主机和 WOPI 客户端通信
- php - 如何避免所有页面中的相同帖子
- c++ - 从 riscv-gnu-toolchain 生成的 s 文件不运行 RISCV 模拟器
- php - 插入 HTML 表单数据出现空白