if constexpr(condition) 作为编译时条件

Question

我想使用 constexpr bool（以下示例中的useF）来启用以下代码中的功能。在这里，打电话给A::f()。此外，在我关闭该功能的情况下，我希望将别名模板 (a) 变为 void。

我尝试使用 constexpr if 语句，但主体仍在被实例化，这会导致编译错误。如果我使用包装器模板 (X)，则正文将按我的预期被丢弃，但这对我来说似乎很难看。有没有其他方法可以做到这一点？

constexpr bool useF = false;

struct A {
    static void f() {}
};

using a = std::conditional<useF, A, void>::type;

template<typename L>
struct X {
    static void h() {
        if constexpr(std::is_same<L, A>::value) {
            L::f(); // not instantiated, no error
        }
    }
};

int main() {
    if constexpr(useF) {
        a::f(); // error!?
    }

    X<a>::h();
}

我正在使用带有 -std=c++17 的 g++-7.0.1

Answer 1

if constexpr 仅适用于模板。来自 [stmt.if]：

如果if 语句的形式为if constexpr，则条件的值应为bool (5.20) 类型的上下文转换的常量表达式；这种形式称为 constexpr if 语句。如果值 转换后的条件为false，第一个子语句是丢弃的语句，否则第二个子语句（如果存在）是丢弃的语句。 在封闭模板化实体的实例化期间 （第 14 条），如果条件在实例化后不依赖于值，则丢弃的子语句（如果有）不会实例化。

在X 中，constexpr if 语句将阻止对其他格式错误的语句进行实例化。这就是这个语言特性的目标。但在模板之外，没有这样的等效收益。