template-deduction

6熱

1答えて

Class :: Type型の場合、constクラス:: Typeからconstクラスを派生させることはできますか？

私は次のようにコンテナを実装しています： template<typename T> class Container { public: using value_type = T; ... }; がconst Containerからconst value_typeを導出するための良い方法はありますか？背景：私は、ネストされたテンプレートクラスを経由してイテレータ型を

2熱

2答えて

std :: maxへの関数ポインタを格納する自動変数

テンプレートの関数にテンプレートのパラメータとして関数std::maxを渡そうとしていますが、何らかの理由でコンパイラが関数の型を推測できないというエラーを出力します。簡単な例では同じ問題が再現されます。それは自分のmax2機能で動作しますが、STL std::maxでは動作しません：here見られるように #include <algorithm> template <class T> T

-1熱

1答えて

はなぜVisual Studioの2017コンパイラは、C++ 17型推論を認識しない

私のVisual Studio 2017 won'tは、このコードとwon'tコンパイルで型推論ガイドを認識ガイド：、 template<typename T> class Example{ public: Example(T& pVal) :val(pVal){} T& val; }; //type deduction guide for Example

13熱

2答えて

は、簡単な例を考えてみましょクラステンプレート

のC++ 17のパラメータ控除テンプレートの原因の曖昧さをコンストラクタができます。私は、テンプレート関数（ここではコンストラクタ）が過負荷解決の優先順位を低くしていると考えました。ここには当てはまりませんか？エラーメッセージ： prog.cc:10:14: error: ambiguous deduction for template arguments of 'foo' foo

2熱

1答えて

テンプレート引数とstd ::関数パラメータの控除

任意の数の引数を受け入れるテンプレート関数foo()があるとします。最後の引数が常にstd::functionである場合、CbArgsにこのstd::functionのパラメータが含まれるように、以下に示すfoo()テンプレートを実装するにはどうすればよいですか？ std::function<void(int,int)> cb; foo(5, "hello", cb); 私の最初のアイデアだ

2熱

1答えて

部分的な特殊化を伴うクラステンプレート引数の控除

コンストラクタのテンプレート控除を可能にする新しいC++ 17機能のすべての制限を理解するのに問題があります。特に、この例では、正しくコンパイル： struct B {}; template <typename T, typename = T> struct A { A(T) {} }; int main() { B b; A a(b); // ok

8熱

1答えて

は、それがクラスのスコープ内の関数をconstexprのためにポインタを渡すときに私が得た

最小限の例では、少し複雑になり、親テンプレートのパラメータを推定するために乱用です： struct A { }; template <int> struct Parent { }; template <int N> constexpr int operator*(A, Parent<N>*) { return N; } template <class T> using ptr =

0熱

1答えて

SFINAEとテンプレート関数のインスタンス化：SFINAE対応型の関数引数でテンプレート引数を使用できないのはなぜですか？

SFINAEで実験していました。 my_functionのインスタンシエーションでmy_type_aを推測できないのはなぜですか？ class my_type_a {}; template <typename T> class my_common_type { public: constexpr static const bool valid = false; }; tem

13熱

1答えて

変換演算子で使用すると、コンパイラはテンプレートパラメータを推測できないのはなぜですか？

は、次のコードを考えてみましょう： #include <utility> template<typename T> struct wrapper { T value; }; struct foo { operator wrapper<int>() { return{10}; } }; int main() { foo f;

-1熱

1答えて

テンプレートタイプの導出

テンプレートを使用して、 'MyClass'というクラスを実装する必要があります。 template<class T> class MyClass { public: T var1; T1 var2; }; var1とvar2の2つのメンバー変数があります。クラステンプレート引数 'T'が基本型（float、double、またはlong dou