condition_variable_any＋recursive_mutexの注意点 - yohhoyの日記
C++11標準ライブラリやBoost.Threadライブラリで提供されるcondition_variable_anyとrecursive_mutexの組み合わせについてメモ。 まとめ：condition_variable_anyとrecursive_mutexの組み合わせ利用は避けること。*1 *2 条件変数condition_variable_anyのwaitメンバ関数仕様では、指定されたロックオブジェクトに対して1度だけunlock操作を行う。同関数に対して2回以上lock操作されている(ロックカウント > 1)再帰ロックオブジェクトを指定した場合、該当ロックは解放されない(ロックカウント != 0)まま関数を呼び出したスレッドAはブロック状態に遷移する。この状況では別スレッドBでのロック獲得要求もブロックされるため、プログラム全体としてはデッドロックに陥る。 condition_va
浮動小数点数比較マクロ - yohhoyの日記
C99で追加された浮動小数点数比較マクロについてメモ。同機能はC++11においても提供される。 比較マクロとそれに対応する比較演算の一覧。組込みの比較演算子では浮動小数点数例外(floating-point exception)が発生する可能性があるが、比較マクロでは決して浮動小数点数例外が発生しない。 マクロ 比較演算 isgreater(x,y) x > y isgreaterequal(x,y) x >= y isless(x,y) x < y islessequal(x,y) x <= y islessgreater(x,y) x < y || x > y isunordered(x,y) 少なくとも一方がNaN C99 JTC1/SC22/WG14 N1256 7.12.14より引用（下線部は強調）。 The relational and equality operators s
C11/C++11/POSIXスレッドAPI比較 - yohhoyの日記
C11標準ライブラリ、C++11標準ライブラリ、POSIXスレッドのスレッドライブラリ(Pthreads) API比較。 各スレッドライブラリAPIを、“スレッド”、“CallOnce”、“排他制御(mutex)”、“条件変数(condition variable)”、“TLS(Thread Local Storage)”、その他機能に分類して比較する。表記簡略化のためC++11標準ライブラリは名前空間stdを省略している。 概略： C11はISO/IEC JTC1/SC22/WG14 N1570、C++11はISO/IEC JTC1/SC22/WG21 N3337、POSIXはIEEE Std 1003.1-2008に基づく。 C11標準ライブラリとPOSIXスレッドライブラリのAPI体系はほぼ同一。*1 C++11標準ライブラリはC11標準ライブラリ提供のスレッドサポート機能を包含し、
auto&&の落とし穴 - yohhoyの日記
C++11で導入されたautoによる型推論とrvalue参照(T&&）に関するメモ。 auto&&による型推論の結果が常にrvalue参照型となるとは限らない。 int x; auto t0 = x; // t0はint型 auto& t1 = x; // t1はint&型 auto&& t2 = x; // t2はint&型（int&&型ではない） auto&& t3 = std::move(x); // t3はint&&型 auto v0 = 42; // v0はint型 auto& v1 = 42; // v1はint&型 → 42はprvalueのためill-formed auto&& v2 = 42; // v2はint&&型 変数t2では “reference collapsing” によって int& && → int& 型となる。 関連URL Session Topic:
ムーブ不可＆コピー不可なオブジェクトを扱う - yohhoyの日記
C++11でムーブもコピーもできないオブジェクトを扱う方法についてメモ。（エッセンスのみ。詳説は元記事を） 実は C++0x では、こういう「コピーもムーブも出来ないオブジェクト」であっても、 uniform initialization を使えば、関数から返すことができるようになったのです： person make_charactor() { return { "Chiffon Schroedinger", 14 }; } これを行うには、「該当するコンストラクタが explicit 指定されていないこと」という条件こそありますが、コピー出来る／出来ない、ということに関しては、特に条件はありません。 http://d.hatena.ne.jp/gintenlabo/20101211/1292088788 Uniform initialization＠return文＋rvalue refe
メモリモデルとThin-air read - yohhoyの日記
C++11メモリモデルと、atomic変数relaxedメモリ操作で起こりえる "Thin-air read" への対策について。 注意：本記事は内容を理解して書いたわけでなく、関連情報の単なるメモ。 "Thin-air read"（または "out-of-thin-air value"）は定式化されたメモリモデルで起こりえる、存在しない値*1のreadを許容する動作。（後述N3132のサンプルコードが分かり易い） C++11メモリモデルやJavaメモリモデルでは共に "Thin-air read" を禁止している。Javaでは複雑なメモリモデル定義によって対処し、C++11では（Javaに比べて）単純なメモリモデル定義＋禁止条項の追加にて対処している。 (PDF)N3132 Mathematizing C++ Concurrency: The Post-Rapperswil Modelよ
nullptr推奨＠C++11 - yohhoyの日記
C++11で新たに追加されたnullptrキーワード（→id:yohhoy:20120503）利用促進のため、gcc 4.7から新しい警告オプション -Wzero-as-null-pointer-constant が追加された。 C++ A new command-line option -Wzero-as-null-pointer-constant has been added to warn when a literal '0' is used as null pointer constant. It can be useful to facilitate the conversion to nullptr in C++11. http://gcc.gnu.org/gcc-4.7/changes.html
どれがコピー／ムーブコンストラクタ？ - yohhoyの日記
C++11言語仕様において、どのようなコンストラクタが “コピーコンストラクタ”／“ムーブコンストラクタ” とみなされるのかについてメモ。 コピーコンストラクタ 第1引数にX&, const X&, volatile X&, const volatile X&のいずれかをとる非テンプレートなコンストラクタ。第2引数以降が存在する場合はそれらにデフォルト引数指定がなされていること。一般的にはX::X(const X&&)とする*1。 ムーブコンストラクタ 第1引数にX&&, const X&&, volatile X&&, const volatile X&&のいずれかをとる非テンプレートなコンストラクタ。第2引数以降が存在する場合はそれらにデフォルト引数指定がなされていること。一般的にはX::X(X&&)とする*2。 N3337 12.8/p2-4より引用。 2 A non-templat
nullptrキーワード - yohhoyの日記
C++11で新たに導入されたnullptrキーワードおよびstd::nullptr_t型に関するメモ。 まとめ： nullptrキーワードはヌルポインタ定数を表すポインタリテラル。C++03以前の値0, マクロNULLとは別に新たに追加された。 nullptrの型はstd::nullptr_t型と定義されるが、ユーザプログラム中でstd::nullptr_tを直接利用することはまず無い。 おまけ：C/C++言語の両者においてマクロNULLは処理系定義のヌルポインタ定数。 C++03以前からある特例ルール「値0はヌルポインタ定数としても扱う」に起因するオーバーロード問題を解消するために導入された。 void f(int); // [A] int型 void f(char*); // [B] char*型 // C++98/03 f(0); // 0はint型リテラルとみなされ[A]が呼ばれる
C++11とBoost.ThreadのMutex/Lock比較表 - yohhoyの日記
C++11標準ライブラリで新たに追加された排他制御ライブラリ／標準ヘッダ<mutex>と、Boost.Threadライブラリ 1.49.0の比較一覧表。 C++11とBoost.Threadライブラリでは、いくつかのLockable要件(requirements)*1を定義し、各種Mutex型およびLockオブジェクトを提供する。 Lockable要件 排他制御(mutual exclusion)として機能する型に対する要件。特定の型を指すわけではない。例えば「ロック獲得操作を行うlockメンバ関数とロック解放操作を行うunlockメンバ関数を有する」など。 Mutex型 Lockable要件を満たす、実際に排他制御として機能する型。どのLockable要件を満たすかに応じて異なる型が提供される。 Lockオブジェクト RAIIイディオムによって確実にロック解放操作を行うためのオブジェクト
C++標準I/Oストリームと暗黙型変換の落とし穴 - yohhoyの日記
C++標準ライブラリのI/Oストリームにある暗黙のユーザ定義変換(user-defined conversion)のせいで、プログラマが意図しない動作を引き起こすケースがある。 #include <iostream> int main() { std::cout << std::cin; // ?? } 上記コードは正常にコンパイル可能。gcc 4.6.3でコンパイルしたときの実行結果の例。 $ g++ -W -Wall -Wextra -pedantic source.cpp $ ./a.out 0x6c504048 ここではbasic_istream<char>型のcinオブジェクトに対して、その公開基底クラスbasic_ios<char>のユーザ定義変換関数operator void*() constが暗黙的に呼び出されている。C++03 27.4.4.3/p1より引用。 opera
定義済みマクロ__cplusplusとgccの長い歴史 - yohhoyの日記
C++言語の定義済みマクロ__cplusplusについてメモ。 C++ソースコードとしてコンパイルされるときのみ定義され、C/C++言語共用ライブラリヘッダ等でよく利用される。 // C/C++共用ヘッダファイル #ifdef __cplusplus extern "C" { #endif // ここでの宣言はC言語の場合はそのまま処理され、 // C++言語の場合は"C"リンケージ指定として処理される。 #ifdef __cplusplus } #endif C++言語仕様での定義 __cplusplusマクロの値は、準拠するC++規格バージョンによって異なる。C++98/03とC++11(N3337) 16.8/p1よりそれぞれ該当箇所を引用。（太字は強調） The following macro names shall be defined by the implementation
C++11でのちょっとした言語仕様変更とSafe bool Idiom - yohhoyの日記
C++11言語仕様ではif／for／while／do-while構文における条件部(condition)の扱いが微妙に変更された。また、これに関連してC++標準ライブラリのインタフェースも一部変更されている。（→[id:yohhoy:20120406:p1]など） この仕様変更により、C++98/03におけるSafe bool Idiom*1はC++11では時代遅れとなる。C++11では明示的ユーザ定義変換関数 explicit operator bool() const; を定義しておけば良い。 C++03、C++11(N3337) 6.4/p4よりそれぞれ該当箇所を引用（下線部は強調）。 The value of a condition that is an initialized declaration in a statement other than a switch state
mutexの制約とバイナリセマフォ - yohhoyの日記
C++11標準ライブラリのstd::mutexオブジェクトでは、ロック取得／解放を同一スレッド*1から行わなければならない。（N3337 30.2.5.2/p3） m.unlock() Requires: The current execution agent shall hold a lock on m. この制約条件のため、下記コードのmutexオブジェクト利用は未定義動作(undefined behavior)を引き起こす。 #include <thread> #include <mutex> std::mutex mtx; // mutexオブジェクト int resource; // 保護対象のリソース void proc() { // resourceを使う処理B mtx.unlock(); // (2) NG：別スレッドでロック解放...したい //... } int mai
enable_shared_from_thisクラステンプレート - yohhoyの日記
C++11標準ライブラリで追加されたenable_shared_from_thisクラステンプレートについてメモ。Boost.Smart Pointersライブラリでも同機能を提供している。 N3337 20.7.2.4/p1より引用。 A class T can inherit from enable_shared_from_this<T> to inherit the shared_from_this member functions that obtain a shared_ptr instance pointing to *this. 具体的な利用例としては http://www.boost.org/doc/html/boost_asio/tutorial/tutdaytime3.html など（使用理由の説明）。 正しい利用方法 「クラス型Tの*thisへのshared_ptr<
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
range-based forで逆順走査 - yohhoyの日記
C++11サポートを有効にしてIntel TBBをビルド - yohhoyの日記