c++11 constexpr坑 使用c++11 constexpr时遇到的坑详解

最近在使用constexpr的时候无意中踩了个小坑。

下面给个小示例：

#include <iostream>

constexpr int n = 10;
constexpr char *msg = "Hello, world!";

int main()
{
    for (auto i = 0; i < n; ++i) {
        std::cout << msg << std::endl;
    }
}

constexpr应该是大家很熟悉的东西了，也是最常用的c++11新特性之一。和宏相比除了更强的类型安全之外，constexpr还带来了编译期计算。

上面的代码相当简单，我们循环输出“Hello, world!”这个字符串10次。

这么简单的代码还有讨论的必要吗？一开始我也是这么想的，然而当我们编译运行的时候却会得到下面这样的警告：

$ g++ --version
                      
g++ (GCC) 10.2.0
Copyright (C) 2020 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.


$ g++ -std=c++17 -Wall -Wextra test.cpp

test.cpp:4:23: 警告: ISO C++ forbids converting a string constant to ‘char*' [-Wwrite-strings]
    4 | constexpr char *msg = "Hello, world!";
      |                       ^~~~~~~~~~~~~~~

这段信息的意思是c++不允许把字符串字面量赋值给char*。

然而对于constexpr，文档中是这么写的：

A constexpr specifier used in an object declaration implies const.

这里的object你可以理解为变量，意思是constexpr修饰的变量都会隐式添加一个const限定符。

也就是说：

// T 是任意类型
constexpr T a = xxx;
// 不考虑其他因素，在类型上等价于：
T const a = xxx;

我们这里的T实际上可以填任意类型，包括指针。这不是说明我们的指针变量有const吗？

眼尖的读者大概已经知道答案了：constexpr添加的是顶层const。

所以我们的代码实际上是这样的：

// 原本的代码
constexpr char *msg = "Hello, world!";
// 实际上的效果
char * const msg = "Hello, world!";

下面一行的msg实际上是一个指向char的指针常量，而我们可以通过它任意修改被指向的字符串（当然这是未定义行为）。指针常量意味着我们不能把这个指针重新指向其他的对象，这个const作用在指针本身上，因此叫做顶层const。

而字符串常量的类型是const char[N]，在表达式里退化为const char *，这表示一个指向常量字符串的指针，这里的const的底层的，因为它作用于被指向的对象而不是我们的指针自身。

对于顶层const，赋值的时候是可以被去除的，而底层const则不行，这就是为什么编译器会弹出警告的原因了。

正确的做法也很简单，牢记constexpr不是const的等价替代品，它只会添加顶层const，不会添加底层const。

所以constexpr的字符串常量应该这样写：

constexpr const char *p = "Hello, world!";

或者你的编译环境支持c++17，我更推荐你这样写：

#include <string_view>

constexpr std::string_view msg = "Hello, world!";

使用string_view之后就不会出现上面的顶层/底层const的坑了。所以在现代c++里能不用裸指针就尽量不要用。

参考

https://stackoverflow.com/questions/54258241/warning-iso-c-forbids-converting-a-string-constant-to-char-for-a-static-c

总结