再帰テンプレート - 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; }; 実行時ではなく、コン
メタ関数1 - while( c++ );
コンパイル時に、型・定数を引数として受け取り、それを加工して型・定数を返すclass template。typedef・enum・static constで戻り値を返す。 基本形は以下の通り。 //argを引数として受け取り、そのままtypeとして返すメタ関数 template< typename arg > struct func { typedef arg type; }; 型を返す場合はtypedef ... type、値を返す場合はtypedef ... valueとするのが一般的なようです。 単純な使い方。 intを渡すとintがそのまま返ってきます。 func< int >::type a = 1; //int a = 1; is_void 指定した型がvoidかどうか調べる //デフォルトはfalse template< typename T > struct is_void
traits - while( c++ );
特性。テンプレート引数に渡された型、定数によって動作を切り替える。 例えば、shared_ptr< T >でvoidを渡すと、 shared_ptr< void > p; operator*()の戻り値の型がvoid&になるのでコンパイルエラーになってしまいます。 template < typename T > class shared_ptr { ... T& operator*()const{ return *ptr; } ... }; Tがvoid以外→T& Tがvoid→void のように、Tの型によって戻り値の型を選択したいわけです。 ちなみにtemplate内の関数の{...}は呼び出し処理を書かない限りコンパイルされないので、voidでreturnを記述していてもコンパイルエラーになりません。 では、さっそくoperator*()の戻り値の型を決定するための特性クラスを作って
traitsの利用する場面(メモ) - deruiの日記
最近仕事について色々考えています。今の環境は正直自分のためになっていないので、何とか変える努力というかそういうのが必要だと切実に感じています。 とまぁそういうことは置いておいて、今回はC++の話題です。 boostとかC++0xとか、最新鋭の強力なライブラリを使いこなしている方にとっては、traitsというテクニックは最早当然のものだと思います。 このtraitsというテクニック、特にSTLで非常に多く、そして深く利用されています。 とは言っても、中々理解しずらいテクニックでもあります(少なくとも私にとって)。 なので、事例を示しつつ、なんとか理解できるようになりたいと思います。 まずは以下のようなクラスがあったとします。継承を利用しています。 class Hoge { pubilc: virtual ~Hoge() {} virtual char func() = 0; }; class
シングルトンクラステンプレート - Ideals and Reality
ゲームエンジンを作る作業は黙々とそしてとてもゆっくりと進んでいるわけですが，とりあえず何を作るにも根本的なベースシステムが必要となるので，C++の簡単なSingletonパターンを実装しました． template <class T> class Singleton { public: virtual void init() = 0; virtual void exec() = 0; virtual void term() = 0; static inline T& get() { static T ins; return ins; } protected: Singleton() {} virtual ~Singleton() {} private: Singleton(const Singleton& rhs) {} void operator=(const Singleton& rhs
[C++] typelistを作る - sillycrownのゴミ箱
うめぇヨーグルトソースでもいかがですか。個人差にもよりますが。もしよろしければ。 お久しぶりです。 最近うんめぇ〜と思ってるヨーグルトソースがあるので、書いていこうと思います。 ヨーグルトとハーブ類をもりもり使うので、そういうのが食べられない方にはうんめぇソースではないです。ごめんなさい…。もしよろしければお茶だけも…旦~ 【用意する…
![[C++] typelistを作る - sillycrownのゴミ箱](https://cdn-ak-scissors.b.st-hatena.com/image/square/06a15c64ba0ceec233d86d71001ebb29a9dcbf5d/height=288;version=1;width=512/https%3A%2F%2Fcdn.blog.st-hatena.com%2Fimages%2Ftheme%2Fog-image-1500.png)
ryukware » Template Metaprogramming For Dummies
テンプレートメタプログラミングと呼ばれるテクニックがC++のコードに意識的に用いられ始めたのは1995年頃にまで遡るらしい(C++ による科学計算のためのライブラリBlitz++を作ったT. Veldhuizenの記事)。Alexander StepanovがテンプレートをANSI/ISOのC++委員会に提案したのがそれを遡ること2年前、1993年である。科学計算の分野で最も高速に動作するプログラムを構成するにはC言語ではなくFortranが最適であるという周知の事実に対し、C++言語でテンプレートを積極的に用いて、Fortranによる場合と同水準のパフォーマンスと、より見通しの利くオブジェクト指向を採用したプログラム構造とを両立させようという試みのもとに、このテクニックは開発されてきた。広く一般の認知を受けたのは、2001年のAndrei Alexandrescuによる著作Modern
C++ Template Metaprogramming
1. C++ テンプレートメタプログラミング 高橋晶(アキラ) ブログ：「Faith and Brave – C++で遊ぼう」 http://d.hatena.ne.jp/faith_and_brave/ 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かどうかを判別するメタ関数 templa
使いもしないのにC++のtemplateを毛嫌いする全ての人に - 神様なんて信じない僕らのために
C++AdventCalendarの記事です。 さて、 生配列使ってますか？ tr1::array（boost::array） 使ってますか？ 生配列使っていると答えた貴方、 →まず死ね。 はい、arrayが常識ですよね。 さて、とはいえ、 「テンプレートを使うと遅いしコードがでかいし」 「生配列が一番速いしコードが小さいし」 「なのでテンプレート禁止」 なんて話を聞くこともあるかと思いますが、 こういう事をいう人は大抵「テンプレートを書いたことがない」のに言ってます。 なぜか？ こういう人が本当に心配しているのは「テンプレートが肥大化すること」じゃないのです。 「テンプレートが書けないし読めないのを認めたくないからです」 多くはCの老害だからですが、そういう人は放っておいてC++な人はきちんとテンプレートを使いましょう。 だって多くのテンプレートのコードは大きくもなければ非効率でもないか
C++0x 新たな関数宣言構文 - Faith and Brave - C++で遊ぼう
以下のように、戻り値の型を後ろに書けるようになる // now std::vector<double> foo(double); // new auto foo(double) -> std::vector<double>; 戻り値の型を後置すると、decltype でパラメータを計算した型を戻り値の型にできる template <class T, class U> auto foo(T t, U u) -> decltype(t * u) { return t * u; } いろいろ応用できそうな気がする N2541 New Function Declarator Syntax Wording C++0x言語拡張まとめ
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 - Variadic Templates - Faith and Brave - C++で遊ぼう
可変長テンプレート引数 こんなことができるようになる template <class... Types> class tuple; tuple<> tup0; tuple<int, string> tup1(3, "abc"); tuple<int, string, double> tup2(3, "abc", 3.14); sizeof...演算子を使用すると型の数を取得できる template <class... Types> struct count { static const int value = sizeof...(Types); }; Variadic Templatesを使用するクラスはやはり再帰テンプレートを使って処理するようだ template <int Index, class... Types> struct tuple_impl; template <int I
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言語拡張まとめ
動的型情報で仮想関数呼び出しを速くできるか
C++は抽象化と高いパフォーマンスを両立させるにはtemplateを使うのがセオリーでした。そのため、標準ライブラリはtemplateを使っています。一方のJavaは、積極的に仮想関数を使っています。しかし、Javaは動的型情報を使った実行時インライン展開ができるため、C++と違って疎結合のまま高いパフォーマンスを出すことが出来ました。しかし、よく考えれば、C++でも実装クラスが限定されるなら、Javaと同様なことをハードコードすることでC++の仮想関数を高速ができるのではと思って試してみました。 結論から言うと、一応速くなりました。でも、インライン展開を抑制しなければいけないほどの効果が出るのは、かなり限定的のようです。 さて、順を追って説明します。 まず、C++では仮想関数を使うと遅くなるというはなし。C++で仮想関数を使うと、仮想関数テーブルが作られます。そして、関数呼び出しが起こる
yasnippet.elを256倍にパワーアップ！連続展開と条件分岐テンプレートを使おう - http://rubikitch.com/に移転しました
動機yasnippetの展開機能はなかなか強力ですが、「次の」テンプレート展開の準備や条件分岐ができない弱点があります。 連続展開の例は、プログラミングにおけるドメイン特化言語を記述する場合です。 この場合は、パターンが決まっているので、次のテンプレート展開の準備をするテンプレートを記述すればすんなり記述できるのです。 そして、テンプレート展開後に、次のテンプレートを展開していきます。 条件分岐テンプレートの例は、新規ファイル作成時に文章のテンプレートを選んで展開するケースです。 僕のブログの場合、「自作Emacs Lispリリーステンプレート」、「Emacs Lispを使ってみたテンプレート」、「EmacsのTipsテンプレート」などがあります。 記憶力のいい人ならば、テンプレート名を覚えて普通に展開すると思います。 僕の場合はテンプレート名はおろか、テンプレートを作ったこと自体忘れてし
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
C++ コンパイル時素数判定 | 首の長いゾウと鼻の長いキリン
C++0x - Template Aliases - Faith and Brave - C++で遊ぼう