如何实现C++类模板分步指定无关的坐标与数据类型参数？

问题背景 #

现有如下C++类模板，包含position和plantData两个成员：

template<typename coordinateType, typename ...DataTypes>
class Object{
public:
    std::tuple<coordinateType, coordinateType, coordinateType> position;
    std::tuple<std::vector<DataTypes>...> plantData;
};

当前实例化写法为：

auto myObject = Object<float, int, int, int>();

希望优化成分步指定参数，避免将坐标类型float和数据类型放在一起，期望实现：

auto myObject = Object<float>();
myObject.track<int, int, int>();

请问是否可以这样实现？若不行，是否有其他拆分模板参数的方式，还是只能将它们放在一起？

可行方案分析 #

1. 直接实现期望写法的限制 #

你期望的先实例化Object<float>()、再通过成员函数track<...>指定数据类型的写法无法直接实现。因为类模板的plantData成员类型在类实例化时就必须确定，成员函数无法修改类的模板参数或成员变量的类型——一旦类被实例化为Object<float>，plantData的类型就固定为std::tuple<>（空元组），后续无法通过成员函数追加模板参数改变它的类型。

2. 替代拆分方案 #

有几种方式可以拆分模板参数，将坐标类型和数据类型解耦：

方案一：嵌套模板类

将数据类型的模板参数放到嵌套结构中，外层类仅负责坐标类型：

template<typename coordinateType>
class Object {
public:
    std::tuple<coordinateType, coordinateType, coordinateType> position;

    template<typename... DataTypes>
    struct Tracked {
        std::tuple<std::vector<DataTypes>...> plantData;
        Object<coordinateType>& parent;
        Tracked(Object<coordinateType>& obj) : parent(obj) {}
    };

    template<typename... DataTypes>
    Tracked<DataTypes...> track() {
        return Tracked<DataTypes...>(*this);
    }
};

实例化使用方式：

auto myObject = Object<float>();
auto trackedObj = myObject.track<int, int, int>();
// 通过trackedObj.plantData访问数据，trackedObj.parent访问原Object的position

方案二：二次包装类（推荐）

用外层结构指定坐标类型，内层类组合坐标与数据类型，再通过别名模板简化分步指定：

template<typename coordinateType>
struct ObjectBase {
    std::tuple<coordinateType, coordinateType, coordinateType> position;
};

template<typename coordinateType, typename... DataTypes>
class Object : public ObjectBase<coordinateType> {
public:
    std::tuple<std::vector<DataTypes>...> plantData;
};

// 别名模板实现分步指定
template<typename coordinateType>
struct ObjectMaker {
    template<typename... DataTypes>
    using Track = Object<coordinateType, DataTypes...>;
};

使用方式：

// 先指定坐标类型，再指定数据类型
using MyObjectType = ObjectMaker<float>::Track<int, int, int>;
MyObjectType myObject;

这种方式保留编译期类型检查，同时实现了参数拆分的可读性。

方案三：构造函数模板推导（C++20+）

如果不需要提前实例化空对象，可以通过构造函数参数推导数据类型，无需在尖括号中显式声明：

template<typename coordinateType>
class Object {
public:
    std::tuple<coordinateType, coordinateType, coordinateType> position;
    std::tuple<std::vector<auto>...> plantData; // C++20支持auto模板参数

    template<typename... DataTypes>
    Object(std::vector<DataTypes>... data) : plantData(std::move(data)...) {}
};

使用方式：

auto myObject = Object<float>(std::vector<int>{}, std::vector<int>{}, std::vector<int>{});

总结 #

你期望的先实例化Object<float>再调用track<...>的写法无法实现，但可以通过嵌套模板类或二次包装类的方式拆分模板参数，既保证类型安全，又提升代码可读性。

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