c语言编译时字符串长度,c ++ - 在编译时计算C字符串的长度。 这真的是一个constexpr吗？...

c ++ - 在编译时计算C字符串的长度。 这真的是一个constexpr吗？

我正在尝试在编译时计算字符串文字的长度。 为此，我使用以下代码：

#include

int constexpr length(const char* str)

{

return *str ? 1 + length(str + 1) : 0;

}

int main()

{

printf("%d %d", length("abcd"), length("abcdefgh"));

}

一切都按预期工作，程序打印4和8.由clang生成的汇编代码显示结果在编译时计算：

0x100000f5e: leaq 0x35(%rip), %rdi ; "%d %d"

0x100000f65: movl $0x4, %esi

0x100000f6a: movl $0x8, %edx

0x100000f6f: xorl %eax, %eax

0x100000f71: callq 0x100000f7a ; symbol stub for: printf

我的问题：length函数将在编译时评估标准吗？

如果这是真的，编译时字符串文字计算的大门刚刚为我打开...例如，我可以在编译时计算哈希值等等......

6个解决方案

64 votes

不保证在编译时计算常量表达式，我们只有草案C ++标准部分constexpr中的非规范性引用。

[...]＆gt; [注意：可以在期间评估常量表达式   翻译 - 结束说明]

您可以将结果分配给constexpr变量以确保它在编译时进行评估，我们可以从Bjarne Stroustrup的C ++ 11参考中看到这一点(强调我的)：

除了能够在编译时评估表达式，我们   希望能够要求在编译时评估表达式   时间; 变量定义前面的constexpr就是这样做的(和   暗示const)：

例如：

constexpr int len1 = length("abcd") ;

Bjarne Stroustrup总结了我们何时可以确保此isocpp博客条目中的编译时评估，并说：

[...]正确的答案 - 如上所述   通过Herb - 是根据标准constexpr功能可能   在编译器时间或运行时进行评估，除非它被用作a   常量表达式，在这种情况下必须对其进行求值  编译时间。 为了保证编译时评估，我们必须使用   它需要一个常量表达式(例如，作为一个数组绑定或   作为案例标签)或使用它来初始化constexpr。 我希望   没有自尊的编译器会错过优化   有机会做我最初说的话：“constexpr功能是   如果所有参数都是常量，则在编译时进行评估  表述“。

因此，这概述了应在编译时对其进行评估的两种情况：

在需要常量表达式的地方使用它，这似乎是草案标准中使用短语constexpr或shall be ... constant expression的任何位置，例如数组绑定。

用它来初始化constexpr，如上所述。

Shafik Yaghmour answered 2019-05-09T05:40:14Z

24 votes

很容易确定对constexpr函数的调用是否会导致核心常量表达式或仅仅是优化：

在需要常量表达式的上下文中使用它。

int main()

{

constexpr int test_const = length("abcd");

std::array test_const2;

}

Ben Voigt answered 2019-05-09T05:40:47Z

16 votes

请注意，现代编译器(如gcc-4.x)在编译时为字符串文字执行strlen，因为它通常被定义为内部函数。 未启用优化。 虽然结果不是编译时常量。

例如。：

printf("%zu\n", strlen("abc"));

结果是：

movl $3, %esi # strlen("abc")

movl $.LC0, %edi # "%zu\n"

movl $0, %eax

call printf

Maxim Egorushkin answered 2019-05-09T05:41:18Z

12 votes

让我提出另一个函数，它在编译时计算字符串的长度而不是递归的。

template< size_t N >

constexpr size_t length( char const (&)[N] )

{

return N-1;

}

在ideone上查看此示例代码。

user2436830 answered 2019-05-09T05:41:52Z

6 votes

无法保证在编译时评估if函数，但任何合理的编译器都会在启用适当的优化级别时执行此操作。 另一方面，必须在编译时评估模板参数。

我使用以下技巧在编译时强制进行评估。 不幸的是，它只适用于整数值(即不使用浮点值)。

template

struct static_eval

{

static constexpr T value = V;

};

现在，如果你写

if (static_eval::value > 7) { ... }

您可以确定if语句是编译时常量，没有运行时开销。

5gon12eder answered 2019-05-09T05:42:40Z

1 votes

维基百科关于广义常量表达式的简短解释：

在函数上使用constexpr会对函数的作用施加一些限制。 首先，该函数必须具有非void返回类型。 其次，函数体不能声明变量或定义新类型。 第三，正文可能只包含声明，空语句和单个return语句。 必须存在参数值，以便在参数替换后，return语句中的表达式生成常量表达式。

在函数定义之前使用constexpr关键字指示编译器检查是否满足这些限制。 如果是，并且使用常量调用函数，则返回的值保证是常量，因此可以在需要常量表达式的任何位置使用。

kaedinger answered 2019-05-09T05:43:22Z