1

仮想関数のオーバーヘッドを回避するためにブーストタプルを使用しようとしていますが、完全に機能させることはできません。入力を処理しようとする「ハンドラー」のベクトルがあり、そのうちの1つがtrueを返したら、残りを呼び出したくありません。

C++11は使用できません。

まず、現在の仮想実装は次のようになります。

std::vector<Handler*> handlers;

//initialization code...
handlers.push_back(new Handler1);
handlers.push_back(new Handler2);
handlers.push_back(new Handler3);

//runtime code
for(std::vector<Handler*>::iterator iter = handlers.begin();
    iter != handlers.end() && !(*iter)->handle(x); ++iter) {}

コンパイル時にすべてのタイプがあるので、次のようにこれをタプルとして表現できるようにしたいと思います。

boost::tuple<Handler1,Handler2,Handler3> handlers;

//runtime code
???
// should compile to something equivalent to:
// if(!handlers.get<0>().handle(x))
//   if(!handlers.get<1>().handle(x))
//     handlers.get<2>().handle(x);

理想的には、仮想関数呼び出しがなく、空の関数本体がインライン化されます。これはでほぼ可能であるように思われboost::fusion for_eachますが、ハンドラーの1つがtrueを返すと、残りのハンドラーが呼び出されないという短絡動作が必要です。

4

2 に答える 2

1

あなたはこのようなことを試すことができます：

void my_eval() {}
template<typename T, typename... Ts>
void my_eval(T& t, Ts&... ts) {
  if(!t.handle(/* x */))
    my_eval(ts...); 
}

template<int... Indices>
struct indices {
  using next_increment = indices<Indices..., sizeof...(Indices)>;
};

template<int N>
struct build_indices {
  using type = typename build_indices<N - 1>::type::next_increment;
};
template<>
struct build_indices<0> {
  using type = indices<>;
};

template<typename Tuple, int... Indices>
void my_call(Tuple& tuple, indices<Indices...>) {
    my_eval(std::get<Indices>(tuple)...);
}
template<typename Tuple>
void my_call(Tuple& tuple) {
    my_call(tuple, typename build_indices<std::tuple_size<Tuple>::value>::type());
}

使用するには、タプルをに渡しますmy_call。

于 2013-01-04T04:07:47.663 に答える
1

単純なテンプレート再帰は、末尾呼び出し関数の適切なチェーンを生成する必要があります。

template< typename head, typename ... rest >
void apply_handler_step( thing const &arg, std::tuple< head, rest ... > * ) {
    if ( ! handler< head >( arg ) ) {
        return apply_handler_step( arg, (std::tuple< rest ... >*)nullptr );
    } // if handler returns true, then short circuit.
}

void apply_handler_step( thing const &arg, std::tuple<> * ) {
    throw no_handler_error();
}

タプル内のハンドラーへの関数ポインターを配置する場合は、インデックス値で再帰して を使用する必要がありますget< n >( handler_tuple )が、原則は同じです。

于 2013-01-04T04:11:36.377 に答える