typedefとともにenable_ifを使用できますか？

Question

タイプがいくつかの条件に依存する変数を定義したいと思います。私はこのような何かしたい：

typedef typename enable_if<cond, int>::type Type; 
typedef typename enable_if<!cond, double>::type Type; 

をしかしconpilerは、私はタイプを再定義と言います。

どうすればいいですか？

Answer 1

あなたが使用する必要がありますstd::conditional：

#include <type_traits> 

// c++11: 
typedef typename std::conditional<cond, int, double>::type Type; 

// c++14: 
typedef std::conditional_t<cond, int, double> Type; 

は、C++ 11以降あなたは（私の意見では少しクリーナー）タイプとテンプレートエイリアスのためusingキーワードを使用できることに注意してください。

// c++11 
using Type = typename std::conditional<cond, int, double>::type; 

// c++14 
using Type = std::conditional_t<cond, int, double>; 

Answer 2

typedefと一緒にenable_ifを使用できますか？

いいえできません。条件がfalseの場合、std::enable_ifは型を未定義のままにします。条件が真である場合のみ、メンバーtypeが定義されています。

template< bool B, class T = void > 
struct enable_if; 

Bがtrue場合、std::enable_ifはTに等しいパブリックメンバのtypedef型を有します。それ以外の場合は、メンバーtypedefはありません。

typedefが正しく機能するためには、条件がtrueの場合とfalseの場合の両方の型が必要です。 SFINAEに関連するシナリオを支援するためにenable_ifが実装されています。

それでは

どのように私はこれを行うことができますか？

std::conditionalを使用してください。条件には、trueとfalseの両方の結果のメンバtypedef（type）が含まれます。

template< bool B, class T, class F > 
struct conditional; 

はBがコンパイル時にtrueある場合、又はFとしてBがfalseであればTとして定義されるメンバーのtypedef型を提供します。

したがって、次のことで十分です。

typedef typename std::conditional<cond, int, double>::type Type; 

またはそれ以上の短縮;

using Type = std::conditional_t<cond, int, double>;