c++中装饰器通过继承纯虚基类、持有所包装对象指针实现可组合增强;必须用unique_ptr管理所有权,避免裸指针,并利用移动语义传递控制权。

C++ 没有原生装饰器语法,但用包装类 + 虚函数接口能实现等效效果;关键不在“像 Python 那样写 @decorator”,而在让增强逻辑可组合、不侵入原逻辑。
为什么不能直接继承并重写?
直接派生子类覆盖虚函数看似简单,但会破坏“动态叠加”能力:比如你同时需要 LoggingDecorator 和 RetryDecorator,硬编码继承链(RetryLoggingWidget)会导致组合爆炸,且无法运行时切换。
真正可行的路径是:所有装饰器和被装饰对象都实现同一抽象接口,装饰器内部持有一个指向该接口的指针(或引用),把调用转发过去 —— 这就是“包装类”的本质。
- 必须定义纯虚基类(如
Widget),所有行为通过虚函数暴露 - 装饰器构造时接收
std::unique_ptr<widget></widget>或Widget&,避免裸指针生命周期失控 - 装饰器自身也继承
Widget,从而可被继续装饰(形成链式调用) - 禁止在装饰器中暴露被包装对象的原始类型 —— 否则下游代码会绕过装饰逻辑
如何避免虚函数调用开销影响性能?
虚函数本身开销极小(一次间接跳转),但若装饰链过长(如 5 层以上)、且被装饰函数本身极轻量(如只返回一个 int),就可能成为瓶颈。这时要权衡:
- 优先用编译期组合(如模板策略)替代运行期装饰,适用于装饰行为固定、数量有限的场景
- 若必须运行期动态,可对高频调用路径做内联提示:
[[gnu::always_inline]](GCC/Clang)或__forceinline(MSVC),但仅对装饰器的转发函数有效,不能加在虚函数声明上 - 避免在装饰器中做重复计算(如每次调用都重新解析配置),应提前提取到构造函数里缓存
- 使用
final修饰末端装饰器类(如FileLogger final : public Logger),帮助编译器优化虚调用
std::shared_ptr 还是 std::unique_ptr?选哪个传给装饰器?
取决于所有权模型。多数情况下用 std::unique_ptr<widget></widget> 更安全、更清晰:
-
std::unique_ptr明确表达“装饰器完全拥有被包装对象”,生命周期由装饰器管理,不会意外悬空 -
std::shared_ptr适合多个装饰器共享同一底层对象(例如日志和监控都包装同一个网络客户端),但需警惕循环引用:装饰器 A 持有 B,B 又持有 A → 用std::weak_ptr打破 - 绝不要传裸指针(
Widget*)或引用(Widget&)给装饰器构造函数,除非你能 100% 确保被包装对象的生存期长于所有装饰器 - 如果底层对象是栈对象(如
ConsoleWidget console;),只能用引用方式包装,但必须加注释警告:“此装饰器不可脱离console生命周期单独存在”
一个最小可运行的装饰链示例
以下代码展示三层装饰:原始功能 → 加日志 → 加重试。注意每个类只关心自己那层职责,不感知上下层:
class Widget {
public:
virtual ~Widget() = default;
virtual void render() = 0;
};
class ConsoleWidget : public Widget {
public:
void render() override { std::cout wrapped_;
public:
explicit LoggingDecorator(std::unique_ptr<widget> w) : wrapped_(std::move(w)) {}
void render() override {
std::cout render();
std::cout wrapped_;
int max_retries_ = 2;
public:
explicit RetryDecorator(std::unique_ptr<widget> w) : wrapped_(std::move(w)) {}
void render() override {
for (int i = 0; i render();
return;
} catch (...) {
if (i == max_retries_) throw;
}
}
}
};
// 使用:
auto widget = std::make_unique<consolewidget>();
widget = std::make_unique<loggingdecorator>(std::move(widget));
widget = std::make_unique<retrydecorator>(std::move(widget));
widget->render(); // 输出日志 + 重试行为
</retrydecorator></loggingdecorator></consolewidget></widget></widget>
这里最易忽略的是移动语义的连贯性:每层装饰器都通过 std::move 接收并转移所有权,否则会触发拷贝(而 unique_ptr 不可拷贝)。漏掉任何一个 std::move,编译就报错 —— 这反而是好事,它强制你面对所有权问题。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











