我在我的一个项目中遇到过以下情况,其中基类有一个函数模板,它被派生类模板中的非模板函数隐藏。在类层次结构的更下方,非模板化函数通过 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
内合格因为否则它不会是从属名称。
任何想法,我在这里做错了什么?
最佳答案
我相信这里适用的是 [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;
};
解决问题...
关于c++ - 为什么公共(public)重载与某些编译器上的私有(private) using 指令冲突?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/56251769/