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/

10-11 21:30
查看更多