通过初始化列表实例化抽象类[重复]

我想了解为什么编译器允许编译以下代码

#include <iostream>

struct A
{
    A()
    {
        std::cout << "A::A\n";
    }

    virtual void f() const = 0;
};

void g(const A& a)
{
    a.f();
}

int main()
{
    g({});
}

它甚至输出A::A运行时。

如果我更换g({}) with g(A())它显然无法编译。它抱怨说A是抽象的，无法实例化。 Clang 和 GCC 都可以正常编译，没有任何警告。运行两个版本时打印pure virtual method called并终止。

这看起来像一个已知的g++ 错误号 70939 https://gcc.gnu.org/bugzilla/show_bug.cgi?id=70939:

所有版本的 g++ 都允许创建抽象类的对象

g++ 成功编译格式错误的 C++ 程序

class A {
public:
    A() {
        printf("A()\n");
    }
    virtual void b() const = 0;
};
int main() {
    const A& a{};
    a.b();
    return 0;
}

您的代码执行与此行相同的操作

const A& a{}

作为...的一部分g({})调用。