GCC関数の属性とキャッシュの比較

Question

私は何度も呼び出される高価な関数を持っていますが、そのパラメータには可能な値のセットが非常に限られています。
ファンクションの戻りコードは引数のみに依存するため、実行可能な引数と対応する戻りコードに対して、静的キャッシュを関数内に保持することが明らかです。パラメータのすべての組み合わせに対して、高価な操作は1回のみ実行されます。
私はこのような状況で常にこのアプローチを使用していますが、うまくいきますが、GCC関数の属性constまたはpureがおそらくこれで私を助けてくれるはずです。

誰もこの経験がありますか？ GCCがpureとconstの属性をどのように使用するのですか？コンパイル時または実行時にのみですか？
私は、関数を呼び出すには十分にスマートであることをGCCに依存している同じパラメータ値に一度だけ

int foo(int) __attribute__ ((pure)) 

として宣言、または保証は一切ありませんし、私はより良い、キャッシング・アプローチに固執することはできますか？

EDIT：私の質問は、キャッシュ/メモ/ルックアップテーブルではなく、GCC関数の属性です。

Answer 1

あなたはGCC純粋な属性をmemoizationと混同していると思います。

GCCのpure属性を使用すると、ループアンローリングなどの特定の状況で関数が呼び出される回数をコンパイラで削減できます。しかし、それが適切だと考える場合に限り、それがそうすることを保証するものではありません。

あなたが探していると思われるものは、お使いの機能のメモです。 Memoizationは、同じ入力に対する計算を繰り返さない最適化です。代わりに、以前の結果が返される必要があります。 GCC pure属性は、このようにして関数を機能させることはありません。これを実装する必要があります。

Answer 2

私は、何度も呼び出される高価な関数を持っていますが、パラメータには可能な値のセットが非常に限られています。

静的定数マップを使用しないでください（引数はキーを生成するためにハッシュされる可能性があります）。

Answer 3

これはテンプレート関数で解決できるように聞こえます。既知のパラメータと戻り値がコンパイル時にわかっている場合は、すべての可能なパラメータに対して関数のテンプレートインスタンスを生成できます。基本的には、可能なパラメータごとに異なる関数のインスタンスを呼び出すことになります。すでに実装している静的キャッシュよりも簡単なことはわかりませんが、検討する価値があるかもしれません。

template metaprogrammingをご覧ください。この概念は、JaredParによって提案された「メモ」と同様であり、階乗関数の同じ導入例を使用しても同じです。これらの種類のテンプレートは、コンパイル時のメモの実装であると言うのが適切かもしれません。

Answer 4

私は古いスレッドを再開したいが、ここでは特に不快なコメントがあったいけない：

「テンプレートではなく、同じタイプの異なる値よりも、さまざまな種類を扱うためのものである」

今、取ります

template<int n> struct Factorial { 
    static const int value = n * Factorial<n-1>::value; 
}; 

template<> struct Factorial<0> { 
    static const int value = 1; 
}; 

テンプレートパラメータは、typenameではなく整数です。