template-meta-programming

3熱

1答えて

タプルで渡された引数のすべての可能なK-コンビネーション（繰り返し）を持つメソッドを呼び出すことは可能ですか？次のように

希望の動作を説明することができる。 void foo(int x, int y) { std::cout << x << " " << y << std::endl; } int main() { all_combinations<2>(foo, std::make_tuple(1, 2)); // K = 2 // to run: // foo(1,

0熱

2答えて

明示的な引数を1つ持つテンプレート

私は、メタプログラミングの階乗的な例に別のテンプレート引数を追加しようとします。しかし、以下のことはうまくいかない。正しい方法は何ですか？コード： #include <iostream> template <typename T, int Depth> inline void loop(T i){ std::cout << i; loop<T, Depth-1>(i -

2熱

2答えて

Boost Fusion：コンパイル時に適応型構造体メンバの順序を確認する

私はBOOST_FUSION_ADAPT_STRUCT()を使用しています。すべてのメンバーが宣言され、正しい順序であることを確認する必要があります。 template <typename Sequence> struct checker { static void check() { typedef typename mpl::accumulate<Seque

5熱

1答えて

なぜこのテンプレートパラメータは推論できませんか？

編集：私はSFINAEを使用する際に簡単な間違いを犯しました。コンパイルエラーが解決されたので、私は以下のように言います。しかし、私はまだについて興味があります。の場合、この場合テンプレートパラメータを推論できません。 std::integer_sequenceの最大公約数（GCD）を計算するためのC++ 14テンプレートメタプログラムを作成したいと考えました。私はちょうど整数列の最初の2つの要素

16熱

1答えて

テンプレートパラメータがenumクラスであることを確認

テンプレートパラメータがenum-class型であることを確認する方法はありますか？私はtype_traitsがstd::is_enumであることを知っていますが、通常のenumと一致するようにはしません。ちょうどenum_classesです。指名手配効果の例： enum class EnumClass {}; enum Enum {}; class Class {}; templat

6熱

2答えて

なぜCRTPは無限のネスティングを引き起こさないのですか？

CRTPのコンパイル方法が混乱しています。我々が次のようなものを持っているなら： template<class T> class Base { }; class Derived : public Base<Derived> { }; コンパイル時にこれに似た何かが起こらないのですか？ Derived d; dテンプレートと継承 d[Base<Derived[Base<Deriv

2熱

1答えて

1つの汎用カーネルを作成し、それを別のISAにマップする

UPDATE II：受け入れられた答えとコメントで提案されたアイデアを説明する2つの例を書いた。最初の1つは明示的な型付き操作を実行します。math_cmp.cc // math_cmp.cc #include <iostream> #include <xmmintrin.h> using namespace std; int main() { float a, b;

22熱

1答えて

C++ ADLを使ってテンプレートのすべてのインスタンスを調べる方法は？

私はHow to implement a constant-expression counter in C++チュートリアルに従っています。そして、私はC++14 Reflections Without Macros, Markup nor External Tooling..話の制限を修正しようとしています。チュートリアルの基本的な考え方はこれです： template<int N> stru

5熱

1答えて

hana :: tuple_t <T、T、T、...> Tおよび要素の数を指定する方法n

これはかなり基本的なことと思われるので、短い、組み込みの、簡単に読めるソリューションです。私が想像するために管理最短のものがはるかに短くて読みやすいことからです hana::unfold_left<hana::tuple_tag>(hana::int_c<n>, [] (auto count) { return hana::if_(count == hana::int_c<0>,

6熱

1答えて

タプルのリストを解凍する

この機能を実装する方法については何か考えてください。 template <class ... Ts> auto unzip(const list<tuple<Ts...>> & l) { ... } この関数は、タプルのリストを受け取り、リストのタプルを返します。最初のリストには、get<0>(t)などの要素が含まれています。タプルの項目をトラバースして、もちろんそのリストを