复制构造函数不调用复制初始化或优化？

Question

如果复制构造函数是private然后在

案例1：没有错误，编译器不关心复制构造函数是否在类中定义。

案例2：错误，复制构造函数是私有的，当它被public时，它被省略了。

如果构造函数是private，它会直接优化副本而不注意吗？

#include <string>
using std::string;

class T
{
    string s;
    T(const T &obj):s(obj.s){}
public:
    T(const string &str):s(str){}
};

int main()
{
    T a = ("Copy Initialization");     //Case: 1

    T b = T("Copy Initialization");    //Case: 2
}

Answer 1

案例 2 在 N3225 中低于 12.8/31：

一个程序是非良构的，如果 复制/移动构造函数或复制/移动 对象的赋值运算符是 隐含的 odr-used 和特殊的 成员函数不可访问。

仅仅因为复制 ctor 被省略并不意味着它没有被 odr 使用。 3.2/2：

一组候选者的成员 函数是 odr-used 如果它是 由重载决议选择时 从一个 潜在评估的表达。 [注意：这包括对命名的调用 功能 (5.2.2)，操作员 重载（第 13 条），用户定义 转换 (12.3.2)、分配 放置新功能（5.3.4），如 以及非默认初始化 (8.5)。复制构造函数或移动 构造函数是 odr-used 即使 call 实际上被 执行。 ——尾注]

当然要注意，MSVC 不完全符合 C++0x，因为 (a) C++0x 还不是标准，也没有最终确定； (b) 无论如何，MSVC 并没有实现所有最新的东西。但是这些东西与 C++03 相比并没有实质性的改变，所以我相当有信心这个解释仍然成立。

案例 1 也属于这种情况，除了在我检查过的两个 C++03 编译器上，它没有那么远，因为不可能从字符串文字转换为 T。我不会被打扰要检查 C++0x 中是否允许任何额外的转换序列，任何地方都可能有一个新子句:-)

对我来说，为什么 MSVC 允许案例 1 仍然是个谜，即使是公共复制 ctor。是否允许在严格的 C++03 模式下使用？

Answer 2

案例1：无错误，编译器不关心复制构造函数是否在类中定义。

T a = ("Copy Initialization"); should give an error 因为没有合适的构造函数可以将"const char [20]" 转换为"T"

您是说T a = std::string("Copy Initialization"); 吗？

它是否直接优化了副本而不注意到构造函数是否被私有化？

不，它不能。编译器通常在代码优化阶段之前执行句法和语义分析。