c++ - 为什么公共(public)重载与某些编译器上的私有(private) using 指令冲突？

Question

我在我的一个项目中遇到过以下情况，其中基类有一个函数模板，它被派生类模板中的非模板函数隐藏。在类层次结构的更下方，非模板化函数通过 using 指令显式地将函数引入作用域。

这是一个简化的示例代码:

class Base
{
public:
  template<typename T> const T& get() const;
};

template<typename T> class Derived : public Base
{
private:
  using Base::get;
public:
  const T& get() const;
};

template<typename T> class MoreDerived : public Derived<T>
{
public:
  using Derived<T>::get; // <-- this causes the problem

  const T& call_get() {
    return get();
  }
};

template class MoreDerived<int>;

神马:https://godbolt.org/z/5MQ0VL

上面的代码在 GCC 和 Clang 上失败，错误如下:

<source>:15:28: error: 'template<class T> const T& Base::get() const' is inaccessible within this context

   15 | template<typename T> class MoreDerived : public Derived<T>

MSVC 和 ICC 毫无怨言地接受了这个代码。

我想知道为什么编译器会提示 Base::get<T>而是公共(public)重载Derived<T>::get可用吗？

删除私有(private) using Base::get来自 Derived<T>导致有关从基类隐藏函数的警告。所以不幸的是，这也不是一个理想的选择。

没有 using Derived<T>::get , 调用 get必须在 MoreDerived 内合格因为否则它不会是从属名称。

任何想法，我在这里做错了什么？

Answer 1

我相信这里适用的是 [namespace.udecl]/17 :

In a using-declarator that does not name a constructor, all members of the set of introduced declarations shall be accessible. In a using-declarator that names a constructor, no access check is performed. In particular, if a derived class uses a using-declarator to access a member of a base class, the member name shall be accessible. If the name is that of an overloaded member function, then all functions named shall be accessible. […]

(强调我的)结合[namespace.udecl]/19 :

A synonym created by a using-declaration has the usual accessibility for a member-declaration. […]

MoreDerived 中的 using 声明创建了 Derived::get 的同义词，它本身是包含成员函数 Derived::的重载集的同义词get 和成员函数模板Base::get。后者在 MoreDerived 中的 using 声明点不可访问(因为它在 Derived 中是私有(private)的)。因此，GCC 和 Clang 是正确的，这段代码不应该编译。例如，将 Derived 中的 using 声明从私有(private)部分移至公共(public)部分

template<typename T> class Derived : public Base
{
public:
  using Base::get;
  const T& get() const;
};

解决问题...