“if constexpr”在模板之外有用吗？

Question

我正在尝试完全理解if constexpr。

我了解，如果if constexpr(expr) 用在模板中，而expr 依赖于模板参数，那么在实例化过程中，只会实例化then/else 分支中的一个，另一个将被实例化被丢弃。

我有两个问题：

• 如果expr 不依赖于模板参数，那么if constexpr(expr) 的任何分支都不会被丢弃，这是真的吗？如果是，标准在哪里这样说？我看不出标准在哪里有异常丢弃仅在 expr 依赖时发生。
• if constexpr 在模板之外有用吗？如果是，这个的用例是什么？你能举一些例子来理解它的用处吗？

Answer 1

如果expr 不依赖于模板参数，那么if constexpr(expr) 的任何分支都不会被丢弃，这是真的吗？如果是，标准在哪里这样说？ […]

是的，这是真的。您正在寻找[stmt.if]/2。具体这部分：

[…] 在封闭模板化实体的实例化期间，如果条件在其实例化后不依赖于值，则不实例化丢弃的子语句（如果有）。 […]

我能找到的最好的例子是 cppreference.com 给出的实例化后最终依赖于值的情况：

template<class T> void g() {
    auto lm = [](auto p) {
        if constexpr (sizeof(T) == 1 && sizeof p == 1) {
           // this condition remains value-dependent after instantiation of g<T>
        }
    };
}

if constexpr 在模板之外有用吗？如果是，你能举一些例子来理解它的用处吗？

当if constexpr 没有出现在模板内时，所有分支都将被实例化，[basic.def.odr]/10 仍然适用：

每个程序都应包含该程序中 在废弃语句之外使用的每个非内联函数或变量的确切定义； […]

强调我的。这实际上意味着在废弃语句中对实体的 odr 使用不计算在内。例如：

void blub();

constexpr bool use_blub = false;

void f()
{
    if constexpr (use_blub)
    {
        blub();
    }
}

如果条件为假，对blub() 的调用将不需要您的程序定义blub()。使用普通的if，程序仍然需要在某处提供blub() 的定义，即使它从未使用过。因此，例如，您可以使用if constexpr 在调用某个库函数和调用某个回退实现之间切换，具体取决于该库是否可用（以及是否被链接到）。除此之外，假设，如果由于if constexpr 而无法访问代码，编译器可能不会警告无法访问的代码，就像普通的if 一样。但是，我无法使用任何实际的编译器想出一个这样的例子……