如何从非模板拷贝构造函数委托调用模板转换构造函数？

你的代码出现无限递归循环，是因为拷贝构造函数里的MyClass<T>(a)会优先匹配你定义的拷贝构造函数（而非模板构造函数），导致递归调用自身。

下面提供两种可靠的解决思路：

思路1：提取公共初始化逻辑到私有函数 #

把模板构造函数的核心逻辑抽离成独立私有成员函数，让拷贝构造函数和模板构造函数都调用这个函数，从根源避免构造函数委托的循环：

template <typename T>
class MyClass
{
private:
    // 提取所有构造逻辑到这里
    template <typename U>
    void init_from(const MyClass<U>& other) {
        // 放置原模板构造函数的初始化代码
        // 比如成员变量拷贝、类型转换逻辑等
    }

public:
    template <typename U>
    MyClass(const MyClass<U>& other) {
        init_from(other);
    }

    // 拷贝构造函数直接调用公共逻辑
    MyClass(const MyClass& other) {
        init_from(other);
    }

    // 其他成员函数...
};

思路2：构造函数委托时绕过拷贝构造函数匹配 #

如果坚持要用构造函数委托，可以通过类型转换让编译器优先选择模板构造函数。核心是让传递给委托构造函数的参数类型，无法匹配拷贝构造函数的签名：

template <typename T>
class MyClass
{
public:
    template <typename U>
    MyClass(const MyClass<U>&); // 模板构造函数

    // 通过volatile修饰转换后的参数，让拷贝构造函数无法匹配，转而调用模板构造函数
    MyClass(const MyClass& a)
        : MyClass(static_cast<const MyClass<T>&>(const_cast<volatile MyClass<T>&>(a)))
    {}

    // 其他成员函数...
};

这种写法利用volatile限定符制造类型差异：拷贝构造函数的参数是const MyClass<T>&，转换后的参数是const volatile MyClass<T>&，编译器无法匹配拷贝构造函数，只能实例化并调用模板构造函数，从而避免循环。不过该写法偏技巧性，可读性不如第一种思路。

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