struct A
{
template <typename T>
constexpr explicit operator
std::enable_if_t<
std::is_same<std::decay_t<T>, int>{},
int
>() const noexcept
{
return -1;
}
};
int main()
{
A a;
std::cout << int(a) << std::endl;
}
错误是
clang-7.0.1
:<source>:21:16: error: no matching conversion for functional-style cast from 'A' to 'int'
std::cout << int(a) << std::endl;
^~~~~
<source>:7:22: note: candidate template ignored: couldn't infer template argument 'T'
constexpr explicit operator
^
最佳答案
该模式仅对转换功能不起作用。问题是,为了确定a
是否可转换为int
,我们寻找一个operator int()
-但是得到的是:
std::enable_if_t<std::is_same<std::decay_t<T>, int>{}, int>
这是一个非推论的上下文-因此我们找不到
int
。您必须将条件移动到默认参数中:
template <typename T, std::enable_if_t<std::is_same_v<T, int>, int> = 0>
constexpr explicit operator T() const noexcept { return -1; }
这样,我们可以推断出
T
,然后让SFINAE发挥作用。请注意,由于我们没有任何参考,因此您不需要decay
。关于c++ - 为什么返回SFINAE转换运算符不起作用?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/55014494/