65,192
社区成员
发帖
与我相关
我的任务
分享求解《深度探索C++对象模型》的2个问题
1、NRV优化为什么需要copy constructor？
P68、P205和P221一再表明copy constructor是激活NRV的关键（“之一”？），可原因是什么？从P66的bar()来看，NRV后不一定调copy constructor。
2、P83的多重继承，P87描述class A的模型大概是：
我的疑问是，为什么要剔除Y实例和Z实例的X指针？假设有
y会不会因为缺失X指针而无法回溯X？
其实我是认为class Y和class Z不是应该保留X指针而剔除char和alignment吗？
这书高深莫测，越看越慌，请各位多多指点，谢谢。
P68、P205和P221一再表明copy constructor是激活NRV的关键（“之一”？），可原因是什么？从P66的bar()来看，NRV后不一定调copy constructor。
2、P83的多重继承，P87描述class A的模型大概是：
class X实例（1 byte，用于在内存定位的char）
class Y实例（4 byte，char + alignment）
class Z实例（4 byte，char + alignment）
class A实例（0 byte）
alignment （3 byte）
以上合共12 byte。其中Y实例和Z实例的“因virtual base class X而配置”的大小被剔除，估计就是剔除了2个X指针。
我的疑问是，为什么要剔除Y实例和Z实例的X指针？假设有
A a;
Y& y = a;
y会不会因为缺失X指针而无法回溯X？
其实我是认为class Y和class Z不是应该保留X指针而剔除char和alignment吗？
这书高深莫测，越看越慌，请各位多多指点，谢谢。
...全文
请发表友善的回复…
发表回复
ri_aje 2013-08-17
- 打赏
- 举报
不是很懂，《深》书P66的NRV看起来就是在避免“从临时对象到返回值对象”，然则copy constructor对NRV而言还有什么用处的？我倒不关心第1问出自哪个标准，想知道为什么定这一条标准？有网友贴出了侯先生对第1问的FAQ，他说他也不明白，真是扑朔迷离
我手头《深》是2001年5月第1版，侯捷翻译[/quote]
侯捷什么时候说的？我倒是想看看引文，麻烦发上来。
看样子你也做了些调研，还把这问题说的这么神乎其神的。我都不敢说我懂了，反着我觉得下面这个肯定是原因之一。
struct non_copyable_t
{
non_copyable_t () = default;
non_copyable_t (non_copyable_t const&) = delete; // no copy construction.
};
non_copyable_t even_nrv_will_fail ()
{
return non_copyable_t{};
}
碼上道 2013-08-17
- 打赏
- 举报
现在的编译器，无论有无copy ctor，如果能够NRV，那么就会NRV，跟copy ctor没有关系。而书中多次提到copy ctor有了，才有实行nrv优化，估计这是早期某个编译特定的设置。
第二个问题回去看看书，好像不是你理解的这样，并不是去掉了x指针，不然确实无法回溯的。这本书上的错误，笔误也特别多，大师写的是思想，楼主也不必要纠结，领会精神就可以了。
ri_aje 2013-08-17
- 打赏
- 举报
你意思是可复制、又符合bitwise copy semantics的类即使没有声明copy ctor，编译器也要合成一个出来？
更正：我在#6说错了，《深》P53最上面例子没copy ctor但有ctor，代码是这样
//以下声明展现了bitwise copy semantics
class Word {
public:
Word(const char*);
~Word() {delete [] str;}
// ...
private:
int cnt;
char* str;
}
EDDGA 2013-08-17
- 打赏
- 举报
你意思是可复制、又符合bitwise copy semantics的类即使没有声明copy ctor，编译器也要合成一个出来？
更正：我在#6说错了，《深》P53最上面例子没copy ctor但有ctor，代码是这样
//以下声明展现了bitwise copy semantics
class Word {
public:
Word(const char*);
~Word() {delete [] str;}
// ...
private:
int cnt;
char* str;
}
ri_aje 2013-08-17
- 打赏
- 举报
不是很懂，《深》书P66的NRV看起来就是在避免“从临时对象到返回值对象”，然则copy constructor对NRV而言还有什么用处的？我倒不关心第1问出自哪个标准，想知道为什么定这一条标准？有网友贴出了侯先生对第1问的FAQ，他说他也不明白，真是扑朔迷离
我手头《深》是2001年5月第1版，侯捷翻译[/quote]
侯捷什么时候说的？我倒是想看看引文，麻烦发上来。
看样子你也做了些调研，还把这问题说的这么神乎其神的。我都不敢说我懂了，反着我觉得下面这个肯定是原因之一。
struct non_copyable_t
{
non_copyable_t () = default;
non_copyable_t (non_copyable_t const&) = delete; // no copy construction.
};
non_copyable_t even_nrv_will_fail ()
{
return non_copyable_t{};
}
ri_aje 2013-08-17
- 打赏
- 举报
不是很懂，《深》书P66的NRV看起来就是在避免“从临时对象到返回值对象”，然则copy constructor对NRV而言还有什么用处的？我倒不关心第1问出自哪个标准，想知道为什么定这一条标准？有网友贴出了侯先生对第1问的FAQ，他说他也不明白，真是扑朔迷离
我手头《深》是2001年5月第1版，侯捷翻译[/quote]
侯捷什么时候说的？我倒是想看看引文，麻烦发上来。
看样子你也做了些调研，还把这问题说的这么神乎其神的。我都不敢说我懂了，反着我觉得下面这个肯定是原因之一。
struct non_copyable_t
{
non_copyable_t () = default;
non_copyable_t (non_copyable_t const&) = delete; // no copy construction.
};
non_copyable_t even_nrv_will_fail ()
{
return non_copyable_t{};
}
EDDGA 2013-08-17
- 打赏
- 举报
不是很懂，《深》书P66的NRV看起来就是在避免“从临时对象到返回值对象”，然则copy constructor对NRV而言还有什么用处的？我倒不关心第1问出自哪个标准，想知道为什么定这一条标准？有网友贴出了侯先生对第1问的FAQ，他说他也不明白，真是扑朔迷离
我手头《深》是2001年5月第1版，侯捷翻译[/quote]
侯捷什么时候说的？我倒是想看看引文，麻烦发上来。
看样子你也做了些调研，还把这问题说的这么神乎其神的。我都不敢说我懂了，反着我觉得下面这个肯定是原因之一。
struct non_copyable_t
{
non_copyable_t () = default;
non_copyable_t (non_copyable_t const&) = delete; // no copy construction.
};
non_copyable_t even_nrv_will_fail ()
{
return non_copyable_t{};
}
taodm 2013-08-16
- 打赏
- 举报
别太钻牛角尖。
貌似是没有copy ctor的优化在C语言时代就启用了，
所以NRV只是补充规定了有copy ctor这种C++才引入的情况下怎么优化。
貌似是没有copy ctor的优化在C语言时代就启用了，
所以NRV只是补充规定了有copy ctor这种C++才引入的情况下怎么优化。
EDDGA 2013-08-16
- 打赏
- 举报
不是很懂，《深》书P66的NRV看起来就是在避免“从临时对象到返回值对象”，然则copy constructor对NRV而言还有什么用处的？我倒不关心第1问出自哪个标准，想知道为什么定这一条标准？有网友贴出了侯先生对第1问的FAQ，他说他也不明白，真是扑朔迷离
我手头《深》是2001年5月第1版，侯捷翻译
逸萌 2013-08-13
- 打赏
- 举报
ri_aje 2013-08-13
- 打赏
- 举报
nrv 需要 copy ctor 是标准要求的，c++11 12.2/1
... Even when the creation of the temporary object is unevaluated (Clause 5) or otherwise avoided (12.8), all the semantic restrictions shall be respected as if the temporary object had been created and later destroyed. ...
从临时对象到返回值对象需要复制构造，所以必须有复制构造函数。
第二个问题，你先把书的版本，还有是翻译的还是原版的说清楚。以后最好也给出具体章节和段落，这样别人用不同版本复查的时候也好找。
