编译器可以忽略以下副本吗？
|
我仍然是新手程序员，我知道过早的优化是不好的，但是我也知道复制大量内容也是不好的。
我已经阅读了复制要素及其同义词，但例如在Wikipedia上的示例使我似乎只有在要返回的对象在完全构造的同时返回时，复制要素才能发生。
向量之类的对象呢？通常仅在填充某些东西并用作返回值时才有意义。
毕竟，空向量只能手动实例化。
那么，它在这种情况下是否也起作用？
简洁的坏风格：
vector<foo> bar(string baz)
{
vector<foo> out;
for (each letter in baz)
out.push_back(someTable[letter]);
return out;
}
int main()
{
vector<foo> oof = bar(\"Hello World\");
}
没有找到相关结果
已邀请:
3 个回复
郡豪靠暖
vector<int> foo() { vector<int> a; vector<int> b; // … fill both. bool c; std::cin >> c; if (c) return a; else return b; }缝皋
俯乡骚钵皆
的两个隐含副本都可以并且经常被删除。命名返回值优化可以消除返回语句中隐含的副本，并且也可以消除eliminated4ѭ副本初始化中所隐含的。 在同时进行两种优化的情况下，中构造的对象与中的对象相同。 使用诸如此类的人工测试用例，可以更轻松地测试正在执行哪些优化。struct CopyMe { CopyMe(); CopyMe(const CopyMe& x); CopyMe& operator=(const CopyMe& x); char data[1024]; // give it some bulk }; void Mutate(CopyMe&); CopyMe fn() { CopyMe x; Mutate(x); return x; } int main() { CopyMe y = fn(); return 0; }（过滤为C ++名称分解并进行编辑以删除非代码）。fn(): pushq %rbx movq %rdi, %rbx call CopyMe::CopyMe() movq %rbx, %rdi call Mutate(CopyMe&) movq %rbx, %rax popq %rbx ret main: subq $1032, %rsp movq %rsp, %rdi call fn() xorl %eax, %eax addq $1032, %rsp ret，gcc也会执行这些优化。您必须提供ѭ11才能关闭此行为；如果执行此操作，则gcc将对的副本构造函数生成两次调用-在对的调用内部进行一次，在外部进行一次调用。fn(): movq %rbx, -16(%rsp) movq %rbp, -8(%rsp) subq $1048, %rsp movq %rdi, %rbx movq %rsp, %rdi call CopyMe::CopyMe() movq %rsp, %rdi call Mutate(CopyMe&) movq %rsp, %rsi movq %rbx, %rdi call CopyMe::CopyMe(CopyMe const&) movq %rbx, %rax movq 1040(%rsp), %rbp movq 1032(%rsp), %rbx addq $1048, %rsp ret main: pushq %rbx subq $2048, %rsp movq %rsp, %rdi call fn() leaq 1024(%rsp), %rdi movq %rsp, %rsi call CopyMe::CopyMe(CopyMe const&) xorl %eax, %eax addq $2048, %rsp popq %rbx ret