Question

我可以see it listed作为现代C ++习语之一，但究竟是什么？

它只是一种copy elision吗？

Answer 1

您可能知道std::strlen遍历整个字符串。在某些情况下，这可能效率低下，因为这意味着CPU必须开始计算字符数，这会减少其他内容的缓存局部性。

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

std::strlen的{{3}}只会完全优化。

#include <cstring>

int main() {
    return std::strlen("hi");
}

在-O3下，生成的程序集是

main: # @main
  mov eax, 2
  ret

即使simple example也没有生成循环！

现在这是一个相当简单的例子，但它适用于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); 
}

此处字符串完全是under -O0，以及std::strlen调用。

Answer 2

对Rakete充分尊重，对我来说似乎不言而喻，如果编译器理解strlen的语义，并且如果在编译时知道所讨论的字符串，那么编译器只能发出一个常量而不是评估运行时字符串的长度（通过任何方式）。这就是这里发生的一切。相信微软的营销部门会夸大这样一个简单的功能。

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

printf (" ");

用这个：

putchar (' ');

震惊？我也是，我不确定我喜欢它。我可能有一个自定义的printf做了一些特别的东西，这种诡计会让人大吃一惊。对我来说，这是一个很大的风险（由编译器编写者），这是一个小小的收获。

什么是strlen elision？

2 个答案: