template-meta-programming

2熱

1答えて

テンプレートテンプレートパラメータの引数がテンプレート以外の型であると表示される

次のコードではエラーが発生しますが、なぜこのようなことが起こるのかわかりません。 #include <utility> #include <type_traits> #include <tuple> template <typename T, template <typename...> class F, typename = void> struct tuple_subtype_app

0熱

2答えて

クラスに署名付きコンストラクタがあるかどうかを検出する

クラスに指定されたシグネチャを持つコンストラクタがある場合、コンパイル時にどのように検出できますか？私は次の操作を実行したいと思います。具体的には： class Archive { // (...) template <typename T> T Read() { if constexpr(HasUnarchiveConstructor<T>

4熱

5答えて

代替品の場合は、

constexpr ifをコンパイル時に分岐したいが、最新のMSVCコンパイラではサポートされていないようだ。次？：要するに template<typename T> void MyFunc() { if constexpr(MeetsConditions<T>::value) { FunctionA<T>(); } else {

-4熱

1答えて

C++でのテンプレートメタプログラミングを使って、2つの整数のGCDを見つけよう

私はテンプレートメタプログラミングを知りたいと思っています。これは参考のために以下に示す再帰的ユークリッドのアルゴリズムを使って2つの数のGCDを見つける問題です。 function gcd(a, b) if b = 0 return a; else return gcd(b, a mod b); ご協力いただけると助かります。

4熱

1答えて

コンパイル時に、指定されたパラメータ型のセットで汎用ラムダを正常に呼び出すことができるかどうかを検出する方法はありますか？

私は、指定されたパラメータ型のセットで呼び出すことができるかどうかを、一般的なラムダ型を指定してコンパイル時に決定したいと考えています。私は次の例C++ 14の実装を持っています： #include <iostream> // helper function; this overload handles the case that the call is possible // use SF

-2熱

2答えて

次のC++メタプログラミングコードは、N = 100のコンパイルエラーを返しますが、小さなNの場合は正常に動作しますか？

#include<math.h> #include<iostream> using namespace std; template <int x, int N> struct f{ static const int res = x*(f<x, N-1>::res); }; template <int x> struct f<x, 0>{ static con

0熱

1答えて

テンプレートのメタプログラミング、cv-qualificationエラーの競合

テンプレートメタプログラミングを使用して正弦関数を実装しようとしています。しかし、私はエラー 'radtest'はdouble &の有効なテンプレート引数ではないため、cv-qualificationの競合が発生します。コードは次のとおりです。 #include <iostream> using namespace std; template <double&, int, int> stru

2熱

1答えて

非タプル型の作業にstd :: applyを拡張する方法は？

タプルであるかどうかを気にせずに入力引数を関数に適用する必要がある場合があります。タプルの場合は、を展開する必要があります。したがって、関数の引数の検出は不要です。ここでは私がを試してみました何である：それは私が期待したものである、曖昧になり template <typename Callable, typename Tuple> auto geniune_apply(Callable&& c

2熱

1答えて

可変長テンプレートパラメータとしてのメンバへのポインタ

可変長テンプレート引数としてメンバへのポインタを渡すことは可能ですか？私は構文を理解していないようです。関数のそれはこのように動作します呼び出す：私はクラステンプレートと同様の方法でのparamsを渡すしたい f(obj, &A::a, &A::b); ：このように使用することができます struct A { int a; float b; } template