コグノスケ


link 未来から過去へ表示(*)  link 過去から未来へ表示

link もっと前
2016年1月27日 >>> 2016年1月18日
link もっと後

2016年1月25日

紆余曲折だったC++11のoverrideとfinal

最近cpprefjp(リンクはこちら)のコミット権をいただいたので、小物ネタから書いてはコントリビュートしていますが、一見簡単そうに見えたC++11のoverrideとfinalの経緯を調べていたら、土日が終わってしまいました。

実はoverrideとfinalは簡単ですが、同時に検討されていたhidingが鬼門でした…。

以下の例のように「間違って基底クラスの仮想メンバ関数を隠した(hiding)ときエラーにしたい」という提案から始まりました。

hidingを明示的に宣言するコンテキスト依存キーワード 'new'

class A {
    virtual void func();
};

// check hiding and override
class B explicit : public A {
    // NG, 間違ってA::func() を隠していないか?
    void func(int a);
    // OK, あえてA::func() を隠すと宣言している
    void func(double b) new;
};

でも事はそう単純ではありませんでした。overrideはメンバ関数同士でしか発生しませんが、hidingはメンバ関数とメンバ関数以外でも発生するため、考慮するケースが多いからです。

C++ 標準化委員会のペーパーには、問題となる例が挙げられていますが、あえて私見で「あ、これダメだ」と思ったヤツを1つ挙げると、以下の例です。

hidingを明示するキーワードnewの文法上の問題

class A {
    virtual void N();
};
class B explicit : public A {
    // B::NはA::N() を隠すからnewを宣言すべき、でもnewを書く文法は?
    enum { N };
};

初見の方はnewを使い回すなよと思うでしょう。実際、最初はhidingという名前で提案されました。しかし問題がありました。

hidingをコンテキスト依存キーワードにしたときの悩み

struct A {};
struct B {
    // これは構造体の宣言?変数の宣言?
    struct A hiding;
};

これらの問題を回避するためにenumの中のNやらMやらにまで、一々newと書く文法を新たに作るのも、不細工極まりないです。

他にもusing、多重継承など、かなり広範に渡ってhidingが起きるため、これはダメだと判断されたようでexplicitとnew (hidingを宣言するための) は、C++11策定の最後辺りでDrop されました。

C++14にも採用されていないように見えるけど、次のC++ 規格で入るのかな…??

メモ: 技術系の話はFacebookから転記しておくことにした。

編集者:すずき(2016/01/25 23:00)

コメント一覧

  • コメントはありません。
open/close この記事にコメントする



2016年1月20日

いい人

あなたのチームの「いい人」は機能していますか? - SlideShareを読んで。

会社で「システム班」と呼ばれた人たちがほぼ全員辞めていった理由が全て書いてありました。

私もここ1年くらいWikiやRedmineで「情報の抱え込みをやめて、共有する文化」の普及に挑戦しましたが、挫折気味です。

やってくれる人は言ったその日から継続的にやってくれるのですが、やってくれないオジサン達って「共有は大事」と言いつつ、三日坊主orガン無視するんですよね…。

どうしたら良いんだろね?

メモ: 技術系の話はFacebookから転記しておくことにした。

編集者:すずき(2016/01/21 00:08)

コメント一覧

  • コメントはありません。
open/close この記事にコメントする



link もっと前
2016年1月27日 >>> 2016年1月18日
link もっと後

管理用メニュー

link 記事を新規作成

<2016>
<<<01>>>
-----12
3456789
10111213141516
17181920212223
24252627282930
31------

最近のコメント5件

  • link 21年3月13日
    すずきさん (03/05 15:13)
    「あー、このプログラムがまずいんですね。ご...」
  • link 21年3月13日
    emkさん (03/05 12:44)
    「キャストでvolatileを外してアクセ...」
  • link 24年1月24日
    すずきさん (02/19 18:37)
    「簡単にできる方法はPowerShellの...」
  • link 24年1月24日
    KKKさん (02/19 02:30)
    「追伸です。\nネットで調べたらマイクロソ...」
  • link 24年1月24日
    KKKさん (02/19 02:25)
    「私もエラーで困ってます\n手動での回復パ...」

最近の記事3件

  • link 24年3月19日
    すずき (03/20 02:52)
    「[モジュラージャックの規格] 古くは電話線で、今だとEthernetで良く見かけるモジュラージャックというコネクタとレセプタク...」
  • link 23年4月10日
    すずき (03/19 11:48)
    「[Linux - まとめリンク] 目次: Linuxカーネル、ドライバ関連。Linuxのstruct pageって何?Linu...」
  • link 24年3月18日
    すずき (03/19 11:47)
    「[画面のブランクを無効にする] 目次: LinuxROCK 3 model CのDebian bullseyeイメージは10分...」
link もっとみる

こんてんつ

open/close wiki
open/close Linux JM
open/close Java API

過去の日記

open/close 2002年
open/close 2003年
open/close 2004年
open/close 2005年
open/close 2006年
open/close 2007年
open/close 2008年
open/close 2009年
open/close 2010年
open/close 2011年
open/close 2012年
open/close 2013年
open/close 2014年
open/close 2015年
open/close 2016年
open/close 2017年
open/close 2018年
open/close 2019年
open/close 2020年
open/close 2021年
open/close 2022年
open/close 2023年
open/close 2024年
open/close 過去日記について

その他の情報

open/close アクセス統計
open/close サーバ一覧
open/close サイトの情報

合計:  counter total
本日:  counter today

link About www2.katsuster.net
RDFファイル RSS 1.0

最終更新: 03/20 02:52