什么是斯特伦省略?

What is strlen elision?

本文关键字:伦省 什么      更新时间:2023-10-16

我可以看到它被列为现代C++习语之一,但它到底是什么?

它只是一种复制省略吗?

您可能知道std::strlen循环整个字符串。在某些情况下,这可能效率低下,因为这意味着 CPU 必须开始计算字符数,从而降低其他内容的缓存位置。

但在大多数情况下,编译器能够优化std::strlen并计算字符串本身的字符数,而不是让生成的程序执行此操作。这有时被称为strlen elision(因为它省略了对strlen的调用)。

一个简单的std::strlen示例将得到完全优化。

#include <cstring>
int main() {
return std::strlen("hi");
}

-O3下,生成的程序集是

main: # @main
mov eax, 2
ret

即使在-O0下也不会生成循环!

现在这是一个相当简单的例子,但它甚至适用于更复杂的std::strlen用法。

#include <cstring>
int main(int argc, char**) {
const char *string;
if (argc == 1)
string = "hello";
else if (argc == 2)
string = "world";
else if (argc == 3)
string = "!";
return std::strlen(string); 
}

在这里,字符串以及std::strlen调用都完全优化了。

恕我直言,在我看来,如果编译器理解strlen的语义,并且如果所讨论的字符串在编译时是已知的,那么编译器可以发出一个常量,而不是在运行时计算字符串的长度(通过任何方式)。 这就是这里发生的一切。 相信Microsoft的营销部门会大肆宣传这样一个简单的功能。

我对这一切感兴趣的是(优化)编译器将常用的运行时库函数视为内部函数并在可能的情况下为它们发出更好的代码的趋势。 这已经持续了一段时间 - memcpy和memset是明显的例子 - 但我最近在Godbolt的编译器资源管理器中玩,并惊讶地看到gcc取代了它:

printf (" ");

有了这个:

putchar (' ');

惊呆? 我也是,我不确定我是否喜欢它。 我可能有一个定制的 printf 可以做一些特别的事情,这种诡计会是一个粗鲁的惊喜。 在我看来,(编译器编写者)这么小的收益有很大的风险。