C++のテンプレート関数への呼び出しテーブルの構築

Question

私は、テンプレートパラメータが整数であるテンプレート関数を持っています。私のプログラムでは、実行時に決定される小さな整数で関数を呼び出す必要があります。手で、私は例えば、テーブルを作成することができます任意の順番に、このテーブルを構築するためのいくつかの自動的な方法があるかどう

void (*f_table[3])(void) = {f<0>,f<1>,f<2>}; 

と

今

f_table[i](); 

と私の関数を呼び出す、疑問があります。私が思い付くことができる最高はleastsのことを回避するに何度も関数名を繰り返しマクロ

#define TEMPLATE_TAB(n) {n<0>,n<1>,n<2>} 

（私の本当の機能は、「F」よりも長い名前を持っている）を使用することです。ただし、許容される最大注文はまだハードコードされています。理想的には、テーブルのサイズはコード内の単一のパラメータによってのみ決定されるべきです。テンプレートを使用してこの問題を解決することは可能でしょうか？

Answer 1

再帰を使用してルックアップテーブルを初期化するテンプレートを作成できます。あなたは、テーブル内の関数を検索することで、i番目の関数を呼び出すことができます。

#include <iostream> 

// recursive template function to fill up dispatch table 
template< int i > bool dispatch_init(fpointer* pTable) { 
    pTable[ i ] = &function<i>; 
    return dispatch_init< i - 1 >(pTable); 
} 

// edge case of recursion 
template<> bool dispatch_init<-1>() { return true; } 

// call the recursive function 
const bool initialized = dispatch_init< _countof(ftable) >(ftable); 


// the template function to be dispatched 
template< int i > void function() { std::cout << i; } 


// dispatch functionality: a table and a function 
typedef void (*fpointer)();  
fpointer ftable[100]; 

void dispatch(int i){ return (ftable[i])(); } 


int main() { 
    dispatch(10); 
} 

Answer 2

[間違った実績：。私は、テンプレートを純粋に行うことができるとは思わない]

ブーストプリプロセッサライブラリを見てみましょう。

Answer 3

'再帰的な'ディスパッチによって実行できます。テンプレート関数は、ランタイム引数がテンプレート引数と一致するかどうかをチェックし、テンプレート引数を使用してターゲット関数を返します。

#include <iostream> 
template< int i > int tdispatch() { return i; } 

// metaprogramming to generate runtime dispatcher of 
// required size: 
template< int i > int r_dispatch(int ai) { 
    if(ai == i) { 
     return tdispatch<i>(); 
    } else { 
     return r_dispatch< i-1 >(ai); 
    } 
} 
template<> int r_dispatch<-1>(int){ return -1; } 

// non-metaprogramming wrapper 
int dispatch(int i) { return r_dispatch<100>(i); } 

int main() { 
    std::cout << dispatch(10); 
    return 0; 
} 

Answer 4

私は、以下に示す次のマクロ/テンプレート溶液で行くことにしましたxtofl後。私はこれらのディスパッチテーブルを多くの機能のために構築したいのでマクロが必要でしたが、1つのテンプレート機能でどのようにするかわかりません。

#include <iostream> 

using namespace std; 

#define MAX_ORDER 8 

#define DISPATCH_TABLE(table,fpointer,function,N)    \ 
template< int i > fpointer *function##dispatch_init(fpointer function_table[]) \ 
{ \ 
    function_table[i] = function<i>; \ 
    return function##dispatch_init< i - 1 >(function_table); \ 
} \ 
template<> fpointer *function##dispatch_init<-1>(fpointer function_table[]) \ 
{ \ 
    return function_table; \ 
} \ 
const fpointer *table = function##dispatch_init<N>(new fpointer[N]) 

typedef void (*fpointer)(void); 

template<int N> 
void printN(void) 
{ 
    cout << N << endl; 
} 

DISPATCH_TABLE(printN_table, fpointer, printN, MAX_ORDER); 

int main(void) 
{ 
    for (int i = 0; i < MAX_ORDER; i++) 
    printN_table[i](); 
    return 0; 
}