C++ constexpr使用理解记录

最近看项目代码，一个constexpr让我的修改总是无法编译，在公司没静下心来看，想起来我还有个csdn，遂在此记录。

1. constexpr在约束什么？

rule1: 直接印象就是表达式可以在编译时被确定。

rule2: 蕴含了顶层const，即值固定。

2. 错误与正确示例

2.1 一般用法

根据rule1，x1的值在编译时被确定。

根据rule2，x1的值是const，顶层const，指针也得是指向常量的指针。

int main()
{
    constexpr int x1 = 5 * (5123 / 43) + 53;
    const int* p = &x1;

    printf("&p: 0x%llx, *p: %d\n",
        (unsigned long long) & p, *p);
    return 0;
}

2.2 编译时确定

下面这段代码提示有问题，编译可能可能编过。但是谁知道编译器忽略了什么？所以还是不要忽略。

int main()
{
    int x1 = 5 * (5123 / 43) + 53;
    constexpr int* p = &x1;

    printf("&p: 0x%llx, *p: %d\n",
        (unsigned long long) & p, *p);
    return 0;
}

这里存在的问题在于：&x1的行为发生在运行中，vs提示尝试访问运行时存储。

那么正确的情况，就是将它放到外面：

int x1 = 5 * (5123 / 43) + 53;
int main()
{
    constexpr int* p = &x1;
    printf("&p: 0x%llx, *p: %d\n",
        (unsigned long long) & p, *p);
    return 0;
}

现在，x1直接放到了编译后可预见的数据段，而不是运行中才得到确定位置的栈空间了。

之后constexpr出的问题，首先考虑是不是在编译时确定的地址信息。

2.3 顶层const

还是上面那个例子，指针不可修改其数值（指向）

int x1 = 5 * (5123 / 43) + 53;
int main()
{
    constexpr int* p = &x1;
    // p = nullptr; fail
    printf("&p: 0x%llx, *p: %d\n",
        (unsigned long long) & p, *p);
    return 0;
}

2.3 函数场景

有个错误信息：网上有文章提到constexpr中“函数体内有且只有一条return语句”，也许我记错了。

下面这些代码能够运行：

constexpr int f(int x) {
    if (x) {
        return 1;
    }
    else {
        return 2;
    }
}


constexpr int g(int x) {
    int k = 10;
    switch (x)
    {
    case 1:
        return k + x;
    case 2:
        return k - x;
    case 3:
        return k * x;
    case 4:
        return k / x;
    default:
        return 0;
    }
}

int main()
{
    constexpr int a = f(0);
    printf("%d\n", a);
    constexpr int b = g(1 - 1 == 0 ? 2 : 3);
    printf("%d\n", b);
    return 0;
}

可以发现，上述代码数值都是可以在编译时确定，跟return多少没有关系。

所以，constexpr目前需要的是牢记上面两个规则，具体场景具体分析应该就够了。