c++ - 为什么参数不是常量表达式？

Question

您能解释一下为什么这段代码无法编译吗？

// source.cpp
constexpr const char* func(const char* s) { return s;}

constexpr bool find(const char *param) {
   constexpr const char* result = func(param);
   return (param == 0);
}

int main()
{
   constexpr bool result = find("abcde");
}

编译命令:

$ g++ -std=c++14 source.cpp

我试过 gcc5.4 和 gcc6.4。错误:

source.cpp: In function ‘constexpr bool find(const char*)’:
source.cpp:5:46: error: ‘param’ is not a constant expression
 constexpr const char* result = func(param);
                                          ^

Answer 1

函数参数永远不是常量表达式。请记住，constexpr 函数就像常规函数一样。它们也可以在运行时调用。所以我们不能假设传递给 param 的地址是常量表达式，因此不能用它来初始化 constexpr 变量或返回值。

您可以将字符串文字传递给constexpr 函数并生成constexpr 结果，for instance :

constexpr bool find(const char *param) {
   return (param[0] == 0);
}

int main()
{
   constexpr bool result = find("abcde"); // OK!
}

当给定常量表达式时，该函数可在常量表达式中调用。但它不能假设它只在常量表达式中被调用(我知道，人们可能会对它产生反感)。