NexusForce 1.0.0
A Modern C++ Library with extended functionality, web components, and utility libraries
载入中...
搜索中...
未找到
signals.hpp
浏览该文件的文档.
1#ifndef NEFORCE_CORE_ASYNC_SIGNALS_HPP__
2#define NEFORCE_CORE_ASYNC_SIGNALS_HPP__
3
11
18NEFORCE_BEGIN_NAMESPACE__
19
25
32enum class callback_result {
35};
36
37
44struct oneshot_t {
45 constexpr oneshot_t() noexcept = default;
46};
47
51NEFORCE_INLINE17 constexpr oneshot_t oneshot{};
52
59enum class nshot_t : size_t {
60};
61
62
71private:
72 shared_ptr<bool> connected_;
73
74public:
79 connected_(_NEFORCE make_shared<bool>(true)) {}
80
87 void disconnect() noexcept {
88 if (connected_) {
89 *connected_ = false;
90 }
91 }
92
97 NEFORCE_NODISCARD bool connected() const noexcept { return connected_ && *connected_; }
98
103 NEFORCE_NODISCARD shared_ptr<bool> flag() const noexcept { return connected_; }
104};
105
106
114private:
115 connection conn_;
116
117public:
121 scoped_connection() = default;
122
127 explicit scoped_connection(connection conn) noexcept :
128 conn_(_NEFORCE move(conn)) {}
129
133 ~scoped_connection() { conn_.disconnect(); }
134
135 scoped_connection(const scoped_connection&) = delete;
136 scoped_connection& operator=(const scoped_connection&) = delete;
137
143 conn_(_NEFORCE move(other.conn_)) {}
144
151 if (addressof(other) == this) {
152 return *this;
153 }
154 conn_.disconnect();
155 conn_ = _NEFORCE move(other.conn_);
156 return *this;
157 }
158
162 void disconnect() noexcept { conn_.disconnect(); }
163
168 NEFORCE_NODISCARD bool connected() const noexcept { return conn_.connected(); }
169
176 connection release() noexcept { return _NEFORCE move(conn_); }
177};
178
179
180template <typename... Types>
181struct signal;
182
189template <typename... Types>
191private:
192 shared_ptr<bool> blocked_flag_;
193 bool old_value_;
194 bool released_ = false;
195
196public:
201 explicit signal_blocker(signal<Types...>& sig) noexcept :
202 blocked_flag_(sig.block_flag()) {
203 old_value_ = *blocked_flag_;
204 *blocked_flag_ = true;
205 }
206
211 if (blocked_flag_ && !released_) {
212 *blocked_flag_ = old_value_;
213 }
214 }
215
216 signal_blocker(const signal_blocker&) = delete;
217 signal_blocker& operator=(const signal_blocker&) = delete;
218
224 void unblock() noexcept {
225 if (blocked_flag_ && !released_) {
226 *blocked_flag_ = old_value_;
227 released_ = true;
228 }
229 }
230};
231
232
240template <typename... Types>
241struct signal {
242private:
247 struct slot_entry {
248 using callback_type = function<callback_result(Types...)>;
249
250 callback_type callback;
251 shared_ptr<bool> connected_flag;
252 int priority;
253
254 slot_entry(callback_type cb, shared_ptr<bool> flag, const int pri = 0) :
255 callback(_NEFORCE move(cb)),
256 connected_flag(_NEFORCE move(flag)),
257 priority(pri) {}
258 };
259
260 vector<slot_entry> slots_{};
261 shared_ptr<bool> blocked_flag_{_NEFORCE make_shared<bool>(false)};
262 mutable mutex mutex_;
263
264 template <typename T>
265 static shared_ptr<T> lock_if_weak(const weak_ptr<T>& self) {
266 return self.lock();
267 }
268 template <typename T>
269 static const shared_ptr<T>& lock_if_weak(const shared_ptr<T>& self) noexcept {
270 return self;
271 }
272 template <typename T>
273 static T* lock_if_weak(T* self) noexcept {
274 return self;
275 }
276
277 template <typename Func>
278 auto with_lock(Func&& func) const {
279 lock<mutex> lock(mutex_);
280 return _NEFORCE forward<Func>(func)();
281 }
282
283 template <typename Func>
284 auto with_lock(Func&& func) {
285 lock<mutex> lock(mutex_);
286 return _NEFORCE forward<Func>(func)();
287 }
288
297 template <typename Self, typename MemFn>
298 auto bind(Self self, MemFn memfn) {
299 return [self = _NEFORCE move(self), memfn](Types... args) {
300 auto ptr = signal::lock_if_weak(self);
301 if (ptr == nullptr) {
303 }
304 ((*ptr).*memfn)(_NEFORCE forward<Types>(args)...);
306 };
307 }
308
318 template <typename Self, typename MemFn>
319 auto bind(Self self, MemFn memfn, oneshot_t one) {
320 return [self = _NEFORCE move(self), memfn](Types... args) {
321 auto ptr = signal::lock_if_weak(self);
322 if (ptr == nullptr) {
324 }
325 ((*ptr).*memfn)(_NEFORCE forward<Types>(args)...);
327 };
328 }
329
339 template <typename Self, typename MemFn>
340 auto bind(Self self, MemFn memfn, nshot_t n) {
341 return [self = _NEFORCE move(self), memfn, n = static_cast<size_t>(n)](Types... args) mutable {
342 if (n == 0) {
344 }
345 auto ptr = signal::lock_if_weak(self);
346 if (ptr == nullptr) {
348 }
349 ((*ptr).*memfn)(_NEFORCE forward<Types>(args)...);
350 --n;
351 if (n == 0) {
353 }
355 };
356 }
357
365 template <typename Func>
366 enable_if_t<is_invocable_r_v<callback_result, Func, Types...>, connection> connect_impl(Func callback,
367 int priority) {
368 connection conn{};
369
370 auto it = slots_.begin();
371 while (it != slots_.end() && it->priority >= priority) {
372 ++it;
373 }
374 slots_.emplace(it, _NEFORCE move(callback), conn.flag(), priority);
375
376 return conn;
377 }
378
386 template <typename Func>
387 enable_if_t<!is_invocable_r_v<callback_result, Func, Types...>, connection> connect_impl(Func callback,
388 int priority) {
389 connection conn{};
390
391 auto wrapped = [callback = _NEFORCE move(callback)](Types... args) mutable {
392 callback(_NEFORCE forward<Types>(args)...);
394 };
395
396 auto it = slots_.begin();
397 while (it != slots_.end() && it->priority >= priority) {
398 ++it;
399 }
400 slots_.emplace(it, _NEFORCE move(wrapped), conn.flag(), priority);
401
402 return conn;
403 }
404
405 size_t slot_count_unlocked() const noexcept {
406 size_t count = 0;
407 for (const auto& slot: slots_) {
408 if (slot.connected_flag && *slot.connected_flag) {
409 ++count;
410 }
411 }
412 return count;
413 }
414
415public:
416 signal() = default;
417 ~signal() = default;
418 signal(const signal&) = delete;
419 signal& operator=(const signal&) = delete;
420 signal(signal&&) = delete;
421 signal& operator=(signal&&) = delete;
422
433 template <typename Self, typename MemFn, typename... Tag>
434 connection connect(Self self, MemFn memfn, Tag... tag) {
435 return this->connect(_NEFORCE move(self), memfn, 0, tag...);
436 }
437
445 template <typename Func>
446 connection connect(Func callback, int priority = 0) {
447 return this->with_lock([this, callback = _NEFORCE move(callback), priority] {
448 return this->connect_impl(_NEFORCE move(callback), priority);
449 });
450 }
451
463 template <typename Self, typename MemFn, typename... Tag>
464 connection connect(Self self, MemFn memfn, int priority, Tag... tag) {
465 static_assert(sizeof...(Tag) <= 1, "only zero or one tag is allowed");
466
467 return this->with_lock([this, self = _NEFORCE move(self), memfn = _NEFORCE move(memfn), priority, tag...] {
468 connection conn{};
469
470 auto it = slots_.begin();
471 while (it != slots_.end() && it->priority >= priority) {
472 ++it;
473 }
474 slots_.emplace(it, this->bind(_NEFORCE move(self), memfn, tag...), conn.flag(), priority);
475
476 return conn;
477 });
478 }
479
487 void emit(Types... args) {
488 vector<slot_entry> snapshot;
489 {
490 lock<mutex> lk(mutex_);
491 if (is_blocked()) {
492 return;
493 }
494 snapshot = slots_;
495 }
496
497 for (auto& slot: snapshot) {
498 if (!slot.connected_flag || !(*slot.connected_flag)) {
499 continue;
500 }
501
502 const callback_result res = slot.callback(args...);
503 if (res == callback_result::erase) {
504 *slot.connected_flag = false;
505 }
506 }
507
508 {
509 lock<mutex> lk(mutex_);
510 slots_.erase(
511 _NEFORCE remove_if(slots_.begin(), slots_.end(),
512 [](const slot_entry& s) { return !s.connected_flag || !(*s.connected_flag); }),
513 slots_.end());
514 }
515 }
516
525 template <typename Executor>
526 void emit_executor(Executor& executor, Types... args) {
527 auto weak_flag = weak_ptr<bool>(blocked_flag_);
528 auto args_tuple = _NEFORCE make_tuple(_NEFORCE forward<Types>(args)...);
529
530 executor.post([this, weak_flag = _NEFORCE move(weak_flag), args_tuple = _NEFORCE move(args_tuple)]() mutable {
531 if (weak_flag.expired()) {
532 return;
533 }
534
535 _NEFORCE apply([this](auto&&... a) { this->emit(_NEFORCE forward<decltype(a)>(a)...); },
536 _NEFORCE move(args_tuple));
537 });
538 }
539
544 template <typename... Args>
545 void operator()(Args&&... args) {
546 this->emit(_NEFORCE forward<Args>(args)...);
547 }
548
553 this->with_lock([this] { slots_.clear(); });
554 }
555
564 connection connect_signal(signal& other, int priority = 0) {
565 return this->connect(
566 [other_ptr = &other](Types... args) {
567 other_ptr->emit(args...);
568 return callback_result::keep;
569 },
570 priority);
571 }
572
581 connection connect_signal(signal* other, int priority = 0) {
582 return this->connect(
583 [other](Types... args) {
584 if (other) {
585 other->emit(args...);
586 }
588 },
589 priority);
590 }
591
603 template <typename Func, typename Predicate>
604 connection connect_if(Func callback, Predicate pred, int priority = 0) {
605 using result_type = invoke_result_t<Predicate, Types...>;
606 static_assert(is_boolean_v<result_type>, "only boolean results are allowed");
607
608 return this->connect(
609 [callback = _NEFORCE move(callback), pred = _NEFORCE move(pred)](Types... args) mutable {
610 if (pred(args...)) {
611 callback(_NEFORCE forward<Types>(args)...);
612 }
614 },
615 priority);
616 }
617
631 template <typename Self, typename MemFn, typename Predicate, typename... Tag>
632 connection connect_if(Self self, MemFn memfn, Predicate pred, int priority, Tag... tag) {
633 using result_type = invoke_result_t<Predicate, Types...>;
634 static_assert(is_boolean_v<result_type>, "only boolean results are allowed");
635 static_assert(sizeof...(Tag) <= 1, "only zero or one tag is allowed");
636
637 auto bound = this->bind(_NEFORCE move(self), memfn, tag...);
638
639 return this->connect(
640 [bound = _NEFORCE move(bound), pred = _NEFORCE move(pred)](Types... args) mutable {
641 if (pred(args...)) {
642 return bound(_NEFORCE forward<Types>(args)...);
643 }
645 },
646 priority);
647 }
648
660 template <typename Func, typename Filter>
661 connection connect_filtered(Func callback, Filter filter, int priority = 0) {
662 return this->connect(
663 [callback = _NEFORCE move(callback), filter = _NEFORCE move(filter)](Types... args) mutable {
664 auto filtered = filter(args...);
665 if (filtered) {
666 auto filtered_tuple = _NEFORCE make_tuple(_NEFORCE move(*filtered));
667 _NEFORCE apply(
668 [&callback](auto&&... filtered_args) {
669 callback(_NEFORCE forward<decltype(filtered_args)>(filtered_args)...);
670 },
671 _NEFORCE move(filtered_tuple));
672 }
674 },
675 priority);
676 }
677
689 template <typename Func, typename Transform>
690 connection connect_transformed(Func callback, Transform transform, int priority = 0) {
691 static_assert(is_invocable_v<Transform, Types...>, "only function inputs are allowed");
692
693 return this->connect(
694 [callback = _NEFORCE move(callback), transform = _NEFORCE move(transform)](Types... args) mutable {
695 callback(transform(_NEFORCE forward<Types>(args)...));
696 return callback_result::keep;
697 },
698 priority);
699 }
700
705 shared_ptr<bool> block_flag() const noexcept { return blocked_flag_; }
706
711 bool is_blocked() const noexcept { return blocked_flag_ && *blocked_flag_; }
712
717 size_t slot_count() const noexcept {
718 return this->with_lock([this] { return slot_count_unlocked(); });
719 }
720
725 NEFORCE_NODISCARD bool empty() const noexcept {
726 return this->with_lock([this] { return slot_count_unlocked() == 0; });
727 }
728};
729 // Signals
731
732NEFORCE_END_NAMESPACE__
733#endif // NEFORCE_CORE_ASYNC_SIGNALS_HPP__
元组应用函数
连接句柄
bool connected() const noexcept
检查连接是否有效
connection()
默认构造函数,创建处于已连接状态的对象
void disconnect() noexcept
断开连接
shared_ptr< bool > flag() const noexcept
获取连接标志的内部指针
函数包装器主模板声明
锁管理器模板
非递归互斥锁
作用域连接
scoped_connection(connection conn) noexcept
从连接构造
connection release() noexcept
释放连接所有权
bool connected() const noexcept
检查连接是否有效
void disconnect() noexcept
手动断开连接
scoped_connection(scoped_connection &&other) noexcept
移动构造函数
scoped_connection & operator=(scoped_connection &&other) noexcept
移动赋值运算符
scoped_connection()=default
默认构造函数
~scoped_connection()
析构函数,自动断开连接
共享智能指针类模板
信号阻塞器
~signal_blocker()
析构函数,恢复原状态
void unblock() noexcept
手动解除阻塞
signal_blocker(signal< Types... > &sig) noexcept
构造函数,阻塞指定信号
动态大小数组容器
弱智能指针类模板
shared_ptr< T > lock() const noexcept
尝试获取共享智能指针
通用函数包装器
constexpr T && forward(remove_reference_t< T > &x) noexcept
完美转发左值
constexpr T * addressof(T &x) noexcept
获取对象的地址
constexpr bool is_boolean_v
is_boolean的便捷变量模板
constexpr iter_difference_t< Iterator > count(Iterator first, Iterator last, const T &value)
统计范围内等于指定值的元素数量
constexpr bool is_invocable_v
is_invocable的便捷变量模板
constexpr bool is_invocable_r_v
is_invocable_r的便捷变量模板
typename inner::__invoke_result_aux< F, Args... >::type invoke_result_t
invoke_result的便捷别名
constexpr Iterator remove_if(Iterator first, Iterator last, Predicate pred)
移除范围中满足谓词的元素
constexpr size_t erase(Container &cont, const U &value)
从容器中删除所有等于指定值的元素
enable_if_t<!is_unbounded_array_v< T > &&is_constructible_v< T, Args... >, shared_ptr< T > > make_shared(Args &&... args)
融合分配创建共享指针
constexpr Iterator2 move(Iterator1 first, Iterator1 last, Iterator2 result) noexcept(noexcept(inner::__move_aux(first, last, result)))
移动范围元素
nshot_t
多次连接标签
callback_result
回调结果枚举
constexpr oneshot_t oneshot
一次性连接标签实例
@ keep
保留回调
@ erase
调用后自动删除
int priority() noexcept
获取线程优先级
constexpr tuple< unwrap_ref_decay_t< Types >... > make_tuple(Types &&... args)
从参数创建元组
constexpr decltype(auto) apply(Func &&f, Tuple &&t) noexcept(inner::__apply_unpack_tuple< _NEFORCE is_nothrow_invocable, Func, Tuple >::value)
将元组元素解包作为参数调用函数
typename enable_if< Test, T >::type enable_if_t
enable_if的便捷别名
互斥锁
删除算法
一次性连接标签
信号类
connection connect_transformed(Func callback, Transform transform, int priority=0)
变换连接
void disconnect_all()
断开所有连接
connection connect_signal(signal &other, int priority=0)
连接另一个信号
void emit(Types... args)
触发信号
connection connect(Self self, MemFn memfn, int priority, Tag... tag)
连接成员函数
connection connect_filtered(Func callback, Filter filter, int priority=0)
过滤连接
bool is_blocked() const noexcept
检查信号是否被阻塞
shared_ptr< bool > block_flag() const noexcept
获取阻塞标志
bool empty() const noexcept
检查信号是否为空(无活跃槽)
connection connect_signal(signal *other, int priority=0)
连接另一个信号(指针版本)
size_t slot_count() const noexcept
获取活跃槽的数量
void operator()(Args &&... args)
函数调用操作符
connection connect_if(Self self, MemFn memfn, Predicate pred, int priority, Tag... tag)
条件连接(成员函数版本)
connection connect_if(Func callback, Predicate pred, int priority=0)
条件连接
connection connect(Func callback, int priority=0)
连接普通函数/lambda
void emit_executor(Executor &executor, Types... args)
执行器触发信号
connection connect(Self self, MemFn memfn, Tag... tag)
连接成员函数(默认优先级0)
动态大小数组容器
弱智能指针实现