オーバーロードに優先順位を付ける - とくにあぶなくないRiSKのブログ
動機 enable_switch - 複数の重複しうるコンパイル時条件で、SFINAE によるオーバーロードを書くには - ボレロ村上 - ENiyGmaA Code これと同じです。重複する条件があるときにSFINAEだけではめんどうかつDRYじゃないことがあります。スマートな解法がほしいです。 問題 以下はコンパイルエラーになります。int を関数 f へ渡すと二つの関数のオーバーロードを解決できないからです。 #include<type_traits> #include<iostream> extern void* enabler; template<class T, typename std::enable_if<std::is_same<T, int>::value>::type*& = enabler> void f(T&&) { std::cout << "int" << s
_Static_assert とは - とくにあぶなくないRiSKのブログ
C言語の次期規格 C1X で追加される _Static_assert キーワード。こいつは一体何者で，またどのように使うのでしょうか？ 制約のチェック プログラムの正しさを確認するためにチェックコードを入れることがあります。まずどのようにチェックするか，またどの時点でチェックするのか考えてみたいと思います。その流れで _Static_assert の必要性を見つけてみましょう。 assert による実行時のチェック 次のコードを見てみましょう。 #include<assert.h> #include<stdio.h> // 文字列 s を出力する。改行を付け足すことはしない。 // 事前条件：s は NULL ではない static void put_string(const char* const s){ assert(s); printf("%s", s); } int main(){
新しい標準ヘッダ (Standard headers) - とくにあぶなくないRiSKのブログ
C言語の次期規格 C1X から新たに追加される標準ヘッダがあります。 C1X の新しい標準ヘッダ これら3つが追加される予定です。 すべての標準ヘッダ 3個足されて，すべての標準ヘッダ数は27個になります。 C1X で追加されるヘッダの数は少ないですが，既存のヘッダにおいても関数宣言やマクロ定義の追加があり，ライブラリは充実します。 参照元 Draft N1425 (PDF) 7.1.2 Standard headers 2
仮想フレンド関数イディオム 超簡単な説明 - とくにあぶなくないRiSKのブログ
問題 friend は virtual ではないので，フレンド関数は動的束縛することができません。 struct base{ virtual ~base(){} friend void friend_func(); }; struct derived : public base{ virtual ~derived(){} friend void friend_func(); // virtual にしたい… // ついでに言うと継承するたび(クラスごと)に // friend 指定めんどい… }; void friend_func(){ // base か derived かで動作を変えたい！多態が欲しい！ } では，実行時にクラスによってフレンド関数の動作を変えたい時にはどうしたらよいのでしょうか？ 解 フレンド関数内で仮想メンバ関数を呼びます。これだけです。これを「仮想フレンド関数イデ
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
C/C++プログラミングの「迷信」と「誤解」 - とくにあぶなくないRiSKのブログ
C言語の問題点 - とくにあぶなくないRiSKのブログ
Re: C言語の変数を初期化で相互/循環参照させる。static は無理? - とくにあぶなくないRiSKのブログ
GCCを使ってマクロ定義を調べる - とくにあぶなくないRiSKのブログ
