C++0x Memory Model 第1回 - 1.9 Program execution - Cry’s Diary
前回の記事：C++0x Memory Model 第0回 - メモリモデルとは何か 以下では， C++0x プログラミング言語の標準規格として一貫して N3225 を参照しています．文中で (1.9/12) などという表現が出てきた場合は N3225 における条項を指しています． 太字かつ斜字体の言葉 は N3225 で C++0x で定義される用語， 太字の言葉 は本ブログエントリ中で特別な意味を持たせた用語として定義しているものです． 第1回目のこの記事では，まず，ただ1つの 実行スレッド thread of execution だけを考慮した場合のメモリモデルに関わる基本的な事項を説明していきます．複数スレッドが存在する状況下でのメモリモデルに関する説明する上で，単一の実行スレッド内に限定した場合の状況を把握しておくことは必要不可欠なのです． 第0回において，プログラム中にただ１つの
動的削除子 (dynamic deleter) - 意外と知られていない？ boost::shared_ptr の側面 - Cry’s Diary
boost::shared_ptr は動的削除子 (dynamic deleter) と呼ばれる技法に基づいて実装されています．この動的削除子という技法で重要なのは， boost::shared_ptr が最終的に呼び出す解放処理が boost::shared_ptr のテンプレート引数の型に関係なく，コンストラクタに実際に渡されたポインタの型で，かつ boost::shared_ptr のコンストラクタの呼び出しの段階で 決定する，ということです． 以下のようなコードが，動的削除子の効果が一番分かりやすい例になるでしょう． class X{ public: ~X() { std::cout << "X::~X" << std::endl; } }; class B{ public: ~B() // virtual でないことに注意！！ { std::cout << "B::~B" <<
std名前空間にテンプレートの特殊化を追加する - Cry's Blog
多くのC++プログラマは「std名前空間には何物も追加してはならない」という認識で一致していると思うのですが，実はこれには例外が存在します．以下，標準から抜粋． 17.4.3.1 Reserved names 1 It is undefined for a C++ program to add declarations or definitions to namespace std or namespaces within namespace std unless otherwise specified. A program may add template specializations for any standard library template to namespace std. Such a specialization (complete or partial) of a
複数の（異なり得る）型に対して効率的かつ安全な共通の戻り値型を計算する - Cry's Blog
複数の（異なるかも知れない）型のオブジェクトが単一の関数から返される場合を想定する． template< class T, class U > typename cradle::common_result< T const &, U const & >::type f( T const &t, U const &u, bool b ) { if( b ){ return t; } return u; }このとき，上のコード片におけるメタ関数 cradle::common_result の設計と実装を行いたい，という問題． まず，標準の規格 ISO/IEC-14882:2003 にある記述で問題領域をほぼ共有するものがあるのでそれを参考にする．（3項）条件演算子の戻り値の型に関する記述 (5.16/3), (5.16/4), (5.16/5), (5.16/6) がそれ．ちゃんとこれを説明す
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
