Pure virtual function

[daisukekoba]

No description provided.

[EzoeRyou]

セミコロンの部分はいいのですが・・・
pure virtual functionにクラス定義の外で定義を与えることができるというのがよくわからない。
たしかに、規格を読む限り、「ひとつ」の宣言にpure-specifierと定義を与えることができないと書いてあるので、
宣言を分ければ可能だということになりますが。

実際に、GCCとClangでもそうなっているようだ。

はて、なぜだろう。

[tzik]

デストラクタをpure virtualにしたいときには、定義を与えられないと困ります。
派生クラスのデストラクタ内から暗黙的に呼び出されるので。

struct hoge {
virtual ~hoge() = 0;
};

struct fuga : hoge {
virtual ~fuga() {}
};

int main() {
fuga ga;
return 0;
}

[EzoeRyou]

これについて、いろいろと規格上の疑問があるので、疑問があるので、いま確認中です。

[EzoeRyou]

詳しい理由がわかりました。あとで書き直します。
http://cpplover.blogspot.jp/2013/11/blog-post_24.html

[daisukekoba]

詳細な解説ありがとうございます。