C++0x

C++0x の concept の特色の1つは非侵入的 (non-intrusive) であることじゃないか,ってゆ〜

今提案されている C++0x に向けての concept の提案が,いわゆる Java とかの Generics と決定的に違う部分の1つとして, C++0x の concept の場合, concept に関する宣言 (制約の充足の記述) が対象のクラスのクラス定義と独立した位置に記述できる (クラ…

nominal な concept の充足を半自動で伝播するよ〜な,なんかそんな感じ

http://d.hatena.ne.jp/Cryolite/20061222 なんで俺こんな血迷ったこと書いたんでしょうか?ちゃんと徹底的に調べて書けよヴぉけって感じ. 現在提案されている concept の仕様では,ある型が concept の要求を充足するかどうかを構造的に判定するか宣言的に…

ConceptGCC で遊びましょ♪

っつーか, C++0x で遊び倒すなら ConceptGCC の方がえーんちゃうん?ってゆー. SVN リポジトリのヤツだと concept 他, decltype, rvalue reference, variadic templates がすでに merge されててえらいことになってるし (参考). x86-64 だとコンパイルこ…

右辺値参照と move semantics の introduction

はわわ〜. でも, string の + だと (文字列長が毎回変化するので) 結局毎回 allocation かかって move の良さは顕著には現れないよ〜な.やっぱ std::vector とか, move が使えるアルゴリズムとか,マルチスレッドプログラミングでのインタフェースデザイ…

C++0x の concept は nominal だよ

あ〜,なんで自分の nominal と structural の理解 (そしてなんでみんなが書いてる nominal / structuaral という言葉の使い方) に違和感があるか分かったような気がする.あ,いや,どうでしょう. あれなんですよ. C++0x の (現在の) concept の提案とい…

Scoped Concept Maps と domain tag による look up 選択

ほぼ,自分用のメモなのであまり気にしないでください. 現行の concept の提案は,ある型に対するあるコンセプトの concept map の定義をグローバルに1つだけ許すことしか想定していないので,誰かが concept map を定義してしまうとグローバルにその影響が…