在几层继承上重载解析？

Question

考虑以下具有多层继承的示例：

struct A {
    void operator()(double x);
};

struct B: A {
    using A::operator();
    template <class... T> void operator()(T... x);
};

struct C: B {
    using B::operator();
    void operator()() const;
    void operator()(int x) const;
};

struct D: C {
    using C::operator();
    void operator()();
};

重载解析是否会像 D 被写成这样一样工作：

struct D {
    void operator()(double x);
    template <class... T> void operator()(T... x);
    void operator()() const;
    void operator()(int x) const;
    void operator()();
};

或者相反，编译器试图在 D 中找到工作重载，然后在 C 中，然后在 B 中，然后在 A 中？换句话说，继承在重载决策中是否起作用（对于没有相同签名的函数）？

Answer 1

D::operator() 隐藏父级的重载。

您必须使用 C::operator() 编写（其他基础也一样）。

那么所有重载都是可见的。

Answer 2

一般规则是重载决策将考虑通过名称查找找到的声明集，而不是其他。

根据[namespace.udecl]/1:

Each using-declarator in a using-declaration introduces a set of declarations into the declarative region in which the using-declaration appears. The set of declarations introduced by the using-declarator is found by performing qualified name lookup (6.4.3, 13.2) for the name in the usingdeclarator, excluding functions that are hidden as described below.

因此，在 D 的范围内查找 operator() 的名称，它找到 D::operator() 以及 using-declaration，必须在 C 的范围内递归查找 operator()，这会找到两个 C::operator() 以及 using-declaration，等等。所以是的，在你的情况下，重载决议将考虑完整的 operator() 集合作为候选者。

在几层继承上重载解析？

Overload resolution over several layers of inheritance?

c++

standards

inheritance

overload-resolution

c++17