Question

我有一个带有模板化转换运算符的模板化基类。我想在派生类中取消隐藏这个模板化转换运算符（因为依赖名称查找）。

template <class T>
class A
{
public:
  template <class U>
  operator A<U>() const { ... }
};

template <class T>
class B : public A<T>
{
public:
  template <class U>
  using A<T>::operator A<U>;
};

有办法做到这一点吗？上面的代码不起作用，因为它告诉我无法模板化使用声明。

Answer 1

using声明不能引用模板ID，命名空间，范围枚举器，基类的析构函数或用户定义转换函数的成员模板的特化。

Answer 2

模板化转换运算符将通过参数相关查找提供。实质上，因为您始终使用B实例进行转化，A的投射操作员不会被隐藏：

#include <iostream>


template <class T>
class A
{
public:
  template <class U>
  operator A<U>() const { 
      std::cout << "The cast operator becomes availble through ADL\n";
      return {}; 
  }
};

template <class T>
class B : public A<T>
{
};

int main()
{
    A<double> a1; 
    A<int> a2;

    B<double> b1; 
    B<int>    b2; 

    a1 = b2; 
    a2 = b1; 
}

Demo

从模板化基类中取消隐藏模板化的强制转换操作符

2 个答案: