带参数包的模板构造函数为何屏蔽拷贝构造与拷贝赋值？

问题背景 #

想理解为何类的参数包模板构造函数会导致拷贝构造函数和拷贝赋值运算符无法正常生效（能理解编译器难以区分拷贝构造函数与模板构造函数的签名，但拷贝赋值运算符的情况似乎本应清晰）。

示例代码 #

#include <array>
#include <iostream>

struct A
{
    std::array<int,3> a;

    template<typename ... Args>
    A(Args&& ... args)
        :   a{args ...}
    {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }
    
    A(const A& other)
        :   a{other.a}
    {
        std::cout << __PRETTY_FUNCTION__ << std::endl;
    }

    A& operator=(const A& other)
    {
        a = other.a;
        std::cout << __PRETTY_FUNCTION__ << std::endl;
        return *this;
    }
};

int main()
{
    A a(1,2.f,3.);
    A b = a; // 编译失败（见下方输出）
    //A c(a); // 同样失败（模板构造函数匹配优先级更高）
}

编译错误输出 #

templated_constructror.cpp: In instantiation of ‘A::A(Args&& ...) [with Args = {A&}]’:
templated_constructror.cpp:35:8:   required from here
templated_constructror.cpp:11:15: error: cannot convert ‘A’ to ‘int’ in initialization
   11 |   : a{args ...}

原因解析 #

1. 拷贝构造函数失效的核心原因 #

当执行A b = a;或A c(a);时，编译器会在候选构造函数中选择最匹配的版本：

• 你显式定义的拷贝构造函数签名是A(const A&)，它接受const左值引用；
• 模板构造函数会被推导为A(A&)（因为a是非const的左值，模板参数Args会被推导为A&），这个版本接受非const左值引用。

根据C++的重载决议规则，非const引用的匹配优先级高于const引用，因此编译器会优先选择模板构造函数，而非你定义的拷贝构造。但模板构造函数的逻辑是用传入的参数初始化std::array<int,3>，显然无法用A对象转成int，于是触发编译错误。

2. 拷贝赋值运算符的情况 #

你提到的“拷贝赋值本应清晰”是正确的——拷贝赋值运算符operator=(const A&)不会被模板构造函数干扰，因为二者的签名完全不同：构造函数是初始化新对象，赋值运算符是修改已存在的对象。

比如如果把main函数改成：

int main()
{
    A a(1,2.f,3.);
    A b{}; // 用值初始化创建对象
    b = a; // 会正常调用拷贝赋值运算符，不会触发模板构造函数
}

这段代码是可以正常编译运行的，因为赋值操作只会匹配operator=的重载，和构造函数模板无关。你原代码中的错误是拷贝初始化（属于构造范畴），而非赋值操作。

解决方法 #

可以通过SFINAE机制禁用模板构造函数在参数为A类型（包括cv限定）时的实例化，确保拷贝构造函数被优先选择：

#include <type_traits>

// 修改模板构造函数
template<typename ... Args, typename = std::enable_if_t<!std::is_convertible_v<std::common_type_t<Args...>, A>>>
A(Args&& ... args)
    : a{args ...}
{
    std::cout << __PRETTY_FUNCTION__ << std::endl;
}

或者更精准地检查参数是否能用于初始化std::array<int,3>，避免模板构造函数在不该触发的场景被实例化。

内容的提问来源于stack exchange，提问作者user1470475