使用 std::enable_if 的模板重载的隐式转换运算符 T() 编译失败

Question

我正在用 C++17 编写一个 class，我希望为浮点类型和某些自定义类型重载转换运算符。这是可重现的例子。我需要使用模板添加更多转换，但如果我能解决这些问题，其余的应该类似。

class A {
};

class B : public A {
};

class C: public A {
};

class Missing {
 public:
  Missing() {}
  Missing(Missing &) = default;

  template<typename T,typename=typename std::enable_if_t<std::is_floating_point_v<T>, T>>
  explicit constexpr operator T() const {
    return static_cast<T>(NAN);
  }

  template<typename T, class = typename std::enable_if_t<std::is_base_of_v<A, T>, T>>
  explicit operator T() const {
    return T();
  }


};

然而，在使用带有 std=c++17 标志的 gcc 8.2 编译时，出现以下错误：

<source>:25:12: error: 'template<class T, class> Missing::operator T() const' cannot be overloaded with 'template<class T, class> constexpr Missing::operator T() const'

   explicit operator T() const {

            ^~~~~~~~

<source>:20:22: note: previous declaration 'template<class T, class> constexpr Missing::operator T() const'

   explicit constexpr operator T() const {

                      ^~~~~~~~

Compiler returned: 1

我认为使用 enable_if 会阻止运算符对同一类型进行重载，但看起来编译器并没有在第一遍中查看 enable_if。我不确定我的语法是否正确。任何帮助，将不胜感激。已经有一段时间了。

更新:

尝试将运算符更新为

  template<typename T>
  constexpr explicit operator std::enable_if_t<std::is_floating_point_v<T>, T>() const {
    return static_cast<T>(NAN);
  }

  template<typename T>
  explicit operator std::enable_if_t<std::is_base_of_v<A, T>, T>() const {
    return T();
  }

但是现在，在尝试将 class 转换为浮动时：

int main() {
    Missing m;
    float a = static_cast<float>(m);
}

我收到一个错误：

<source>:34:35: error: invalid static_cast from type 'Missing' to type 'float'

     float a = static_cast<float>(m);

Answer 1

问题是您使用不同的默认参数声明了同一个成员模板两次。该错误发生在任何实例化之前，因此甚至不会查看默认参数。

解决这个问题的第一个冲动是将 enable_if_t 移出参数并使其成为运算符的 return 类型：

template<typename T>
explicit constexpr operator std::enable_if_t<std::is_floating_point_v<T>, T>>() const ...

但这不起作用，因为 T 现在是未推断的上下文。

因此，另一种使这两个模板不同的方法是向其中一个添加一个具有默认值的虚拟参数。

template<typename T,
         typename = std::enable_if_t<std::is_floating_point_v<T>, T>,
         bool = true>
explicit constexpr operator T() const ...

另一个模板应保持原样。

由于两个模板的模板参数数量不同，因此它们不再被视为相同。

Answer 2

另一种方法是将推导的模板参数定义为默认指针：

template
<
  typename T, 
  std::enable_if_t<std::is_floating_point_v<T>>* = nullptr
>
explicit constexpr operator T() const {
  return static_cast<T>(NAN);
}

我发现这是一种可选地启用方法、运算符和构造函数的简洁可靠的方法。

使用 std::enable_if 的模板重载的隐式转换运算符 T() 编译失败

Implicit conversion operator T() with template overloads using std::enable_if fail to compile

c++

templates

sfinae

c++17