模板类继承构造函数后调用移动构造函数报错：无匹配构造函数

咱们先来拆解你遇到的问题：你通过using声明继承了模板基类的构造函数，但调用移动构造时编译器报错找不到匹配的构造函数，核心原因在于C++标准对继承构造函数的特殊限制。

为什么会报错？ #

根据C++标准规定，当使用using声明继承基类构造函数时，基类的拷贝构造函数和移动构造函数（单参数的拷贝/移动构造）不会被自动继承。这是因为编译器会为子类自动生成默认的拷贝/移动构造函数（如果你没有显式声明的话），标准为了避免构造函数冲突，特意跳过了对基类拷贝/移动构造的继承。

回到你的代码：

• 基类TBase<int>的移动构造函数TBase(TBase<int>&&)属于单参数的移动构造，不会被using TBase<int>::TBase;继承到子类Int中。
• 子类Int自动生成的默认移动构造函数是Int(Int&&)，只接受Int类型的右值，而你传入的是TBase<int>&&类型的右值，自然找不到匹配的构造函数。

解决方案 #

这里有两种可行的解决方法，你可以根据实际场景选择：

方法1：显式定义子类的移动构造函数

直接在子类中手动实现接受TBase<int>&&的构造函数，调用基类的移动构造来初始化基类部分：

#include <iostream>
template <typename ARG>
class TBase {
public:
    TBase() {}
    TBase(TBase<ARG>&& t) {}
private:
    ARG arg;
};
class Int : public TBase<int> {
public:
    using TBase<int>::TBase;
    // 显式定义接受基类右值的构造函数
    Int(TBase<int>&& t) : TBase<int>(std::move(t)) {}
};
int main() {
    TBase<int> t1;
    Int t2(std::move(t1));
    return 0;
}

方法2：将基类的移动构造改为模板构造函数

如果你的场景允许，可以把基类的移动构造改成模板构造函数，这样它就不再属于标准规定的“移动构造函数”范畴，会被using声明正常继承：

#include <iostream>
template <typename ARG>
class TBase {
public:
    TBase() {}
    // 模板构造函数，替代原移动构造
    template <typename U>
    TBase(TBase<U>&& t) {}
private:
    ARG arg;
};
class Int : public TBase<int> {
public:
    using TBase<int>::TBase;
};
int main() {
    TBase<int> t1;
    Int t2(std::move(t1));
    return 0;
}

补充说明 #

如果你需要支持更多基类类型到子类的构造，方法2会更灵活；如果只需要针对特定基类类型（比如这里的TBase<int>），方法1更直接且语义清晰。

内容的提问来源于stack exchange，提问作者As.xjc