类模板默认参数与可变参数结合的Host类设计技术问询

刚好我之前处理过类似的模板类设计场景，完美匹配你说的需求——既有固定数量带默认实现的Policy参数，又能支持可变数量的算术类型参数。下面是具体的实现思路和代码示例：

第一步：定义默认的平凡Policy类 #

先把每个Policy的默认平凡实现写好，作为模板参数的默认值：

// 第一个Policy的平凡默认实现
struct DefaultPolicy1 {
    void execute() const { /* 这里放你的平凡逻辑，比如空实现或简单操作 */ }
};

// 第二个Policy的平凡默认实现
struct DefaultPolicy2 {
    float compute(float input) const { return input; }
};

// 第三个Policy的平凡默认实现（如果需要第四个就再加一个DefaultPolicy4）
struct DefaultPolicy3 {
    bool validate(int val) const { return val > 0; }
};

第二步：设计Host类模板 #

把固定的Policy参数放在模板列表的最前面，每个都指定默认值；然后把可变的算术类型参数放在最后（可变参数必须是模板列表的末尾项）：

#include <type_traits>
// 如果用C++20可以加#include <concepts>来做更严格的约束

template <
    // 3个固定Policy参数，每个都有默认的平凡实现
    typename Policy1 = DefaultPolicy1,
    typename Policy2 = DefaultPolicy2,
    typename Policy3 = DefaultPolicy3,
    // 可变数量的算术类型参数
    typename... ArithmeticTypes
>
class Host {
public:
    // 示例：使用Policy的成员函数
    void run_policies() {
        Policy1 p1;
        p1.execute();

        Policy2 p2;
        auto result = p2.compute(3.14f);

        Policy3 p3;
        bool is_valid = p3.validate(42);
    }

    // 处理单个算术类型的辅助函数（加静态断言确保是算术类型）
    template <typename T>
    void process_single(T value) {
        static_assert(std::is_arithmetic_v<T>, "参数必须是算术类型");
        // 这里写你的算术类型处理逻辑，比如计算、存储等
    }

    // 遍历所有可变算术类型参数的函数
    void process_all(const ArithmeticTypes&... values) {
        // C++17折叠表达式，逐个处理每个参数
        (process_single(values), ...);
    }
};

第三步：客户端的简化使用方式 #

这样设计后，客户端可以非常灵活地实例化Host类：

• 完全默认实例化：不用指定任何Policy，直接用默认平凡实现，可变参数为空

Host<> simple_host; // 注意<>不能省略（C++17及以后支持类模板推导的话可以写Host simple_host;）

• 自定义部分Policy：只替换需要修改的Policy，其余用默认，同时指定可变算术类型

// 自定义一个Policy1的实现
struct CustomPolicy1 {
    void execute() const { /* 你的自定义逻辑 */ }
};

// 使用自定义Policy1，默认Policy2、Policy3，同时传入int和double作为算术类型参数
Host<CustomPolicy1, , , int, double> custom_host;
// 这里的空占位符, , 表示使用Policy2和Policy3的默认值

可选：用C++20概念强化类型约束 #

如果你的项目支持C++20，可以用std::arithmetic概念直接约束可变参数必须是算术类型，比静态断言更直观：

#include <concepts>

template <
    typename Policy1 = DefaultPolicy1,
    typename Policy2 = DefaultPolicy2,
    typename Policy3 = DefaultPolicy3,
    std::arithmetic... ArithmeticTypes // 直接约束可变参数为算术类型
>
class Host {
    // 内部实现同上
};

这种设计既满足了“默认用平凡Policy简化客户端使用”的需求，又完美支持了可变数量的算术类型参数，同时保持了扩展灵活性——后续如果需要修改Policy或者添加新的算术类型处理逻辑都很方便。

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