enable_if_t 模板参数的重新定义问题
在提供的代码中,尝试使用新语法转换 std::enable_if 类型约束(typename = std::enable_if_t...) 导致重新定义错误。这是因为两个模板函数:
template<typename T, typename = std::enable_if_t<std::is_same<int, T>::value>>> void g() { }
和
template<typename T, typename = std::enable_if_t<std::is_same<double, T>::value>>> void g() { }
都是template
要解决此问题,有必要从 enable_if_t 约束中删除默认值。这会产生以下代码:
template<typename T, std::enable_if_t<std::is_same<int, T>::value, int>*> void g() { } template<typename T, std::enable_if_t<std::is_same<double, T>::value, int>*> void g() { }
在这种情况下,第二个类型参数现在是一个指针,其类型取决于第一个。编译器可以代入类型 T 来确定两个模板之间是否存在冲突,如果不存在冲突就会解决。
以上是为什么使用带有默认值的“std::enable_if_t”会导致重新定义错误?的详细内容。更多信息请关注PHP中文网其他相关文章!