享元对象必须是不可变的,所有成员变量应声明为const,外部状态由客户端传入;工厂用unordered_map缓存,返回shared_ptr,避免循环引用。

享元对象必须是不可变的,否则线程不安全
享元模式的核心是共享内部状态(intrinsic state),而把外部状态(extrinsic state)由客户端传入。一旦享元对象自身可被修改,多个调用方同时操作就会引发竞态——尤其在多线程场景下,std::shared_ptr 无法挽救这个问题。
- 所有成员变量应声明为
const,构造后不可更改 - 避免提供任何 setter 方法或非 const 成员函数
- 如果需“模拟”可变行为(比如带颜色的字符),把颜色等参数作为函数参数传入,而非存在对象里
例如:一个共享的 CharacterFlyweight 只存字形数据(如 vector of points),不存位置、颜色、大小——这些全由调用方在 render(x, y, color) 时传入。
用 std::map 或 unordered_map 管理享元工厂的键值映射
享元工厂(FlyweightFactory)负责按需创建并复用享元对象。C++ 中最直接的方式是用 std::unordered_map 缓存已创建的实例,键通常是能唯一标识内部状态的组合(如 char、std::string、或自定义结构体)。
- 键类型必须支持哈希(对
unordered_map)或比较(对map);简单类型如char或int直接可用 - 若键是复合状态(如字体名 + 字号 + 粗细),建议封装为
struct并显式定义operator==和std::hash特化 - 注意:不要在工厂中返回局部对象引用或指针;统一返回
std::shared_ptr<const flyweight></const>,确保生命周期可控
示例键定义:
struct FontKey {
std::string family;
int size;
bool bold;
bool operator==(const FontKey& other) const {
return family == other.family && size == other.size && bold == other.bold;
}
};再配合 std::hash 特化即可用于 unordered_map。
客户端必须主动分离内部状态和外部状态
享元模式失效最常见的原因是客户端没真正把变化的部分“提出来”。比如渲染一堆文本时,仍让每个字符对象自己存 x、y 坐标,那就没节省内存,反而增加了间接层。
组合式C++代码评审方案,融合静态分析、AI推理、多轮迭代评审和C++专项检查,适用于PR审查、增量代码审查、全项目评审和代码质量评分,触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 检查你的“重复对象”中哪些字段在大量实例间完全一致(如字符‘A’的轮廓数据)→ 这些进享元
- 哪些字段各不相同(如每个‘A’在屏幕上的位置、透明度)→ 这些必须由调用方持有,并在使用享元时传入
- 典型误用:
flyweight->setX(100); flyweight->render();——setX违反享元本意,应改为flyweight->render(100, 200, 0.8f);
也就是说,render() 这类方法签名里,所有非常量参数都属于外部状态;函数体内只读取 const 成员,不做任何写操作。
std::shared_ptr 是推荐的返回类型,但要注意循环引用风险
工厂返回 std::shared_ptr<const flyweight></const> 能清晰表达“只读共享”语义,也方便自动管理生命周期。但若享元内部又持有指向工厂或其他共享对象的 shared_ptr,就可能形成循环引用,导致内存泄漏。
- 享元类本身不应持有任何
shared_ptr成员(尤其是指向工厂或同级享元的) - 如需回调或关联上下文,改用
weak_ptr或裸指针(前提是生命周期明确且短于享元) - 调试时可临时加计数日志:在享元构造/析构中打印引用计数(
ptr.use_count()),确认没有意外滞留
一个轻量享元对象本不该关心谁在用它;它的职责就是稳定、高效地响应外部状态输入。越简单,越可靠。
真正容易被忽略的是:享元不是银弹。当内部状态组合爆炸(比如 100 种字体 × 50 种字号 × true/false 粗细 = 5000 个实例),缓存本身就有开销。先 profile,再决定是否上享元。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!










