如何为每个对象构造单元素元组并优化C++ TriggerMap构造函数？

你当前的代码存在两个核心问题：

1. 构造函数试图用单个ThreadPool&直接初始化元组m_tup，但元组内每个T<Ts>对象都需要独立接收ThreadPool&作为构造参数，直接初始化无法匹配元组的构造规则。
2. 自定义的tuple_apply_template可以用标准库特性简化，避免冗余实现。

第一步：简化元组类型定义 #

你自己实现的tuple_apply_template<T, Ts...>::type本质等价于std::tuple<T<Ts>...>，可以直接替换，省去自定义模板的维护成本：

template<template<class> class T, class ...Ts>
class TriggerMap<T, std::tuple<Ts...>>
{
public:
    // 构造函数修改见下文
private:
    // 直接用标准元组展开替代自定义模板
    using TriggerMapImp = std::tuple<T<Ts>...>;
    TriggerMapImp m_tup;
};

第二步：修复构造函数（兼容多C++版本） #

两种实现均为编译期展开，无运行时额外开销：

方式1：C++17及以上（折叠表达式） #

利用C++17的参数包折叠特性，直接在成员初始化列表中展开构造每个元组元素：

template<template<class> class T, class ...Ts>
class TriggerMap<T, std::tuple<Ts...>>
{
public:
    TriggerMap(ThreadPool &_tp) 
        : m_tup{ T<Ts>{_tp}... } {} // 逐个构造T<Ts>对象，每个都传入ThreadPool引用
    ~TriggerMap() = default;

private:
    using TriggerMapImp = std::tuple<T<Ts>...>;
    TriggerMapImp m_tup;
};

方式2：C11/C14（索引序列辅助） #

通过编译期索引序列遍历元组类型，逐个构造元素：

#include <utility> // 引入std::index_sequence和std::make_index_sequence

template<template<class> class T, class ...Ts>
class TriggerMap<T, std::tuple<Ts...>>
{
public:
    TriggerMap(ThreadPool &_tp) 
        : TriggerMap(_tp, std::make_index_sequence<sizeof...(Ts)>()) {}
    ~TriggerMap() = default;

private:
    // 辅助构造函数，利用索引序列展开
    template<std::size_t... Idx>
    TriggerMap(ThreadPool &_tp, std::index_sequence<Idx...>)
        : m_tup{ T<std::tuple_element_t<Idx, std::tuple<Ts...>>>{_tp}... } {}

    using TriggerMapImp = std::tuple<T<Ts>...>;
    TriggerMapImp m_tup;
};

关键说明 #

• 运行时效率：两种实现都是编译期完成参数展开，运行时直接构造每个T<Ts>对象，没有任何额外的运行时开销，完全符合高效要求。
• 构造逻辑：每个元组元素T<Ts>都会以ThreadPool&作为构造参数初始化，满足你“为每个包含的对象传递ThreadPool引用”的需求。

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