なぜgccとclangは抽象クラスを構築できますか？

Question

次のコードは、GCCおよび打ち鳴らすバージョンの広い範囲にコンパイル - コンパイルされ、GCC 5.3.1で実行すると、それは純粋仮想コールエラーで中止し、その後

A()

を印刷します。

#include <stdio.h> 

class A 
{ 
public: 
    A() { 
     printf("A()\n"); 
    } 
    virtual void b() const = 0; 
}; 

int main() 
{ 
    const A& a{}; 
    a.b(); 
    return 0; 
} 

私は（私はこの場合は、寿命延長のいくつかの並べ替えで覆われていると思いますが）一時的に参照をバインドすることは理想的ではない実現 - しかし、constのを取るメソッドを呼び出すしようとしたとき、それはまた、動作します同様の参照：便宜上

Foo({}); 

はここに打ち鳴らす3.2でコンパイルすることの例です：Compiler Explorer

Answer 1

Why do gcc and clang allow me to construct an abstract class?

彼らは壊れているので、標準によると。

第10.4節では、抽象クラスの動作を定義します。これは、（C++ 14で）この行が含まれています

no objects of an abstract class can be created except as subobjects of a class derived from it.

ブレース-INIT-リストで参照するための初期設定のルールが一時的に構築し、参照にバインドします。一時的なものはオブジェクトです。したがって、上で書いたコードは、「抽象クラスのオブジェクト」を「それから派生したクラスのサブオブジェクト」以外のものとして作成しようとします。

標準では明白に禁止されているものがあります。この点については、規格にあいまい性はありません。 10.4では、p3は、コンパイラが（関数クラスとして抽象クラスを宣言したり、明示的な変換などを）タイプした場合に、コンパイル時に出力エラーが発生する場所を指定しますが、抽象クラスの構築を禁止する実装が必要です「それから派生したクラスのサブオブジェクト」以外のもの。

一時は「それから派生したクラスのサブオブジェクト」ではありません。コンパイラはこれを禁止する義務があります。

バグのないコンパイラです。