非侵入式编程指不修改被扩展类源码即可添加新功能,通过外部机制(如模板、信号槽)注入逻辑;适用于第三方库或稳定类,避免破坏ABI与职责污染,核心是解耦与边界尊重。

非侵入式编程(Non-intrusive Programming)在 C++ 中指**不修改被扩展类的源码,也能为其添加新功能或行为**的设计方式。核心思想是“零耦合、低干扰”——原有类保持干净,扩展逻辑通过外部机制(如模板、策略、信号槽、适配器等)注入,而非靠继承、修改成员或加回调函数声明。
为什么需要非侵入式?
现实项目中,很多类来自第三方库(如 Boost、STL、Qt 或自研基础库),你无权/不应直接改它的头文件;或者一个类已被广泛使用,加个 notify() 或 std::function 成员会破坏 ABI、引发编译风暴。非侵入式就是绕过这些限制的务实解法。
Boost.Signals2 是怎么做到非侵入的?
它完全不碰被观察者的代码。和传统观察者模式(Observer)不同:
- 被观察者(Subject)无需继承
Observable基类 - 无需声明
std::vector<:function>> m_listeners</:function> - 无需提供
attach()/detach()/notify()等接口 - 甚至可以是
final类、POD 结构、或只读的 const 对象
Signals2 把“通知能力”从被观察者身上剥离,转而由外部的 signal 对象承载。谁想发出事件,就定义一个 boost::signals2::signal<void></void>;谁想响应,就用 connect() 绑定任意可调用体(lambda、函数指针、绑定对象方法等)。整个过程对被观察者“透明”。
立即学习“C++免费学习笔记(深入)”;
对比:传统观察者 vs Signals2 实现
传统方式(侵入式):
class Button {
public:
void click() { /* ... */ notify(); }
private:
void notify() { for (auto& cb : m_handlers) cb(); }
std::vector<std::function<void()>> m_handlers;
};登录后复制
→ Button 被污染,职责不清,且无法对已有 Button 实例动态加监听。
还木有评论哦,快来抢沙发吧~