template-meta-programming

3熱

1答えて

バリデーションテンプレートを簡略化する：いくつかのスペシャライゼーションを削除する

二項係数を計算するためのテンプレートが見つかりました。利点は、派生多項式（ちょうど5つの非常に単純なもの）を使用する代わりに、このテンプレートをコンパイル時のBernstein多項式生成に使用することです。私は当初、5つのランダム関数の生成が明らかになったので、これを行うことでコードがより簡単になると考えました。残念ながら、以下のコードはテンプレートに慣れていない人には読みにくいです。少なくとも

2熱

1答えて

boost :: enable_ifのstdに相当するものがないのはなぜですか？

C++ 11では、std::enable_ifを標準ライブラリに追加しました。条件がboolのboost::enable_if_cに相当します。これは単純な条件に適していますが、その結果をvalue定数で保持する述語を使用するとすぐに、より冗長な構文を使用してboolにする必要があります。これはまさにboost::enable_if（_cサフィックスなし）のものです。なぜ標準ライブラリには

1熱

1答えて

は、テンプレート・インスタンスのリストを生成し、それらの上に

を静的関数を呼び出す彼らはすべての静的メンバ関数init()を持っている....私はテンプレートtemplate<int N> A{}とtemplate<int N> B{}のセットを持っているように、テンプレートC、Dと言います。 A<0>、B<1>、C<2>などを生成するメタ機能を書いてみたいと思います。この可変関数の名前をSeqInstという名前にします。また、このメタコマンツには静的メンバ

3熱

1答えて

テンプレートがエイリアステンプレートであるかどうかを検出するにはどうすればよいですか？ "通常" のテンプレートを考える

： template<typename> struct Normal; とエイリアステンプレート：テンプレートテンプレートパラメータとして与えられたとき template<typename> using Alias = void; は、どのように私は、これら二つを区別することができますか？だから、理想的に、私は次のようにコンパイルしたい： int main() { stati

1熱

1答えて

タプル要素をタイプ別に置き換える部分的な特殊化を一致させる

私は多くの検索を行っていますが、多くの類似の質問がありますが、どれもこの特定の質問AFAIKを解決しません。タプルの型を（インデックスではなく）型で置き換えたいと思います。私はこのようなものを試しました： template <class Tuple, class ToRemove, class ToReplace> struct ReplaceType { using type =

1熱

1答えて

gccのC++部分テンプレートの特殊化問題

コンパイル時にテンプレートの部分的な特殊化を使用してGCDを計算しようとしています。以下のコードは、clang3.8では正常に動作しますが、gcc7.1では正常に動作しません。 GCCでは、終了ケースを認識せずに再帰的なテンプレートのインスタンス化が行われます。 template <int N, int M> struct

1熱

1答えて

テンプレートクラスのテンプレート等価演算子がコンパイルされない

私のクラスmytypeがCスタイルの配列かC++のSTL配列を使用するかどうかをコンパイル時に選択できるようにするために、 #include<array> #include<cassert> template<bool IsTrue, typename IfTrue, typename IfFalse> struct choose; template<typename IfTrue,

0熱

1答えて

mpl :: vectorからmpl :: vector <>のキーを生成する

誰かが私に以下のアサートが失敗する理由を教えてもらえますか？ quesiton 1： typedef mpl::map<mpl::pair<int, unsigned>, mpl::pair<char, unsigned char> > m; typedef mpl::fold<m, mpl::vector<>, mpl::push_back<mpl::_1, mpl::first<mp

4熱

1答えて

constexpr関数の呼び出しによって静的なconstexprメンバを定義する

私の問題は次のとおりです。私はconstexpr値のリストに基づいて型のリストをソートしたい。問題は、この機能に煮詰めすることができる。 template <typename U, typename V> auto min(U,V) -> std::conditional_t<U::value < V::value, U, V> { return {}; } 一方値がrespecively

2熱

1答えて

コンパイルの問題を伴う単純な（再帰的）バリデーションテンプレート "accumulate_for"関数

1）テンプレートファンクタN回を実行し、2）結果を累積するバリアブルテンプレートまたは定数式を書きたいと思います。私はテンプレートファンクタに実行される関数を動かすと実際にコンパイルに失敗する小さなサンプルを書きました。私は解決策に近いと感じていますが、多分私は間違っています。 #include <iostream> #include <string> struct F { tem