如果派生类有一个名称相同但签名不同的函数?
例子。创建一个TwoStageMap公开继承自的类QMap:
template<typename F, typename S, typename T, typename Cont = QMap<S, T>>
class TwoStageMap : public QMap<F, Cont>
{
public:
void insert(const F &fkey, const S &skey, const T &value1); //TODO: return an iterator of what?
void insert(const QPair<F, S> &pair, const T &value1);
T value(const F &fkey, const S &skey);
T value(const QPair<F, S> &pair);
};
当尝试使用value()派生类 ( TwoStageMap) 的签名进行访问时,一切正常:
TwoStageMap<int, QString, QString, NamedArgList<QString>> tsMap;
tsMap.insert(31, "October", "Halloween");
tsMap.insert(31, "December", "New Year's Eve");
tsMap.insert(25, "December", "Xmas");
tsMap.insert({25, "October"}, "Canna");
qDebug() << "Day1:" << tsMap.value1(31, "December");
,但是一旦我们尝试调用value()自身QMap(获取第一个键下的内部容器),tsMap.value(31);我们立即得到一个错误:
没有匹配的成员函数调用“值”
例如,将函数重命名为value1()问题就消失了。问题是,这是编译器错误还是语言标准?编译器gcc x86 64bit
类实现,如果有人想使用/尝试它:
template<typename F, typename S, typename T, typename Cont>
void TwoStageMap<F,S,T,Cont>::insert(const F &fkey, const S &skey, const T &value)
{
Cont innerMap;
if (QMap<F, Cont>::contains(fkey)) {
innerMap = QMap<F, Cont>::value(fkey);
}
innerMap.insert(skey, value);
QMap<F, Cont>::insert(fkey, innerMap);
//TODO: return an iterator of what?
}
template<typename F, typename S, typename T, typename Cont>
void TwoStageMap<F,S,T,Cont>::insert(const QPair<F, S> &pair, const T &value)
{
return insert(pair.first, pair.second, value);
}
template<typename F, typename S, typename T, typename Cont>
T TwoStageMap<F,S,T,Cont>::value(const F &fkey, const S &skey)
{
auto innerMap = QMap<F, Cont>::value(fkey);
return innerMap.value(skey);
}
template<typename F, typename S, typename T, typename Cont>
T TwoStageMap<F,S,T,Cont>::value(const QPair<F, S> &pair)
{
return value1(pair.first, pair.second);
}
PS
在示例中从派生模板类的函数调用模板基类的成员函数,模板父类的非限定函数名不可见的情况,这个没有问题,如你所见,我正在通过 访问,这是一个稍微不同QMap<F, Cont>::的情况,但问题是什么阻止编译器使用所谓的. “歪曲姓名”?如果这是一个语言标准,那么委员会更有可能提出这个问题
如果我正确理解了这个问题,那么这个问题在
using.当通过名称不带限定符调用类方法
tsMap.value(31);来构建重载列表时,将TwoStageMap根据类成员访问规范在类范围内搜索不带限定符的名称:value当在类中找到名称时,此查找将终止TwoStageMap,因为根据非限定名称查找规范,当找到第一个声明时,非限定名称查找必须立即完成:因此,
value基类中的方法QMap将不在重载列表中。要解决此问题,您可以TwoStageMap通过添加将此方法带入类范围你写什么课都没有关系。假设您编写了一个像这样的简单类:
如果我继承了你的类,那么我继承了所有不是你类的私有成员的东西:
在这种形式中,我的类有一个成员函数和
n你类的一个对象。但是,一旦我添加到课程中:通过这个我表示我
value的功能是完全不同的(我不需要你的版本)。并且我的类的实例将无法在你的基类中使用同名的函数。为了提供这个功能,我可以编写另一个函数来调用value你的类,或者按照另一个答案中的描述来做。同样,如果我将我的对象添加到类
n中,那么我的类的实例将只使用这个对象。所以,派生类中的成员函数与基类中的成员函数同名,不是它的重载,而是它的替换