- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
这可能是 this question 的重复项,但那里讨论的示例处理的是内置类型 (int
)。在我目前的工作中,我经常因为未能像这样声明函数而在代码审查中被标记:
std::string getName();
作为:
const std::string getName();
后者对我来说似乎毫无意义,但我的一些同事认为 const
限定符可以让编译器有机会避免复制返回值(或一些类似的优化)。我在这个小测试程序上运行了 gcc -s
:
#include <iostream>
#include <string>
const std::string name()
{
return "World";
}
int main()
{
std::cout << "Hello, " << name() << '!' << std::endl;
return 0;
}
如果我从 name()
函数中删除 const
,则生成的程序集是相同的。但是,我的同事建议 const
限定符提供的优化(如果有的话)可能是特定于平台/编译器的,因此最好在 const
上添加 'just in案件'。我不太愿意养成这个习惯,因为我还没有设法在野外找到任何这样做的代码。
所以我的问题是两个部分:
const
限定符有什么区别吗?class Foo
的实例而不是 std::string
会有影响吗?我的同事们是非常通情达理的人,他们乐于接受这样一种想法,即这是一种或多或少是偶然地潜入我们代码库的古怪约定。但是没有人对这种特殊用法有足够的把握,以至于他们愿意说这是完全没有必要的。
最佳答案
我在您的示例中没有看到任何 (N)RVO。 RVO,或复制/移动省略,允许但在 [class.copy]/31 中没有强制要求。以下是一些示例:
#include <iostream>
struct A
{
A(int i) { std::cout << "ctor\n"; }
~A() { std::cout << "dtor\n"; }
A& operator=(A const&)
{ std::cout << "copy-assignment-op\n"; return *this; }
// N.B. no default move ctor will be created!
};
A foo() { return 42; }
A bar() { return A(42); }
const A cfoo() { return 42; }
const A cbar() { return A(42); }
int main()
{
std::cout << "A a(42);\n";
A a(42);
std::cout << "\na = foo();\n";
a = foo();
std::cout << "\na = bar();\n";
a = bar();
std::cout << "\nA b( foo() );\n";
A b( foo() );
std::cout << "\nA c( bar() );\n";
A c( bar() );
std::cout << "\nA d( cfoo() );\n";
A d( cfoo() );
std::cout << "\nA e( cbar() );\n";
A e( cbar() );
std::cout << "\ndtors following for a, b, c, d, e\n";
}
最新编译器的输出(许多甚至在 -O0
)是:
A a(42);ctora = foo();ctorcopy-assignment-opdtora = bar();ctorcopy-assignment-opdtorA b( foo() );ctorA c( bar() );ctorA d( cfoo() );ctorA e( cbar() );ctordtors following for a, b, c, d, edtordtordtordtordtor
As you can see, whether the return type is const
or not doesn't affect RVO. However, it could, as it isn't mandated. So if you have an old / weird compiler -- test it (or look up in the documentation).
There are two kinds of RVO in the example above:
copy/move elision of an object with automatic storage duration to the return value (also called NRVO), such as
A foo() { A a; return a; }
[class.copy]/31 允许这个
in a
return
statement in a function with a class return type, when the expression is the name of a non-volatile automatic object (other than a function or catch-clause parameter) with the same cv-unqualified type as the function return type
将临时对象的省略复制/移动到另一个对象
A a( foo() ); // only 1 ctor is called
A foo() { return A(); } // no copy/move from the temporary to the return value
这是允许的
when a temporary class object that has not been bound to a reference (12.2) would be copied/moved to a class object with the same cv-unqualified type
其中“cv-unqualified”(可能)表示这种优化忽略了顶级 const
限定。
关于c++ - CV 限定符会影响返回对象的复制省略吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/19338510/
尝试使用集成到 QTCreator 的表单编辑器,但即使我将插件放入 QtCreator.app/Contents/MacOS/designer 也不会显示。不过,相同的 dylib 文件确实适用于独
在此代码示例中。 “this.method2();”之后会读到什么?在返回returnedValue之前会跳转到method2()吗? public int method1(int returnedV
我的项目有通过gradle配置的依赖项。我想添加以下依赖项: compile group: 'org.restlet.jse', name: 'org.restlet.ext.apispark', v
我将把我们基于 Windows 的客户管理软件移植到基于 Web 的软件。我发现 polymer 可能是一种选择。 但是,对于我们的使用,我们找不到 polymer 组件具有表格 View 、下拉菜单
我的项目文件夹 Project 中有一个文件夹,比如 ED 文件夹,当我在 Eclipse 中指定在哪里查找我写入的文件时 File file = new File("ED/text.txt"); e
这是奇怪的事情,这个有效: $('#box').css({"backgroundPosition": "0px 250px"}); 但这不起作用,它只是不改变位置: $('#box').animate
这个问题在这里已经有了答案: Why does OR 0 round numbers in Javascript? (3 个答案) 关闭 5 年前。 Mozilla JavaScript Guide
这个问题在这里已经有了答案: Is the function strcmpi in the C standard libary of ISO? (3 个答案) 关闭 8 年前。 我有一个问题,为什么
我目前使用的是共享主机方案,我不确定它使用的是哪个版本的 MySQL,但它似乎不支持 DATETIMEOFFSET 类型。 是否存在支持 DATETIMEOFFSET 的 MySQL 版本?或者有计划
研究 Seam 3,我发现 Seam Solder 允许将 @Named 注释应用于包 - 在这种情况下,该包中的所有 bean 都将自动命名,就好像它们符合条件一样@Named 他们自己。我没有看到
我知道 .append 偶尔会增加数组的容量并形成数组的新副本,但 .removeLast 会逆转这种情况并减少容量通过复制到一个新的更小的数组来改变数组? 最佳答案 否(或者至少如果是,则它是一个错
很难说出这里要问什么。这个问题模棱两可、含糊不清、不完整、过于宽泛或夸夸其谈,无法以目前的形式得到合理的回答。如需帮助澄清此问题以便重新打开,visit the help center . 关闭 1
noexcept 函数说明符是否旨在 boost 性能,因为生成的对象中可能没有记录异常的代码,因此应尽可能将其添加到函数声明和定义中?我首先想到了可调用对象的包装器,其中 noexcept 可能会产
我正在使用 Angularjs 1.3.7,刚刚发现 Promise.all 在成功响应后不会更新 angularjs View ,而 $q.all 会。由于 Promises 包含在 native
我最近发现了这段JavaScript代码: Math.random() * 0x1000000 10.12345 10.12345 >> 0 10 > 10.12345 >>> 0 10 我使用
我正在编写一个玩具(物理)矢量库,并且遇到了 GHC 坚持认为函数应该具有 Integer 的问题。是他们的类型。我希望向量乘以向量以及标量(仅使用 * ),虽然这可以通过仅使用 Vector 来实现
PHP 的 mail() 函数发送邮件正常,但 Swiftmailer 的 Swift_MailTransport 不起作用! 这有效: mail('user@example.com', 'test
我尝试通过 php 脚本转储我的数据,但没有命令行。所以我用 this script 创建了我的 .sql 文件然后我尝试使用我的脚本: $link = mysql_connect($host, $u
使用 python 2.6.4 中的 sqlite3 标准库,以下查询在 sqlite3 命令行上运行良好: select segmentid, node_t, start, number,title
我最近发现了这段JavaScript代码: Math.random() * 0x1000000 10.12345 10.12345 >> 0 10 > 10.12345 >>> 0 10 我使用
我是一名优秀的程序员,十分优秀!