为什么返回SFINAE转换运算符不起作用？

Question

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
                     ^

Answer 1

该模式仅对转换功能不起作用。问题是，为了确定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。