如何推导模板定义基类的构造函数参数类型以实现Wrapper类参数转发？

问题背景 #

需要实现一个模板派生类Wrapper，继承自任意基类T，要求Wrapper的构造函数能自动适配基类T的构造函数参数，将参数转发给基类构造。最初的实现代码如下：

#include <string>

struct Base1 {
  Base1(int) {}
};

struct Base2 {
  Base2(std::string) {}
};

// 期望Args推导为匹配T构造函数的参数包
template <typename T, typename... Args>
struct Wrapper : public T {
  Wrapper(int, Args&&... v) : T(std::forward<Args>(v)...) {}
};

int main() {
  auto wrapper = Wrapper<Base1>(1, 2);
}

编译失败原因 #

上述代码编译报错，错误信息如下：

no matching function for call to ‘Wrapper<Base1>::Wrapper(int, int)’:
  candidate: ‘Wrapper<T, Args>::Wrapper(int, Args&& ...) [with T = Base1; Args = {}]’
  candidate expects 1 argument, 2 provided

核心问题在于：Args是类模板参数，而非构造函数的模板参数。当显式指定Wrapper<Base1>时，编译器无法从构造函数的第二个参数（2）推导类模板的Args参数，默认将Args视为空参数包，导致构造函数只接受1个参数，与传入的2个参数不匹配。

解决方案 #

方案1：将参数包改为构造函数模板参数 #

把Args从类模板参数移到构造函数的模板参数中，让编译器直接从构造函数调用推导参数类型：

#include <string>
#include <utility> // 用于std::forward

struct Base1 {
  Base1(int) {}
};

struct Base2 {
  Base2(std::string) {}
};

template <typename T>
struct Wrapper : public T {
  // 构造函数模板，Args由调用参数推导
  template <typename... Args>
  Wrapper(int, Args&&... v) : T(std::forward<Args>(v)...) {}
};

int main() {
  auto wrapper = Wrapper<Base1>(1, 2); // 编译通过，Args推导为int
  auto wrapper2 = Wrapper<Base2>(0, std::string("test")); // 编译通过
}

这种方式最简洁，无需额外推导规则，完全依赖构造函数模板的自动推导。

方案2：使用类模板推导指引（C++17及以上） #

如果坚持保留类模板的Args参数，可以通过推导指引告诉编译器如何从构造函数参数推导类模板参数：

#include <string>
#include <utility>

struct Base1 {
  Base1(int) {}
};

struct Base2 {
  Base2(std::string) {}
};

template <typename T, typename... Args>
struct Wrapper : public T {
  Wrapper(int, Args&&... v) : T(std::forward<Args>(v)...) {}
};

// 推导指引：从构造函数参数推导T和Args
template <typename T, typename... Args>
Wrapper(int, Args&&...) -> Wrapper<T, Args...>;

int main() {
  auto wrapper = Wrapper<Base1>(1, 2); // 编译通过，Args推导为int
}

注意：显式指定T时，推导指引会仅推导Args参数，类模板最终实例化为Wrapper<Base1, int>。

扩展：完全转发基类构造函数 #

如果不需要Wrapper构造函数的额外int参数，希望完全转发基类的所有构造函数，可以简化为：

#include <string>
#include <utility>

struct Base1 {
  Base1(int) {}
};

struct Base2 {
  Base2(std::string) {}
};

template <typename T>
struct Wrapper : public T {
  using T::T; // 继承基类的所有构造函数
};

int main() {
  auto wrapper = Wrapper<Base1>(2); // 直接使用Base1的构造函数
  auto wrapper2 = Wrapper<Base2>("hello"); // 直接使用Base2的构造函数
}

这种方式利用C++11的构造函数继承特性，无需手动转发参数，代码最简洁。

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