C++封装要求成员变量必须全设为private,禁止public数据成员;只按需提供带校验的getter/setter,构造函数须保证初始状态合法,运算符重载应符合语义且不破坏封装。

成员变量必须全设为 private
公开的 public 成员变量等于放弃封装,任何外部代码都能绕过逻辑直接赋值,比如把 age 设成 -5 或 200。C++ 封装的第一道防线就是强制所有数据成员用 private —— 不是“建议”,是必须。
- 连
const成员也别放public:看似只读,但若类型可被拷贝或引用逸出(如std::string&),仍可能被意外修改 - 如果真需要只读访问,用
const成员函数返回副本或const&,而不是暴露变量本身 - 友元(
friend)不是封装的例外,而是特例;除非有明确跨类协作需求(如流输出重载),否则别轻易加
getter/setter 要按需提供,不是每个字段都配一套
自动生成 getAge() 和 setAge() 是懒惰封装,不是好封装。关键看语义:这个字段是否该被外部读/写?有没有约束逻辑要执行?
- 只读字段(如创建后不变的 ID):只提供
id() const,返回int或const std::string&,不提供 setter - 带校验的字段(如年龄):setter 内必须做检查,错误时抛
std::invalid_argument或断言,不能静默失败 - 内部状态字段(如缓存、计数器):完全不对外暴露,由类内其他接口间接影响
- 避免 getter 返回非
const引用或指针——这等于变相开放修改权限
构造函数负责初始状态合法性,不要留“半初始化”漏洞
一个“简单”的数据类常被误以为只需默认构造 + set 系列调用,结果对象在构造后长期处于无效状态(比如 name 为空、price 为负)。C++ 的封装责任从构造开始。
- 优先使用
explicit构造函数,防止单参数隐式转换导致意外构造 - 用成员初始化列表(
: name_(n), price_(p))而非构造函数体内赋值,避免默认构造 + 再赋值的冗余开销 - 构造函数里做必要检查:若
price_ < 0,直接抛异常;不要等第一次调用setPrice()才处理 - 如果某些字段无法在构造时确定,考虑用
std::optional<T>表示“未设置”,而不是用魔数(如 -1)或空字符串滥竽充数
运算符重载要符合直觉,别为了“看起来高级”而破坏封装
重载 ==、<< 或 operator+ 很常见,但容易变成封装破坏点:比如 operator<< 直接打印所有 private 成员,等于变相暴露实现细节;或者 operator== 比较了不该比的缓存字段。
立即学习“C++免费学习笔记(深入)”;
-
operator==应只比较业务上定义的“相等”字段(如id_和name_),跳过cache_valid_这类实现细节 -
operator<<输出应面向用户或调试,格式稳定、不含内部结构;别用它 dump 私有成员地址或未初始化的 padding 字节 - 二元运算符(如
+)尽量声明为非成员函数,避免无意中访问对方私有成员——它本就不该知道对方怎么存数据 - 如果重载会让类行为变得模糊(比如让两个
Person相加毫无意义),宁可不重载
封装不是靠关键字堆出来的,是靠每次访问控制、每次构造检查、每次接口设计时问一句:“这个能力,真的该暴露吗?” 最容易被忽略的是——把一个字段设为 private 只是起点,真正难的是守住它背后那条语义边界。


















