Question

使用Visual C ++ 2010，我有一个这样的类：

class MyClass{
public:
    MyClass(){}
    MyClass(MyClass &){/*...*/}   //A
    MyClass(const MyClass &){/*...*/}   //B
    template<typename T> MyClass(T &&t){ static_assert(
        !std::is_same<typename 
        std::remove_cv<typename  std::remove_reference<T>::type>::type, 
        MyClass>::value,
        "Wrapping over wrapping is not allowed!"); } //C
};

int main(int, char**){
    MyClass a;
    const MyClass b(a); //assert fail if line A removed
    auto c=b; //assert fail if line B removed
}
//If both A and B exists
//Warning C4521: multiple copy constructors specified
//Furthermore, if both A and B removed
//No error or warnings; VC2010 accepts peacefully.
//In debug mode you will find the compiler generated trivial copy constructor

根据C ++标准，A行和B行都被认为是复制构造函数，C是转换构造函数。我收到警告，我宣布多个拷贝构造函数，这并不奇怪。但是，如果我删除它们中的任何一个，static_assert失败并且代码将无法编译，这意味着模板构造函数接收到控件。

我确信此行为遵循函数重载规则。然而，这是两个规则的冲突吗？如果A和B是复制构造函数并且其中一个被声明，那么复制对象的任何尝试都不应该放到模板中，是不是？

更新：根据N3242，12.8.7，

“成员函数模板永远不会安装，以便将类对象的副本执行到其类类型的对象。”

正确的实施应该是：

当A或B或两者都被移除时，不应发生断言失败。
如果删除了B行，则c的构造应该失败，因为b是const。
如果两行都被删除，编译器应该为该类生成一个复制构造函数。
如果两条线都存在，则由实施来警告用户。

有任何评论吗？

Answer 1

首先，template<T>应为template <typename T>。

我在64位Ubuntu Linux上使用gcc 4.4.3，代码的行为与你在帖子中演示的不同。

如果没有任何改变，代码可以在没有任何警告的情况下编译。构造函数A和B是一个接一个地引起的。
如果我对A行进行评论，则无法像您所说的那样进行编译：在行const MyClass b(a);中失败。原因是对象a不是常量，因此构造函数B不能匹配，编译器必须实例化模板构造函数。当然，const MyClass和MyClass是不同的类型。
但是，如果我只对B行进行注释，则可以成功编译代码，并引发模板复制构造函数。对象b是一个常量对象，因此构造A不能匹配，编译器实例化模板构造函数。但问题仍然存在：static_assert是否会失败？差异可能是由于平台/编译器的差异。海湾合作委员会似乎认为is_same<MyClass&&, MyClass>::value是真的。您可以使用typeid打印出两种类型。

Answer 2

如果A和B是复制构造函数并且其中一个被声明，那么任何复制对象的尝试都不应该放到模板中，是不是？

不是复制构造函数的构造函数仍可用于复制对象。在您的情况下，从构造函数模板实例化的构造函数用于复制对象。哪个没问题。

指定了多个副本构造函数

2 个答案: