如何基于旧式枚举值推导std::vector的模板类型？

首先得明确一个关键点：如果你的make_vector函数接收的是运行时的枚举值，C++不允许函数根据运行时参数返回不同类型的对象（比如std::vector<double>和std::vector<float>是完全不同的类型）。这种情况下你需要用类型安全的变体类型（比如std::variant）来包装不同的vector；如果枚举值是编译期常量，那我们可以通过模板元编程直接返回对应类型的vector，完全不需要运行时判断。

情况1：枚举值是编译期常量（无运行时分支） #

这种场景下，我们可以用模板特化来建立枚举值到目标类型的映射，然后编写模板函数直接生成对应vector：

#include <vector>

// 你的旧式枚举
enum value_type { FLOAT = 1, DOUBLE = 2, INT = 3 };

// 模板特化实现枚举到类型的编译期映射
template<value_type EnumVal>
struct EnumToType;

template<>
struct EnumToType<FLOAT> {
    using type = double; // FLOAT对应double类型的vector
};

template<>
struct EnumToType<DOUBLE> {
    using type = float; // DOUBLE对应float类型的vector
};

template<>
struct EnumToType<INT> {
    using type = int; // INT对应int类型的vector，根据需求补充
};

// 简化类型别名
template<value_type EnumVal>
using EnumToTypeT = typename EnumToType<EnumVal>::type;

// 模板函数，编译期确定返回类型
template<value_type EnumVal>
std::vector<EnumToTypeT<EnumVal>> make_vector() {
    return std::vector<EnumToTypeT<EnumVal>>();
}

// 使用示例
int main() {
    auto vec_float = make_vector<FLOAT>(); // std::vector<double>
    auto vec_double = make_vector<DOUBLE>(); // std::vector<float>
    auto vec_int = make_vector<INT>(); // std::vector<int>
    return 0;
}

这个方案完全没有运行时分支，所有类型推导都在编译期完成，效率最高。

情况2：枚举值是运行时变量（避免手写if-else） #

如果枚举值只能在运行时确定，那我们无法直接返回不同类型的vector，必须用std::variant来封装所有可能的vector类型。同时我们可以用编译期生成的跳转表来替代手写的if-else分支：

#include <vector>
#include <variant>
#include <array>
#include <functional>

enum value_type { FLOAT = 1, DOUBLE = 2, INT = 3 };

// 定义所有可能的vector类型变体
using VectorVariant = std::variant<
    std::vector<double>,
    std::vector<float>,
    std::vector<int>
>;

// 生成编译期的处理函数数组，替代if-else
constexpr auto make_vector_impl = std::array{
    []() -> VectorVariant { return std::vector<double>(); }, // 对应FLOAT=1
    []() -> VectorVariant { return std::vector<float>(); },  // 对应DOUBLE=2
    []() -> VectorVariant { return std::vector<int>(); }     // 对应INT=3
};

// 对外接口函数
VectorVariant make_vector(value_type enum_value) {
    // 注意：这里要确保枚举值在有效范围内（1-3），可以加断言
    return make_vector_impl[enum_value - 1]();
}

// 使用示例
int main() {
    value_type val = FLOAT;
    auto vec = make_vector(val); // 类型是VectorVariant，包含std::vector<double>
    
    // 访问变体里的vector需要用std::visit
    std::visit([](auto& v) {
        // 对任意类型的vector做操作
        v.push_back(42);
    }, vec);
    
    return 0;
}

这个方案里我们没有手写if-else，而是用编译期初始化的std::array来存储对应枚举值的创建函数，通过数组索引直接调用，本质是用编译期生成的跳转表替代了分支判断。

为什么你的原始写法行不通？ #

你之前尝试的decltype(enum_value)得到的是枚举类型value_type本身，而不是你期望的double/float等类型，因为decltype只会推导变量的类型，不会做任何逻辑映射。我们需要的是枚举值到目标类型的编译期映射，这就得靠模板特化或者编译期类型列表来实现。

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