了解C＆＃x2B;＆＃x2B; 98中的Enable_if实现

Question

我已经将其视为enable_if for c ++ 98的自称实现：

template<bool b, typename T = void>
struct enable_if {
    typedef T type;
};

template<typename T>
struct enable_if<false, T> {};

但是，我个人不明白。我看不到布尔人在哪里开始玩游戏。如果有人会为我解开它，真的很感激。

Answer 1

首先考虑这一点：

template<bool b>
struct foo {
    static const bool B = b;
};

template <>
struct foo<false> {
    static const bool B = false;
};

它是主要模板和专业化。在一般情况下，foo＆lt; b＆gt; :: b只是b。在特殊情况下，当b == false专业启动时，foo＆lt; :: b is false。

您的std :: enable_if的示例有两个不同的原因：a）它正在使用部分专业化。专业化是针对任何类型的t和b == false;。 b）在专业中，没有类型成员别名。这就是std :: enable_if的全部目的。当条件为false时，std :: enable_if＆lt;条件，t＆gt; ::类型是一个替代故障，因为专业化没有type。当条件是true然后std :: enable_if; condition t＆gt; :: type只是t。