C++ 11 =既定の純粋な実装を指定するための仮想関数の既定キーワード

Question

C++ 11では、派生した仮想メソッドで "= default"を使用しても純粋な基本クラスの実装は選択されません。

たとえば、次のテストコードでは、 "g ++ -std = C++ 11"から "error： 'virtual void B :: tst（）'をデフォルトにできません。

struct A { 
    virtual ~A() = default; 
    virtual void tst() = 0; 
}; 

void A :: tst() {} 

struct B : public A { 
    virtual void tst() = default; 
}; 

それは、デフォルトの基本実装を呼び出すTST我々はもちろん:: Bを提供することができますが、一つは、これは架空の「=デフォルト」ベースの符号化に比べて高いオーバーヘッド実装かもしれないと懸念しています。

C++標準委員会のメンバーの中に何があるかもしれないかということについて申し訳ありませんが、おそらく多分スタックオーバーフロー時の誰かがこのようにデフォルトキーワードを使用することの非現実性に関する知恵を持っています。聞くのが面白いです。

ありがとうございます！

Answer 1

標準8.4.2/P1明示的不履行関数[dcl.fct.def.default]（強調鉱山）によれば：

A function definition of the form:

attribute-specifier-seqopt decl-specifier-seqopt declarator virt-specifier-seqopt = default;

is called an explicitly-defaulted definition. A function that is explicitly defaulted shall

(1.1) — be a special member function,

(1.2) — have the same declared function type (except for possibly differing ref-qualifiers and except that in the case of a copy constructor or copy assignment operator, the parameter type may be “reference to non-const T”, where T is the name of the member function’s class) as if it had been implicitly declared, and

(1.3) — not have default arguments

メンバ関数tst()がspecial member functionありません。したがって、デフォルトにすることはできません。

クラスのメンバ関数（たとえばclass A）を純粋な仮想として指定すると、そのクラスから継承し、抽象化したくないクラスはそのメンバ関数をオーバーライドする必要があります。