再帰テンプレート - while( c++ );
正式な呼び方かどうかわかりませんが、テンプレートを再帰的に呼び出すという意味です。 プログラムには連接・選択・反復の３つの要素が必要ですが、テンプレートを使用した連接・選択は今まで見てきた通りですね。 で、最後に反復をテンプレートの再帰呼び出しで実現しようという話です。 1〜Nまでの総和 //1〜Nまでの総和を求める（一般形） template< unsigned int N > struct sum { static const unsigned int value = N + func< N - 1 >::value; }; //N==1のときの特殊化 //再帰的に呼び出すので、必ず終了条件が必要。（再帰しない特殊化バージョン） template<> struct sum< 1 > { static const unsigned int value = 1; }; 実行時ではなく、コン
traitsの利用する場面(メモ) - deruiの日記
最近仕事について色々考えています。今の環境は正直自分のためになっていないので、何とか変える努力というかそういうのが必要だと切実に感じています。 とまぁそういうことは置いておいて、今回はC++の話題です。 boostとかC++0xとか、最新鋭の強力なライブラリを使いこなしている方にとっては、traitsというテクニックは最早当然のものだと思います。 このtraitsというテクニック、特にSTLで非常に多く、そして深く利用されています。 とは言っても、中々理解しずらいテクニックでもあります(少なくとも私にとって)。 なので、事例を示しつつ、なんとか理解できるようになりたいと思います。 まずは以下のようなクラスがあったとします。継承を利用しています。 class Hoge { pubilc: virtual ~Hoge() {} virtual char func() = 0; }; class
C++ Template Metaprogramming
3. メタ関数 • コンパイル時に評価される関数 template <class T> // Tがパラメータ struct identity { typedef T type; // typeが戻り値 }; identity<int>::type i; // int i; テンプレートパラメータを関数のパラメータ、 入れ子型(nested-type)や クラス内定数(static const T)を関数の戻り値を見なす。 4. 特殊化で型特性の判別と条件分岐 テンプレートの特殊化を使って、 型がどんな特性を持ってるのかを判別する 以下はTがvoidかどうかを判別するメタ関数 template <class T> struct is_void { // void以外だったらfalseを返す static const bool value = false; }; template <> str
使いもしないのにC++のtemplateを毛嫌いする全ての人に - 神様なんて信じない僕らのために
C++AdventCalendarの記事です。 さて、 生配列使ってますか？ tr1::array（boost::array） 使ってますか？ 生配列使っていると答えた貴方、 →まず死ね。 はい、arrayが常識ですよね。 さて、とはいえ、 「テンプレートを使うと遅いしコードがでかいし」 「生配列が一番速いしコードが小さいし」 「なのでテンプレート禁止」 なんて話を聞くこともあるかと思いますが、 こういう事をいう人は大抵「テンプレートを書いたことがない」のに言ってます。 なぜか？ こういう人が本当に心配しているのは「テンプレートが肥大化すること」じゃないのです。 「テンプレートが書けないし読めないのを認めたくないからです」 多くはCの老害だからですが、そういう人は放っておいてC++な人はきちんとテンプレートを使いましょう。 だって多くのテンプレートのコードは大きくもなければ非効率でもないか
C++0x - Default template arguments for function templates - Faith and Brave - C++で遊ぼう
関数テンプレートの、デフォルトテンプレート引数が使えるようになる template <class T, class U = double> void f(T t = 0, U u = 0); void g() { f(1, 'c'); // f<int,char>(1,'c') f(1) // f<int,double>(1,0) f(); // error: T cannot be deduced f<int>(); // f<int,double>(0,0) f<int,char>(); // f<int,char>(0,0) } DR226 Default template arguments for function templates C++0x言語拡張まとめ
C++0x - nullptr - Faith and Brave - C++で遊ぼう
C++0xではヌルポインタを表すキーワードであるnullptrが追加されます。 C++03では、NULLマクロ、0リテラル等でヌルポインタを表現していましたが NULLマクロと0リテラルは、関数テンプレートで使用すると、テンプレートによってint型に推論されてしまいます。 template <class T> void foo(T p) { } int* p; foo(p); // Tはint*型 // ヌルポインタを渡したつもり foo(0); // Tはint型 foo(NULL); // Tはint型 C++0xのnullptrキーワードは、T*の0として機能するため、テンプレートでも問題なく使用できます。 int* p = nullptr; C++0x言語拡張まとめ
EmacsにおけるC++ファイル拡張子と雛形生成
この場合、ヘッダファイルを拡張子'.h'としているとc-modeになってしまいます。c++-modeにする設定をEmacsに行います。 ファイルを開いてから、毎回次のコマンドを実行する。（とっても面倒ですね） M-x c++-mode RET ファイル先頭に次の記述を行う。 // -*- C++ -*- 拡張子.hをc++-modeに割り付け直すように、.emacsに記述する。 ;; C++ ; ヘッダファイル(.h)をc++モードで開く (setq auto-mode-alist (append '(("\\.h$" . c++-mode)) auto-mode-alist)) ちょっと便利な編集機能 新規にヘッダファイルを作成するときのインクルードガード ヘッダファイルを新規に作成する場合、auto-insert-modeを有効にしておくと、ファイル名に応じたインクルードガードを生成し
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
C++ コンパイル時素数判定 | 首の長いゾウと鼻の長いキリン