我可以將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>;