试图理解 C++ 标准中的 [class.qual]/2

Question

根据我获得的here 的答案，尽管clang 和vs2015 接受了它，但下面的代码格式不正确。

#include <iostream>
class A {
public:
    A() { std::cout << "A()" << '\n'; }
};

int main()
{
  A::A();
}

尽管如此，下面的代码似乎在所有 3 个编译器中都有效（请参阅 live example）。 AFAICT，根据 [class.qual/2] 代码格式错误。还是我在这里遗漏了什么？

#include <iostream>
struct B { B() { std::cout << "B()" << '\n'; } };
struct A : public B { };
int main()
{
    A::B();
}

另外，根据 [class.qual]/2，下面的代码格式正确，在这种情况下，所有 3 个编译器都会产生预期的输出（参见示例 here）。

include <iostream>
struct B { B() { std::cout << "B()" << '\n'; } };
struct A : public B { using B::B; A() { std::cout << "A()" << '\n'; }  void f() { B(); } };
int main()
{
    A a;
    a.f();
}

输出：

B()
A()
B()

但我想知道 using-declaration 命名构造函数有什么用处，就像上面 A 类中的 (using B::B;) 一样。请注意，这个 using-declaration 在这种情况下是完全不相关的，无论 B 是否是 A 的基类。

Answer 1

我认为您的第二个样本格式正确。 [class.qual]/2 中的规则指出，如果在 C 中查找时在 nested-name-specifier 之后指定的名称是 C 的注入类名称，则该名称引用构造函数.在A::B 的情况下，在嵌套名称说明符之后指定的名称是B 的注入类名称（由于继承而可见），而不是A。在这种情况下，A::B 明确地命名了一个类型，A::B() 创建了一个临时的 B 实例。

使用声明命名构造函数对于提升带参数的基类构造函数很有用：

struct B { B(int a) { std::cout << "B " << a << '\n'; } };
struct A : public B { using B::B; };
int main()
{
    A a{1}; //would not be valid without the using-declaration
}