template-meta-programming

2熱

2答えて

次のようなものがあるとしましょう。Foo（ 'FooInterface'）クラスのインターフェイスと 'FooInterface'の派生クラスを含むコンテナクラスBarです。ここで、派生クラスのタイプリスト（ 'FooOne'、 'FooTwo'）をコンテナクラスに転送し、それらのインスタンスを 'boost :: hana :: tuple'に格納します。小型計算（ 'FooTuple'）です

0熱

2答えて

C++ 14テンプレートの部分的な特殊化が表示されない

テンプレートの部分的な特殊化が不可視になる理由を理解しようとしています。私は以下のエラーにどのように到達したかの小さな例を行っています。この例では、ostreamsに出力するためにoperator<<をオーバーロードしようとしています。タプルの印刷には1という質問で機能するソリューションがあります。私の質問は、以下のものが目に見えないエラーで失敗する理由です。打ち鳴らすからの完全なエラー：

0熱

1答えて

テンプレート友人機能のこの部分的な特殊化はなぜ機能しますか？

私は、OpenGLを学ぶことの一環としてベクトルと行列を実装する単純なクラスを書いています。私はこのように見える行列とベクトルのクラスがあります。私はそれが内部m_dataメンバーにアクセスできるようにしたいので // Forward declarations template <typename T, size_t N/*len*/> struct vec; template<typenam

0熱

1答えて

は、テンプレートパラメータ

に基づいて静的な文字を初期化私はこのような何かをしたい： template<typename T> const char * toStr(T num) { thread_local static char rc[someval*sizeof(T)] str = "0x000...\0"; // num of zeros depends on size of T // do

4熱

2答えて

なぜこのC++の特性は、型Tにvoid演算子（EDT const＆）がないかどうかを検出するのに失敗しますか？

私はSFINAEを使って、テンプレート引数Tとして渡される型がT :: operator（）（P const &）を持つかどうかを検出しようとしています。ここでPもテンプレート引数です。私はこの例の後に私のソリューションをモデル化しましたMember Detector Idiom残念ながら、通常の方法で機能させることができたとしても、私は演算子（）のためにこれを得ることができませんでした。ここで

3熱

1答えて

テンプレートパラメータパックを関数への複数のポインタ引数に変換するにはどうすればよいですか？

私は次のように実装する： template <typename Functor, typename... Params> void foo( size_t n /* magic goes here, producing function parameters p1, p2, etc. */ /* corresponding to the parameter pack.

4熱

1答えて

非const型からC++型のメタプログラミングのconst volatileへの代入を保護する正しい方法は何ですか？例えば

私だけstd::decayを使用してnull_or template <typename T, typename U> auto null_or(T *p, U *default_value) -> typename std::enable_if<std::is_same<typename std::decay<U>::type, typename std:

1熱

1答えて

C++テンプレートメタプログラミングのvoidメソッドの検出

型にvoid型のメンバ関数があるかどうかを検出するテンプレートメタ関数を記述しようとしています。現在、私は、メンバ関数は、ダブルなどint型、に示すように template<typename C> static auto Test(void*) -> decltype(int{std::declval<C>().foo()}, Yes{}); そして、もちろん、私はそれを反転することができま

0熱

1答えて

のstd :: SFINAE

との条件付きでのstd ::条件のようですが、定義されていないクラスに対してコンパイル時のエラーなし、のstd :: enable_if_and_elseのようなものを作成することも可能です。ここで例です。 static constexpr bool myExpr = true; struct A {}; struct B; struct C : std::condition