信号与槽：原理、实现、优化与高阶应用
原理
信号与槽是一种基于观察者模式的事件通信机制。其核心数学模型可表述为： $$S \\rightarrow L$$ 其中$S$为信号发射者，$L$为接收者（槽函数）。当$S$状态变化时，自动触发与$L$的绑定关系，实现解耦通信。
关键特性：
实现
基础框架
template <typename… Args>
class Signal {
public:
using Slot = std::function<void(Args…)>;
void connect(Slot slot) {
slots_.push_back(slot);
}
void emit(Args… args) {
for (auto& slot : slots_) {
slot(args…);
}
}
private:
std::vector<Slot> slots_;
};
// 示例
Signal<int> valueChanged;
valueChanged.connect([](int x) {
std::cout << "Value: " << x;
});
valueChanged.emit(42); // 输出: Value: 42
关键技术
性能优化
// 编译期绑定（CRTP模式）
template <typename Derived>
class StaticSignal {
public:
template <void (Derived::*Handler)(int)>
void connect() { /* 存储成员函数指针 */ }
};
class Widget : public StaticSignal<Widget> {
public:
void onValueChange(int x) { … }
};
// 使用
Widget w;
w.connect<&Widget::onValueChange>();
优势：避免运行时类型检查开销，性能提升约$3\\times$
class ConnectionPool {
std::unordered_map<SignalID, std::vector<Slot>> pool_;
// 复用相同签名的信号连接
};
void emit_deferred(Args… args) {
std::lock_guard lock(queue_mutex_);
event_queue_.emplace(std::bind(&Slot::operator(), args…));
}
// 在事件循环中批量处理
高阶应用
// 动态反射支持
class MetaObject {
void registerSignal(const char* name, SignalBase* sig);
void connectByName(const char* sender, const char* signal,
const char* receiver, const char* slot);
};
应用场景：GUI设计器动态绑定
// 线程间信号转发
void forwardSignal(Args… args) {
QMetaObject::invokeMethod(target, [=]() {
target->slot(args…);
}, Qt::QueuedConnection);
}
Signal<int> sigA;
Signal<float> sigB;
sigA.connect([](int x) {
sigB.emit(static_cast<float>(x * 0.5));
});
实现信号的多级转化与过滤
数学描述
设信号集合$S = {s_1, s_2, …, s_n}$，槽函数集合$L = {l_1, l_2, …, l_m}$，连接关系可表示为： $$\\Phi: S \\times L \\rightarrow {0,1}$$ 其中$\\Phi(s_i, l_j)=1$表示有效连接。系统总连接数为： $$N = \\sum_{i=1}^{n} \\sum_{j=1}^{m} \\Phi(s_i, l_j)$$
总结
信号与槽机制通过解耦的发布-订阅模型，为C++提供了灵活的事件驱动架构。现代实现需结合模板元编程、类型擦除和线程同步技术，在保证易用性的同时实现高性能通信。
