了解常量引用对非成本数据成员的赋值
我正在审查C++参考文献，我试图推断为什么下面这段代码符合：
#include <string>
class Foo {
public:
Foo(const std::string& label)
: d_label(label) {}
private:
std::string d_label;
};
int main(int argc, const char** argv) {
Foo("test");
return 0;
}这里，我们将一个常量字符串的引用赋值给一个字符串。在这样做的时候，是否制作了一个非常数的label副本？如果是这样的话，为什么我们可以复制一个const对象本身就是非常量呢？否则，在复制构造函数/赋值调用方面，这里到底发生了什么？
回答 3
Stack Overflow用户
发布于 2017-01-05 08:53:08
在C++中，关键字const实际上表示只读。要制作对象的副本，您不需要写访问权限。因此，您可以将const std::string复制到std::string中。
还要注意，在C++中复制意味着在默认情况下进行深度复制。这就是所谓的值语义。因此，操作复制的字符串不会对原始字符串做任何操作。
现在来看你的最后一个问题:下面这行是怎么回事？
测试Foo(“
”)；
"test"的类型为const char[5]。编译器搜索匹配的Foo构造函数。由于"test"可以隐式转换为std::string，因此
basic_string<CharT,Alloc>::basic_string( const CharT * s, const Alloc & a = Alloc() );构造函数时，将执行此转换，即从"test"构造一个临时std::string。然后将对此临时函数的常量引用传递给构造函数
Foo::Foo( const std::string & label );此构造函数依次调用std::string的复制构造函数，以构造Foo的d_label成员
basic_string<CharT,Alloc>::basic_string( const basic_string & other );Stack Overflow用户
发布于 2017-01-05 07:47:48
这里没有发生任何任务。d_label(label)用label初始化变量d_label，随后调用string类型的。
让我们仔细看看：
Foo("test");使用其类型为const char[5]- Here的
const std::string& label初始化"test"，字符串引用(label)正被初始化为具有const char[5]类型的值。此初始化是有效的，因为可以将通过decaying到const char *的"test"传递给其中一个获得const char *. - Now的
string构造函数。label是对存储label. - At的实数字符串对象的引用。
Foo::d_label使用string引用的对象初始化string类型的点复制构造函数，并构造
Stack Overflow用户
发布于 2017-01-05 08:07:38
C++同时提供了引用语义和值语义:对象具有值，然后您可以引用对象。
std::string d_label
d_label是一个包含字符串值的对象。它被认为拥有将字符串作为内存资源保存的字节。这种所有权概念使使用d_label作为修改字符串的接口变得更加合理。
常量标准：：字符串和标签
label是对字符串的只读引用。这与“对const字符串的引用”并不完全相同。它引用的对象可能不是(也可能不是) const。
标签:d_label(
)
这将使用复制构造函数使用label的内容初始化d_label。然后，您可以随心所欲地处理副本。您知道，复制过程不会修改label的底层对象，因为label被声明为const &。
https://stackoverflow.com/questions/41479663
复制
相似问题
使非成员函数成为常量
对临时对象成员的常量引用
非成员函数可以返回常量值吗？
Constexpr非成员函数和引用Argos
使用模板减少常量和非常量非成员函数的代码重复
领取专属 10元无门槛券
AI混元助手 在线答疑
洞察 腾讯核心技术
剖析业界实践案例
腾讯云开发者
