如何定义映射VehicleType到对应ParkingSlotContainer模板实例的std::map？

代码背景 #

首先定义枚举类型：

enum VehicleType {CAR, BIKE, TRUCK};

接着是以该枚举值为模板参数的类：

template <VehicleType V>
class ParkingSlotContainer
{
    ...
};

尝试代码及报错 #

尝试在ParkingFloor类中定义map，将枚举值映射到对应的模板类实例：

class ParkingFloor
{
private:
    int floor;
    map<VehicleType, ParkingSlotContainer<VehicleType> > slots;
public:
    ParkingFloor(...);
    ...
};

编译器报错“type name is not allowed”，提示需使用ParkingSlotContainer<CAR|BIKE|TRUCK>而非ParkingSlotContainer<VehicleType>。

核心问题分析 #

ParkingSlotContainer<VehicleType>是非法写法：模板参数要求的是具体的枚举值（如CAR），而非枚举类型本身VehicleType。不同模板实例（ParkingSlotContainer<CAR>、ParkingSlotContainer<BIKE>）属于完全不同的类型，无法直接放在同一个map的value位置。

正确实现方式 #

有两种常用可行方案：

方案1：基类+多态（兼容C++11及以上）

先定义所有ParkingSlotContainer实例的公共基类，map中存储基类指针：

// 公共基类，提供统一接口
class BaseParkingSlotContainer
{
public:
    virtual ~BaseParkingSlotContainer() = default; // 必须声明虚析构函数
    // 定义公共虚接口，比如获取可用车位
    virtual int getAvailableSlots() const = 0;
};

// 修改模板类，继承自基类
template <VehicleType V>
class ParkingSlotContainer : public BaseParkingSlotContainer
{
    // 实现基类虚函数
    int getAvailableSlots() const override {
        // 具体业务实现
        return 0;
    }
    ...
};

// 调整ParkingFloor的map定义
class ParkingFloor
{
private:
    int floor;
    // 使用智能指针避免手动管理内存泄漏
    std::map<VehicleType, std::unique_ptr<BaseParkingSlotContainer>> slots;
public:
    ParkingFloor(...) {
        // 初始化各枚举对应的模板实例
        slots[CAR] = std::make_unique<ParkingSlotContainer<CAR>>();
        slots[BIKE] = std::make_unique<ParkingSlotContainer<BIKE>>();
        slots[TRUCK] = std::make_unique<ParkingSlotContainer<TRUCK>>();
    }
    ...
};

方案2：std::variant（C++17及以上）

若无需多态，且明确所有可能的模板实例类型，可使用std::variant存储不同类型的实例：

#include <variant>

// 定义variant类型，包含所有可能的ParkingSlotContainer实例
using SlotContainerVariant = std::variant<
    ParkingSlotContainer<CAR>,
    ParkingSlotContainer<BIKE>,
    ParkingSlotContainer<TRUCK>
>;

// 调整ParkingFloor的map定义
class ParkingFloor
{
private:
    int floor;
    std::map<VehicleType, SlotContainerVariant> slots;
public:
    ParkingFloor(...) {
        // 初始化各枚举对应的模板实例
        slots[CAR] = ParkingSlotContainer<CAR>();
        slots[BIKE] = ParkingSlotContainer<BIKE>();
        slots[TRUCK] = ParkingSlotContainer<TRUCK>();
    }

    // 访问variant中的实例示例
    void handleSlot(VehicleType type) {
        auto& variant = slots[type];
        std::visit([](auto& container) {
            // 自动匹配对应的模板实例类型，调用其方法
            container.someMethod();
        }, variant);
    }
    ...
};

方案选择建议 #

• 若需要统一接口处理所有类型，优先选基类+多态，兼容性更广。
• 若无需多态且使用C++17及以上，std::variant更轻量，无虚函数开销。

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