如何为类模板转发构造函数参数（C++17）

首先定义基础结构体：

#include <utility>

// 默认构造的结构体Bar
struct Bar {
    Bar() = default;
};

// 带int参数构造的MyBar
struct MyBar : Bar {
    MyBar(int val) : Bar() {}
};

实现符合要求的类模板Foo：

template <typename T>
struct Foo : public T {
    // 构造函数：接收double参数，剩余参数转发给基类构造
    template <typename... Args>
    Foo(double d, Args&&... args) 
        : T(std::forward<Args>(args)...)
    {
        // 可在此添加对double参数d的自定义逻辑
    }
};

关键说明 #

• Foo继承自模板参数T（问题中"ThisBar"应为笔误，实际指代模板传入的基类类型）。
• 借助C++17支持的可变参数模板和完美转发，构造函数既固定接收一个double参数，又能将后续任意类型的参数转发给基类T的构造函数。
• 当执行Foo<MyBar> f(1.0, 1);时，1.0匹配double形参，1被转发给MyBar的MyBar(int)构造函数完成基类初始化，满足编译要求。
• 若基类为Bar，Foo<Bar> f(2.718);也可正常编译，此时剩余参数为空，自动调用Bar的默认构造函数。

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