template-meta-programming

2熱

1答えて

与えられたパラメータパックに対してstd::make_tupleが返す型を取得したいと考えています。今まで私は、次のコードを書かれている： #include <tuple> #include <functional> template <class T> struct unwrap_refwrapper { using type = T; }; template <cla

6熱

1答えて

SFINAE：コンパイル時の既知の値によって関数が呼び出されたかどうかの検出

コンパイラが知られている値で私のctorsの1つが呼び出されたときに、何らかのチェックをしたい。それを検出する方法はありますか？だから、誰かがこれを呼び出すとき：10以降の A a (10); が一定知らコンパイル時間で、私はこのような、特別なctorのを呼びたい： template<int Value, typename = std::enable_if_t<Value <= 100>>

-1熱

1答えて

constexprコンストラクタにNを渡してコンパイル時にサイズNの配列を作成します。

コンパイル時にビルドされた状態マシンを作成しようとしています。私はすでにたくさんのテンプレートパラメータを使って作業バージョンを手に入れました。今私は、テンプレートパラメータの量を減らし、その一部をconstexprコンストラクタに移動したいと考えています。 template<typename EventT, typename StateT> class ConstStateMachine {

1熱

1答えて

std :: conditionalのようなC++メタ関数の評価戦略（eager、lazy、...）は何ですか？

C++ 14ドラフトn4140読み取り Tはtemplate <class T> struct underlying_typeの列挙型なければなりません。それはTは、任意のタイプにすることができたときに std::conditional_t<std::is_enum<T>::value, std::underlying_type_t<T>, foo> を書くためにどのように悪いのですか？私

2熱

2答えて

どのようにstd :: bind（またはlambda）を推定コンテキストでstd :: functionに変換するのですか？

std::bindまたはlambdaを使用して、メンバー関数へのポインタをstd::functionに変換しようとしています。（this answer on SOからの回答後）私の試みはそうのようになります。 #include <functional> template<typename T> struct AsFunction : AsFunction<decltype(&T:

1熱

1答えて

特定の型以外の値に対してテンプレートサブクラスメソッドをインスタンス化しようとすると、コンパイラエラーが発生する

使用しているプログラムが特定のテンプレート引数に対して非型のテンプレートクラスメソッドを呼び出すと、コンパイラエラーが発生します。 Super.h： class Super { protected: Super() {} public: virtual void doSomething(); void doSomethingElse();

3熱

1答えて

はこのように、私はシンプルなタイプリストのimplimentationを持っているタイプリスト

タイプのインデックスを取得：私はtypelistにTypesの内側種類T2のインデックスを把握したい template<typename... Ts> struct TypeList { static constexpr std::size_t size{ sizeof... (Ts) }; }; struct T1 { }; struct T2

2熱

1答えて

新しいマップを作成する2つのmplマップをマージするにはどうすればよいですか？

しかし、私は次のコードをtweek、私は行方不明のように思われる。それはコンパイルされません。私は2つのマップint - > intを持っています。私は2つのオリジナルからのすべてのキーと値のペアを含む3番目のint - > intマップを生成したいと思います。（VS2013）誰ですか？ #include <boost/mpl/map.hpp> #include <boost/mpl/pair

1熱

1答えて

C++テンプレートメタプログラミング：オーバーロード演算子

私は現在テンプレートメタプログラミングで遊んでいます。私はtmpを使って有限状態マシンを作ろうとしています。私はWebにいくつかの実装があることを知っていますが、私は自分自身を実装として実装したいと思います。私はベースクラス内のテンプレートベースクラスのテンプレート派生派生の演算子をオーバーロードしようとしています。その派生の template<typename Input> class Ba