应封装正数尺寸类型，因int可负、size_t允许0，二者均缺乏语义约束；推荐用explicit构造函数配合std::invalid_argument异常校验。
为什么不能直接用 int 或 size_t
因为 int 可负，size_t 虽无符号但不阻止传入 0（而尺寸通常要求严格大于 0），且二者都缺乏语义约束——比如传入 0 或负数时不会报错，只在运行时逻辑出错。封装的目的就是把“正数尺寸”这个业务规则编译期/构造期卡住。
用 explicit 构造函数 + 断言或异常
核心是拒绝非法值进入对象内部。推荐在构造函数里做校验，失败时抛 std::invalid_argument（比 assert 更适合生产环境，能被上层捕获）：
class Dim {
public:
explicit Dim(int v) : value_(v) {
if (v <= 0) {
throw std::invalid_argument("Dim must be positive");
}
}
<pre class="brush:php;toolbar:false;">int get() const { return value_; }private: int value_; };
- 必须
explicit，否则Dim d = 5;会隐式转换，绕过校验 - 不要用
assert，它在NDEBUG下失效，无法保证线上安全 - 如果想支持
double尺寸，需重载构造函数，但注意浮点比较要用std::abs(v) 判零
怎么支持常见操作：加减、比较、输出
尺寸类不是只存值，还得参与计算。但要注意：加法合法（Dim(2) + Dim(3) → Dim(5)），减法可能越界（Dim(2) - Dim(3) 得负数），所以减法应禁用或返回 std::optional<dim></dim>：
Dim operator+(const Dim& other) const {
return Dim(value_ + other.value_);
}
<p>// 禁用裸减法，避免静默生成非法值
// Dim operator-(const Dim& other) const = delete;</p><p>// 或更安全：返回可选值
std::optional<Dim> operator-(const Dim& other) const {
int diff = value<em> - other.value</em>;
if (diff > 0) return Dim(diff);
return std::nullopt;
}- 所有算术操作都应返回新
Dim，不修改原对象（值语义） -
operator==和operator 直接比 <code>value_即可，但需声明为const operator 可以重载，方便调试：<code>os
要不要用模板支持多种底层类型
可以，但别一上来就泛化。先用 int 把逻辑跑通，再按需扩展。若真要模板，重点约束：T 必须是算术类型、支持 > 比较、且默认构造值不等于正数（避免 Dim<int>()</int> 创建出非法对象）：
立即学习“C++免费学习笔记（深入）”；
template<typename T>
class Dim {
static_assert(std::is_arithmetic_v<T>, "Dim requires arithmetic type");
public:
explicit Dim(T v) : value_(v) {
if (v <= T{0}) {
throw std::invalid_argument("Dim must be positive");
}
}
// ... 其余同上
private:
T value_;
};- 模板版本里不能写
if (v ，必须写 <code>T{0}避免整型提升问题 - 别忘了给常用类型加
using DimI = Dim<int>;</int>别名，降低使用成本 - 模板推导（如
Dim d{5}）需要 C++17 类模板参数推导，否则得写Dim<int>(5)</int>
真正难的不是语法，而是想清楚：这个类是否允许隐式转成 int？是否要支持乘法（缩放）？单位是否要内建（px/em/rem）？这些一旦定错，后续很难改。
