为什么 const 数组无法从 constexpr 函数访问？

Question

我有一个名为access的constexpr函数，我想访问数组中的一个元素：

char const*const foo="foo";
char const*const bar[10]={"bar"};

constexpr int access(char const* c) { return (foo == c); }     // this is working
constexpr int access(char const* c) { return (bar[0] == c); }  // this isn't
int access(char const* c) { return (bar[0] == c); }            // this is also working

我得到的错误是:

error: the value of 'al' is not usable in a constant expression

为什么我不能从access访问其中一个元素？或者如果可能的话，我该怎么做？

Answer 1

数组需要声明为constexpr，而不仅仅是常量。

constexpr char const* bar[10]={"bar"};

否则，表达式< code>bar[0]会执行左值到右值的转换，以取消对数组的引用。根据C 11 5.19/2，第九个项目符号，除非数组是< code>constexpr，否则它不能作为常量表达式:

左值到右值的转换，除非它应用于

• 文本类型的 gl值，它引用使用 constexpr 定义的非易失性对象

（以及其他一些不适用的例外情况）。