真夜中のconst 性とマルチスレッド

普通のC++使い、銀天すばる @SubaruG

コンストラクタが実行された時点で、全ての処理は完了している。これが理想の世界。うむ。

普通のC++使い、銀天すばる @SubaruG

operator=とswapとresetを除く 全てのメソッドには const を付けるべきですよね。

若年寄(もう若くない) @kikairoya

@SubaruG assignはoperator =に含まれますか

普通のC++使い、銀天すばる @SubaruG

@kikairoya 含まれます（ｷﾘｯ

普通のC++使い、銀天すばる @SubaruG

const はクラスの設計にダイレクトに関わってくる。一般的に、非 const 参照以外の値を返すメソッドは、全て const であることが望ましい。それ以外は全て void で統一する。

普通のC++使い、銀天すばる @SubaruG

ただし、世の中には const な void メソッドも存在するので、そういう場合もあるということは認識しておく必要がある。詳しくは Exceptional C++

普通のC++使い、銀天すばる @SubaruG

簡単に言えば、キャッシュを予め計算しておくようなメソッドは、 void を返す const メソッドにするのが自然。

普通のC++使い、銀天すばる @SubaruG

キャッシュと言うのは処理の詳細であって、インターフェイスには現れない部分。そういうところは抽象化で真っ先に消されるよね。

普通のC++使い、銀天すばる @SubaruG

どのように処理をしているかには興味がなくて、何を処理してるか、というのだけわかればいい。「何」の部分で不変であるなら、具体的な処理によらず、それは const にするべき

普通のC++使い、銀天すばる @SubaruG

ただ、マルチスレッドだと、この考えってのは甘いんだよなぁ。

普通のC++使い、銀天すばる @SubaruG

物理的に不変であるか否か、という新しいレイヤーでの const 性も欲しい。

普通のC++使い、銀天すばる @SubaruG

mutable とか const_cast とか一切認めず、完全に不変。

普通のC++使い、銀天すばる @SubaruG

…ってそれ immutable じゃん。

普通のC++使い、銀天すばる @SubaruG

ビット列的に、深いレベルも含めて、不変。という表明。

普通のC++使い、銀天すばる @SubaruG

不変なものは共有出来る。C++にはGCがないから不完全だけど。

普通のC++使い、銀天すばる @SubaruG

無論、今までの const であっても、論理的には共有出来る。

普通のC++使い、銀天すばる @SubaruG

というより、共有しても構わないか、ってのが論理的な const 性と多分一致する。

普通のC++使い、銀天すばる @SubaruG

ただ、マルチスレッドを考えると、それだけじゃ足りない。意味的に const であっても、処理中にdirtyな状態が有るなら、それはマルチスレッド的な意味で const じゃない。

普通のC++使い、銀天すばる @SubaruG

マルチスレッド的な意味で const か否がが分かれば、ロック関連でスムーズに処理出来る。 まぁ、その辺はユーザが手で対処してやればいいんですが。スレッドに関するポリシー持たせて。でも、出来ればコンパイラによろしくやって欲しいなぁ、と。

やまさ @yamasa

@SubaruG Javaは、マルチスレッドでも安全な不変性を保証することができます。final修飾されたフィールドの値は、コンストラクタ終了後は他スレッドから見た場合でも必ず不変です。

やまさ @yamasa

@SubaruG しかし、C++0xではJavaのような方針を採りませんでした。Javaの方法では暗黙的なメモリバリアをあちこちに埋め込む必要があるので、ゼロオーバーヘッド原則に反するからでしょう。

普通のC++使い、銀天すばる @SubaruG

@yamasa んーと、まず論理的なconst性が欲しいですね、僕としては。マルチスレッドは二の次です。

やまさ @yamasa

@SubaruG シングルスレッドであれば、今までのconstでも十分ではないですか?

普通のC++使い、銀天すばる @SubaruG

@yamasa 今までの const とは別に、欲しいと言うことですね。

普通のC++使い、銀天すばる @SubaruG

@yamasa 論理的な const 性と、物理的な const 性はぜんぜん違うものですから（ what と how の違いですね）、今の論理的な const はそのままで、実装補助として新しい物理的な概念が有るといいな、って話ですー。