为什么使用带有默认值的'std::enable_if_t”会导致重新定义错误？

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() { }

都是templatevoid()类型。第二个类型参数具有不同的默认值这一事实是无关紧要的，因为编译器认为这两个模板是相同的。

要解决此问题，有必要从 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中文网其他相关文章！