C++ 如何通过轻量化自定义struct实现重载解析规避参数误用

你提到的强类型封装模式是C++中解决同类型参数无法重载、参数顺序易传错问题的标准方案，具体说明如下：

你提到的单成员POD结构体封装方案确实是零开销：

• C++标准保证该类结构体的内存布局和内部成员变量完全一致，没有额外的内存填充、元数据开销
• 开启O2及以上优化后，编译器会完全消除结构体的封装层，运行时等价于直接传递原始的size_t/int类型，没有任何指令级别的额外消耗

不用为每个类型重复手写结构体定义，可以通过模板实现通用的强类型封装，C++11及以上版本都支持：

// 通用强类型封装模板
template <typename Tag, typename ValueType>
struct StrongType {
    explicit StrongType(ValueType v) : value(v) {}
    ValueType value;

    // 可选：重载常用操作符，不用每次手动访问value
    bool operator==(const StrongType& other) const { return value == other.value; }
    bool operator<(const StrongType& other) const { return value < other.value; }
    // 其他需要的操作符可按需添加
};

// 定义不同的索引类型，Tag参数用空结构体即可，仅用来做类型区分，无开销
using GlobalIndex = StrongType<struct GlobalIndexTag, std::size_t>;
using ActiveIndex = StrongType<struct ActiveIndexTag, std::size_t>;
// 日期场景的类型也可以用同一模板生成
using Year = StrongType<struct YearTag, int>;
using Month = StrongType<struct MonthTag, int>;
using Day = StrongType<struct DayTag, int>;

该实现的优势：

• 所有强类型复用同一套模板逻辑，代码冗余度低
• 构造函数加了explicit关键字，禁止隐式类型转换，避免无意间把原始数值误转成强类型
• 操作符重载后日常使用更便捷，符合原生数值的使用习惯
• 参数顺序传错时会直接触发编译报错，完全避免运行时隐患

改造后的容器重载逻辑如下：

template <typename T>
class container {
public:
    const T& get(GlobalIndex global_index) const {
        auto active_index = this->index_map.at(global_index.value);
        return this->storage[active_index];
    }

    const T& get(ActiveIndex active_index) const {
        return this->storage[active_index.value];
    }

private:
    std::vector<T> storage;                 
    std::map<std::size_t, std::size_t> index_map;
};

// 调用示例
container<int> c;
// 明确指定索引类型，不会传混，重载也可以正常识别
auto val1 = c.get(GlobalIndex{1024});
auto val2 = c.get(ActiveIndex{5});

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