C++11如何在编译期确保基本类型参数传递顺序正确？

完全可以用带标签的模板类型来解决这个问题，不需要创建三个独立的类，只需要少量模板代码就能在编译期拦截参数顺序错误，而且没有任何运行时开销。

核心思路 #

三个参数都是int时，编译器无法区分它们的语义（长度/宽度/高度），所以我们要给每个参数赋予独特的类型标识，但用模板来复用代码，避免重复定义类。具体来说：

1. 定义一个模板类TaggedInt，用不同的标签类型来区分不同语义的整数；
2. 给长度、宽度、高度分别定义专属的标签和类型别名；
3. 修改Object的构造函数，接收这些带标签的类型作为参数。

完整代码实现 #

第一步：定义带标签的模板整数类型

// 模板类：用Tag类型区分不同语义的整数
template <typename Tag>
struct TaggedInt {
    int value;
    // 显式构造函数，防止不小心隐式转换
    explicit constexpr TaggedInt(int v) noexcept : value(v) {}
};

// 定义三个空的标签类型，用来标识不同参数的语义
struct LengthTag {};
struct WidthTag {};
struct HeightTag {};

// 定义别名，简化使用
using Length = TaggedInt<LengthTag>;
using Width = TaggedInt<WidthTag>;
using Height = TaggedInt<HeightTag>;

第二步：修改Object的构造函数

// Object.h
class Object {
public:
    // 现在构造函数接收带标签的类型，而非原始int
    constexpr Object(Length length, Width width, Height height) noexcept
        : length_(length.value), width_(width.value), height_(height.value) {}

private:
    int length_;
    int width_;
    int height_;
};

第三步：使用方式

#include "Object.h"

int main() {
    // 显式创建对应语义的参数
    constexpr Length l(10);
    constexpr Width w(15);
    constexpr Height h(5);

    Object correctObj(l, w, h); // ✅ 编译通过：参数顺序正确
    Object wrongObj(w, l, h);   // ❌ 编译失败：参数类型不匹配，编译器直接报错
}

为什么这能解决问题？ #

• Length、Width、Height是三个完全不同的类型（模板的不同实例化），编译器会严格检查构造函数的参数类型顺序；
• 模板代码只需要写一次，不需要为每个参数单独定义类，成本极低；
• 完全是编译期检查，运行时和直接用int参数的构造函数没有任何区别，没有额外开销；
• explicit构造函数可以防止不小心用原始int直接传参，确保必须显式声明参数的语义。

额外优化：支持隐式转换（可选） #

如果你希望偶尔可以直接传int但仍能检查顺序，可以去掉explicit，但这样会降低安全性，建议谨慎使用：

// 去掉explicit，允许隐式转换
template <typename Tag>
struct TaggedInt {
    int value;
    constexpr TaggedInt(int v) noexcept : value(v) {}
};

// 此时可以这样用，但仍会检查顺序
Object obj(Length(10), Width(15), Height(5)); // 正确
Object wrongObj(Width(15), Length(10), Height(5)); // 错误

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