我可以将enable_if与typedef一起使用吗？

Question

我想定义一个类型取决于某些条件的变量。 我想要这样的东西：

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

但是编译器说我重新定义了类型。

我怎样才能做到这一点？

Answer 1

我可以将enable_if与typedef一起使用吗？

不，你不能。 如果条件为假，则std::enable_if将类型std::enable_if为undefined。 仅当条件为true时，才定义成员type 。

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

如果B为true ，则std::enable_if具有公共成员typedef类型，等于T ； 否则，没有成员typedef。

为了使typedef正常工作，当条件为true和false时，这两种情况都需要一个类型。 enable_if的实现是为了协助与SFINAE相关的场景。

所以呢

我怎样才能做到这一点？

使用std::conditional 。 条件的条件true与false都将包含一个成员typedef（ type ）。

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

提供构件的typedef类型，其被定义为T如果B是true在编译时，或作为F如果B是false 。

因此，以下内容就足够了；

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

或更简洁；

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

Answer 2

您需要使用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>;