返回一个空字符串：C++ 中的有效方式

Question

我有两种从函数返回空字符串的方法。

1)

std::string get_string()
{
   return "";
}

2)

std::string get_string()
{
   return std::string();
}

哪一个更有效，为什么？

Answer 1

Gcc 7.1 -O3 这些都是相同的，godbolt.org/z/a-hc1d – jterm 4 月 25 日 3:27

原答案：

做了一些挖掘。下面是一个示例程序和相关程序集：

代码：

#include <string>

std::string get_string1(){ return ""; }

std::string get_string2(){ return std::string(); }

std::string get_string3(){ return {}; }           //thanks  Kerrek SB

int main()
{
    get_string1();
    get_string2();
    get_string3();
}

组装：

__Z11get_string1v:
LFB737:
    .cfi_startproc
    pushl   %ebx
    .cfi_def_cfa_offset 8
    .cfi_offset 3, -8
    subl    $40, %esp
    .cfi_def_cfa_offset 48
    movl    48(%esp), %ebx
    leal    31(%esp), %eax
    movl    %eax, 8(%esp)
    movl    $LC0, 4(%esp)
    movl    %ebx, (%esp)
    call    __ZNSsC1EPKcRKSaIcE
    addl    $40, %esp
    .cfi_def_cfa_offset 8
    movl    %ebx, %eax
    popl    %ebx
    .cfi_restore 3
    .cfi_def_cfa_offset 4
    ret $4
    .cfi_endproc

__Z11get_string2v:
LFB738:
    .cfi_startproc
    movl    4(%esp), %eax
    movl    $__ZNSs4_Rep20_S_empty_rep_storageE+12, (%eax)
    ret $4
    .cfi_endproc

__Z11get_string3v:
LFB739:
    .cfi_startproc
    movl    4(%esp), %eax
    movl    $__ZNSs4_Rep20_S_empty_rep_storageE+12, (%eax)
    ret $4
    .cfi_endproc

这是用-std=c++11 -O2编译的。

您可以看到 return ""; 语句的工作量要多得多，而 return std::string 和 return {}; 的工作量则相对较少（这两个是相同的）。

正如 Frerich Raabe 所说，当传递一个空的C_string 时，它仍然需要对其进行处理，而不仅仅是分配内存。看来这不能被优化掉（至少不是通过 GCC）

所以答案肯定是使用：

return std::string();

或

return {};   //(c++11)

尽管除非您在性能关键代码中返回 很多 空字符串（我猜是日志记录？），但差异仍然是微不足道的。

Answer 2

后一个版本永远不会比第一个慢。第一个版本使用 C 字符串调用 std::string 构造函数，然后必须首先计算字符串的长度。尽管这对于空字符串来说很快，但肯定不会比不做更快。