sfinae

13熱

1答えて

私はテンプレートクラス（変更できません）をSomeClassと呼びましょう。特定のクラスから派生したクラスに特化したいと思っています。 this answer私はgcc 6.3.1でこれを実行できましたが、残念ながらgcc 4.9.2でそれを実行する必要があり、コンパイル時にというエラーが発生しました。 "部分的な特殊化SomeClass<T>はテンプレート引数を特化していません" gcc 4.9

1熱

1答えて

SFINAEでのテンプレート減算

SFINAEを新しくしました。私は気付いた： template <typename T> void f(T t) { t.Crash(); } // version 1 void f(...) { } // The sink. f(1); template <typename T> void f(const T& t, typename T::iterator* it = nullptr)

2熱

1答えて

タイプTにメンバー関数のオーバーロードがあるかどうかチェックSFINAE

以下を考慮して、私が他の関数に渡すタイプがsfのメンバー関数T::mfであるかどうかを確認したいと思います。タイプと名前がありますが、任意の数のオーバーロードがあります。いくつかの微妙な変化（おもしろそうです）やグーグルで、私は以下のようなコードを手に入れることができますが、問題を表現する方法はわかりません。printは、。 #include <type_traits> #include <

8熱

1答えて

メソッドが型チェックしないとC++テンプレートが一致するのはなぜですか？

構造体Aが演算子--をサポートしていないため、次のコードはコンパイルされません。 struct A {}; struct B { void Run() {} A& Dec(A& a) { return --a; } }; int main(int argc, char** argv) { B b; b.Run(); } このコードと同じです。

0熱

1答えて

キャスト演算子のためのSFINAE

私は列挙型をラップし、そのための文字列変換を提供するクラスを持っています。ここでは、テンプレートパラメータ 'fastStringConvert'を導入しました。このテンプレートパラメータは、SFINAE（ここでは、how can I use std::enable_if in a conversion operator?）を使用して変換がどのように行われたかを制御します。コードはMSVCでコンパ

1熱

1答えて

2レベルのテンプレートでenable_ifを使用

enable_ifを使用して特定の種類のクラスを定義したいとします。これらのタイプの中で、いくつかのテンプレート型を使用する必要があり、それを機能させることができません。ここMWEです：テンプレートクラスA： template<typename T, typename Enable = void> class A; 次のような、ここで整数型など、いくつかの簡単な種類の、のためにその専門を定義

1熱

1答えて

enumテンプレートパラメータによるコンパイル時間クラステンプレート選択

指定された列挙テンプレートパラメータ（store_type）に基づいてクラステンプレートを選択しようとしています。今、私はこれを使用するクラスをインスタンス化しますが、このクラスのbasic_storeをインスタンス化しようとするようです。 enum store_type { none, basic, lockless, }; template<class T

0熱

1答えて

C++ SFINAEは参照型と参照型に変換された引数の間のオーバーロードを選択しますか？

考慮する： - タイプの値または（すでに）参照型のいずれか要するに struct BigData {...}; // Let's get a BigData by reference, but use it as a value. // For example, we may want to make a copy of the object, but we'd // like to av

0熱

1答えて

SFINAE with VC++コンパイラ

現在、VC++コンパイラを使用して単純なSFINAE構造体をコンパイルしようとしています。（CLコマンドに応じて）私のバージョンは // Example program #include <iostream> #include <string> #include <typeinfo> struct spString { template <class... T>

5熱

2答えて

typeidを使って入力イテレータしか受け付けないようにコンストラクタを実装する方法は？

特定のオブジェクトの範囲コンストラクタを実装したいが、2つの入力イテレータのみを受け入れるように制限したい。私はこのコードをgcc 7.1.0でコンパイルしようとしました。ファイルtest.cpp #include <vector> #include <type_traits> #include <typeinfo> template <typename Iterator> usin