应封装正数尺寸类型，因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 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></p>
- 所有算术操作都应返回新
Dim，不修改原对象（值语义） -
operator==和operator 直接比 <code>value_即可，但需声明为const operator 可以重载，方便调试：<code>os
要不要用模板支持多种底层类型
可以，但别一上来就泛化。先用 int 把逻辑跑通，再按需扩展。若真要模板，重点约束：T 必须是算术类型、支持 > 比较、且默认构造值不等于正数（避免 Dim<int>()</int> 创建出非法对象）：
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 <ul>
<li>模板版本里不能写 <code>if (v ，必须写 <code>T{0}</code> 避免整型提升问题</code>
</li>
<li>别忘了给常用类型加 <code>using DimI = Dim<int>;</int></code> 别名，降低使用成本</li>
<li>模板推导（如 <code>Dim d{5}</code>）需要 C++17 类模板参数推导，否则得写 <code>Dim<int>(5)</int></code>
</li>
</ul>
<p>真正难的不是语法，而是想清楚：这个类是否允许隐式转成 <code>int</code>？是否要支持乘法（缩放）？单位是否要内建（px/em/rem）？这些一旦定错，后续很难改。</p></t></typename>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
