在模板实例化期间，字面值不被视为常量表达式

Question

这段代码应该在编译时使用模板元编程检查浮点数是否等于整数的一半： #包括

struct A {
    constexpr static bool value = true;
};

struct B {
    constexpr static bool value = false;
};

template<int i>
struct Meta {
    constexpr static int value = i/2;
    constexpr static bool func(float n) {
        return std::conditional_t<n==value,A,B>::value;
    }
};


int main( int argc, const char *argv[] ) {
    constexpr bool b = Meta<4>::func(2);
    std::cout << b << std::endl;
    return 0;
}

但它拒绝编译。编译器说n is not a constant expression:

test.cpp: In substitution of ‘template<bool _Cond, class _Iftrue, class _Iffalse> using conditional_t = typename std::conditional::type [with bool _Cond = (n == (float)2); _Iftrue = A; _Iffalse = B]’:
test.cpp:15:50:   required from ‘static constexpr int Meta<i>::func(float) [with int i = 4]’
test.cpp:21:36:   required from here
test.cpp:15:50: error: ‘n’ is not a constant expression
         return std::conditional_t<n==value,A,B>::value;
                                                  ^~~~~
test.cpp:15:50: note: in template argument for type ‘bool’ 
test.cpp: In function ‘int main(int, const char**)’:
test.cpp:21:36:   in constexpr expansion of ‘Meta<4>::func((float)2)’
test.cpp:21:38: error: constexpr call flows off the end of the function
     constexpr int b = Meta<4>::func(2);
                                      ^

这里有什么问题？传递给Meta::func 的值是文字值。它应该被视为一个常量。

我感兴趣的是如何在编译时根据值执行不同的操作。这应该是可能的，因为计算输出所需的所有输入都在编译时可用。

我想知道如何在编译时根据值执行不同的操作（可能涉及类型）。这应该是可能的，因为计算输出所需的所有输入都在编译时可用。

Answer 1

问题是生成的一个函数需要使用常量表达式（如您的文字）以及可变修改的值（例如以前计算的结果）都可以调用.

函数的constexpr属性保证函数在编译时被求值，if有可能是因为all参数是常量表达式。如果其中任何一个不是，则该函数用作在运行时评估的 普通 函数。即使您从未以这种方式使用该函数，它仍然必须能够处理这种情况，因此一般的函数参数（n）永远不能用作constexpr，因此n == value也不能；不管是在if constexpr 中使用还是（在您编辑之后）作为模板参数使用。

然而，实际上，内部 if constexpr 无论如何都已过时：您使用编译时常量提供 constexpr 函数，因此上述保证适用，并且您的函数 将 在编译时进行评估，无论如何如果您使用if constexpr，那么您的功能可以简化为：

constexpr static bool func(float n)
{
    return n == value;
}

请注意，如果这没有按预期出现，您也无法将结果分配给 constexpr bool...

已在问题的 cmets 中表示，但重要到足以再次提示：也要注意浮点算术的舍入问题以及通过精确相等性比较此类值！