主页 / coding / 问题 / 79495616
Accepted
Yuxai
Asked: 2025-03-09 16:28:28 +0800 CST

从基类引入模板转换运算符 `operator T()` 的最佳方法是什么

  • 772

using声明很常见，适用于包括构造函数在内的其他成员方法，但对于转换运算符来说，似乎不那么简单。GCC 有语法using base::operator base需要介绍，但 Clang 拒绝了。两个编译器都接受声明前向函数，但在我看来这有点复杂。

示例使用 gcc 14.2.0 和 clang 19.1.7、std=c++20 进行了测试。SFINAE 继承被 clang 拒绝。

struct base {
  template <typename T> requires (std::is_integral_v<T>)
  operator T() const { printf("to int\n"); return 0; }
};
struct derived: base {
  //using base::operator;        // denied by clang & gcc
  //using base::operator base;   // denied by clang 

  template <typename T> requires (std::is_floating_point_v<T>)
  operator T() const { printf("to float\n"); return 0; }

  // both accept
  template <typename T> requires requires { (T) std::declval<base>(); }
  operator T() const { return base::operator T(); }
};

derived D;
(int)   D;  // -> to int
(float) D;  // -> to float
c++

2 个回答

  1. 转换函数模板是少数不能通过使用声明（[namespace.udecl] p1）继承的东西之一：

    使用声明中的每个使用声明符都会命名通过查找（[basic.lookup.qual]）为该使用声明符找到的声明集，除了 [...]，具有依赖返回类型的转换函数模板会被忽略，并且 [...]。

    GCC 接受已知的错误 29027，该错误using base::operator base;自2006年以来一直未解决。

    您的解决方法已经没问题了，但可以稍微改进：

    struct base {
  // use concept instead of requires with type trait
  template <std::integral T>
  operator T() const { printf("to int\n"); return 0; }
};

struct derived: base {
  // also use concept here
  template <std::floating_point T>
  operator T() const { printf("to float\n"); return 0; }

  // use std::convertible_to, which checks that implicit conversion is possible,
  // not just explicit conversion (like in your "(T) ..." test)
  template <typename T> requires std::convertible_to<base, T>
  operator T() const { return base::operator T(); }
};
    • 4
  2. Best Answer

    使用声明：

    using 声明不能引用命名空间、作用域枚举器（直到 C++20）、基类的析构函数或用户定义转换函数的成员模板的特化。

    因此，您必须采取变通方法，就像您目前所采用的方法一样。

    • 2

相关问题