templates – 指定了多个复制构造函数

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 member function template is NEVER INSTANTIATED to perform the copy of a class object to an object of its class type.”

正确的实施应该是：

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

任何意见？