1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
|
// SPDX-FileCopyrightText: 2016 Kitsune Ral <Kitsune-Ral@users.sf.net>
// SPDX-License-Identifier: LGPL-2.1-or-later
#pragma once
#include "converters.h"
#include "function_traits.h"
#include "single_key_value.h"
namespace Quotient {
// === event_ptr_tt<> and basic type casting facilities ===
template <typename EventT>
using event_ptr_tt = std::unique_ptr<EventT>;
/// Unwrap a plain pointer from a smart pointer
template <typename EventT>
inline EventT* rawPtr(const event_ptr_tt<EventT>& ptr)
{
return ptr.get();
}
/// Unwrap a plain pointer and downcast it to the specified type
template <typename TargetEventT, typename EventT>
inline TargetEventT* weakPtrCast(const event_ptr_tt<EventT>& ptr)
{
return static_cast<TargetEventT*>(rawPtr(ptr));
}
// === Standard Matrix key names and basicEventJson() ===
constexpr auto TypeKeyL = "type"_ls;
constexpr auto BodyKeyL = "body"_ls;
constexpr auto ContentKeyL = "content"_ls;
constexpr auto EventIdKeyL = "event_id"_ls;
constexpr auto SenderKeyL = "sender"_ls;
constexpr auto RoomIdKeyL = "room_id"_ls;
constexpr auto UnsignedKeyL = "unsigned"_ls;
constexpr auto RedactedCauseKeyL = "redacted_because"_ls;
constexpr auto PrevContentKeyL = "prev_content"_ls;
constexpr auto StateKeyKeyL = "state_key"_ls;
const QString TypeKey { TypeKeyL };
const QString BodyKey { BodyKeyL };
const QString ContentKey { ContentKeyL };
const QString EventIdKey { EventIdKeyL };
const QString SenderKey { SenderKeyL };
const QString RoomIdKey { RoomIdKeyL };
const QString UnsignedKey { UnsignedKeyL };
const QString StateKeyKey { StateKeyKeyL };
using event_type_t = QLatin1String;
// TODO: Remove in 0.8
struct QUOTIENT_API EventTypeRegistry {
[[deprecated("event_type_t is a string since libQuotient 0.7, use it directly instead")]]
static QString getMatrixType(event_type_t typeId);
EventTypeRegistry() = delete;
~EventTypeRegistry() = default;
Q_DISABLE_COPY_MOVE(EventTypeRegistry)
};
// === EventMetaType ===
class Event;
// TODO: move over to std::derived_from<Event> once it's available everywhere
template <typename EventT, typename BaseEventT = Event>
concept EventClass = std::is_base_of_v<BaseEventT, EventT>;
template <EventClass EventT>
bool is(const Event& e);
//! \brief The base class for event metatypes
//!
//! You should not normally have to use this directly, unless you need to devise
//! a whole new kind of event metatypes.
class QUOTIENT_API AbstractEventMetaType {
public:
// The public fields here are const and are not to be changeable anyway.
// NOLINTBEGIN(misc-non-private-member-variables-in-classes)
const char* const className;
const event_type_t matrixId;
const AbstractEventMetaType* const baseType = nullptr;
// NOLINTEND(misc-non-private-member-variables-in-classes)
explicit AbstractEventMetaType(const char* className)
: className(className)
{}
explicit AbstractEventMetaType(const char* className, event_type_t matrixId,
AbstractEventMetaType& nearestBase)
: className(className), matrixId(matrixId), baseType(&nearestBase)
{
nearestBase.addDerived(this);
}
void addDerived(AbstractEventMetaType *newType);
virtual ~AbstractEventMetaType() = default;
protected:
// Allow template specialisations to call into one another
template <class EventT>
friend class EventMetaType;
// The returned value indicates whether a generic object has to be created
// on the top level when `event` is empty, instead of returning nullptr
virtual bool doLoadFrom(const QJsonObject& fullJson, const QString& type,
Event*& event) const = 0;
private:
std::vector<const AbstractEventMetaType*> derivedTypes{};
Q_DISABLE_COPY_MOVE(AbstractEventMetaType)
};
// Any event metatype is unique (note Q_DISABLE_COPY_MOVE above) so can be
// identified by its address
inline bool operator==(const AbstractEventMetaType& lhs,
const AbstractEventMetaType& rhs)
{
return &lhs == &rhs;
}
//! \brief A family of event meta-types to load and match events
//!
//! TL;DR for the loadFrom() story:
//! - for base event types, use QUO_BASE_EVENT and, if you have additional
//! validation (e.g., JSON has to contain a certain key - see StateEvent
//! for a real example), define it in the static EventT::isValid() member
//! function accepting QJsonObject and returning bool.
//! - for leaf (specific) event types - simply use QUO_EVENT and it will do
//! everything necessary, including the TypeId definition.
//! \sa QUO_EVENT, QUO_BASE_EVENT
template <class EventT>
class QUOTIENT_API EventMetaType : public AbstractEventMetaType {
// Above: can't constrain EventT to be EventClass because it's incomplete
// at the point of EventMetaType<EventT> instantiation.
public:
using AbstractEventMetaType::AbstractEventMetaType;
//! \brief Try to load an event from JSON, with dynamic type resolution
//!
//! The generic logic defined in this class template and invoked applies to
//! all event types defined in the library and boils down to the following:
//! 1.
//! a. If EventT has TypeId defined (which normally is a case of
//! all leaf - specific - event types, via QUO_EVENT macro) and
//! \p type doesn't exactly match it, nullptr is immediately returned.
//! b. In absence of TypeId, an event type is assumed to be a base;
//! its derivedTypes are examined, and this algorithm is applied
//! recursively on each.
//! 2. Optional validation: if EventT (or, due to the way inheritance works,
//! any of its base event types) has a static isValid() predicate and
//! the event JSON does not satisfy it, nullptr is immediately returned
//! to the upper level or to the loadFrom() caller. This is how existence
//! of `state_key` is checked in any type derived from StateEvent.
//! 3. If step 1b above returned non-nullptr, immediately return it.
//! 4.
//! a. If EventT::isValid() or EventT::TypeId (either, or both) exist and
//! are satisfied (see steps 1a and 2 above), an object of this type
//! is created from the passed JSON and returned. In case of a base
//! event type, this will be a generic (aka "unknown") event.
//! b. If neither exists, a generic event is only created and returned
//! when on the top level (i.e., outside of recursion into
//! derivedTypes); lower levels return nullptr instead and the type
//! lookup continues. The latter is a case of a derived base event
//! metatype (e.g. RoomEvent) called from its base event metatype
//! (i.e., Event). If no matching type derived from RoomEvent is found,
//! the nested lookup returns nullptr rather than a generic RoomEvent,
//! so that other types derived from Event could be examined.
event_ptr_tt<EventT> loadFrom(const QJsonObject& fullJson,
const QString& type) const
{
Event* event = nullptr;
const bool goodEnough = doLoadFrom(fullJson, type, event);
if (!event && goodEnough)
return event_ptr_tt<EventT>{ new EventT(fullJson) };
return event_ptr_tt<EventT>{ static_cast<EventT*>(event) };
}
private:
bool doLoadFrom(const QJsonObject& fullJson, const QString& type,
Event*& event) const override
{
if constexpr (requires { EventT::TypeId; }) {
if (EventT::TypeId != type)
return false;
} else {
for (const auto& p : derivedTypes) {
p->doLoadFrom(fullJson, type, event);
if (event) {
Q_ASSERT(is<EventT>(*event));
return false;
}
}
}
if constexpr (requires { EventT::isValid; }) {
if (!EventT::isValid(fullJson))
return false;
} else if constexpr (!requires { EventT::TypeId; })
return true; // Create a generic event object if on the top level
event = new EventT(fullJson);
return false;
}
};
// === Event creation facilities ===
//! \brief Create an event of arbitrary type from its arguments
//!
//! This should not be used to load events from JSON - use loadEvent() for that.
//! \sa loadEvent
template <EventClass EventT, typename... ArgTs>
inline event_ptr_tt<EventT> makeEvent(ArgTs&&... args)
{
return std::make_unique<EventT>(std::forward<ArgTs>(args)...);
}
template <EventClass EventT>
constexpr const auto& mostSpecificMetaType()
{
if constexpr (requires { EventT::MetaType; })
return EventT::MetaType;
else
return EventT::BaseMetaType;
}
//! \brief Create an event with proper type from a JSON object
//!
//! Use this factory template to detect the type from the JSON object
//! contents (the detected event type should derive from the template
//! parameter type) and create an event object of that type.
template <EventClass EventT>
inline event_ptr_tt<EventT> loadEvent(const QJsonObject& fullJson)
{
return mostSpecificMetaType<EventT>().loadFrom(
fullJson, fullJson[TypeKeyL].toString());
}
//! \brief Create an event from a type string and content JSON
//!
//! Use this template to resolve the C++ type from the Matrix type string in
//! \p matrixType and create an event of that type by passing all parameters
//! to BaseEventT::basicJson().
template <EventClass EventT>
inline event_ptr_tt<EventT> loadEvent(const QString& matrixType,
const auto&... otherBasicJsonParams)
{
return mostSpecificMetaType<EventT>().loadFrom(
EventT::basicJson(matrixType, otherBasicJsonParams...), matrixType);
}
template <EventClass EventT>
struct JsonConverter<event_ptr_tt<EventT>>
: JsonObjectUnpacker<event_ptr_tt<EventT>> {
// No dump() to avoid any ambiguity on whether a given export to JSON uses
// fullJson() or only contentJson()
using JsonObjectUnpacker<event_ptr_tt<EventT>>::load;
static auto load(const QJsonObject& jo)
{
return loadEvent<EventT>(jo);
}
};
// === Event ===
class QUOTIENT_API Event {
public:
using Type = event_type_t;
static inline EventMetaType<Event> BaseMetaType { "Event" };
virtual const AbstractEventMetaType& metaType() const
{
return BaseMetaType;
}
Q_DISABLE_COPY(Event)
Event(Event&&) noexcept = default;
Event& operator=(Event&&) = delete;
virtual ~Event();
/// Make a minimal correct Matrix event JSON
static QJsonObject basicJson(const QString& matrixType,
const QJsonObject& content)
{
return { { TypeKey, matrixType }, { ContentKey, content } };
}
//! \brief Event Matrix type, as identified by its metatype object
//!
//! For generic/unknown events it will contain a descriptive/generic string
//! defined by the respective base event type (that can be empty).
//! \sa matrixType
Type type() const { return metaType().matrixId; }
//! \brief Exact Matrix type stored in JSON
//!
//! Coincides with the result of type() (but is slower) for events defined
//! in C++ (not necessarily in the library); for generic/unknown events
//! the returned value will be different.
QString matrixType() const;
template <EventClass EventT>
bool is() const
{
return Quotient::is<EventT>(*this);
}
[[deprecated("Use fullJson() and stringify it with QJsonDocument::toJson() "
"or by other means")]]
QByteArray originalJson() const;
[[deprecated("Use fullJson() instead")]] //
QJsonObject originalJsonObject() const { return fullJson(); }
const QJsonObject& fullJson() const { return _json; }
// According to the CS API spec, every event also has
// a "content" object; but since its structure is different for
// different types, we're implementing it per-event type.
// NB: const return types below are meant to catch accidental attempts
// to change event JSON (e.g., consider contentJson()["inexistentKey"]).
const QJsonObject contentJson() const;
//! \brief Get a part of the content object, assuming a given type
//!
//! This retrieves the value under `content.<key>` from the event JSON and
//! then converts it to \p T using fromJson().
//! \sa contentJson, fromJson
template <typename T, typename KeyT>
const T contentPart(KeyT&& key) const
{
return fromJson<T>(contentJson()[std::forward<KeyT>(key)]);
}
template <typename T>
[[deprecated("Use contentPart() to get a part of the event content")]] //
T content(const QString& key) const
{
return contentPart<T>(key);
}
const QJsonObject unsignedJson() const;
//! \brief Get a part of the unsigned object, assuming a given type
//!
//! This retrieves the value under `unsigned.<key>` from the event JSON and
//! then converts it to \p T using fromJson().
//! \sa unsignedJson, fromJson
template <typename T, typename KeyT>
const T unsignedPart(KeyT&& key) const
{
return fromJson<T>(unsignedJson()[std::forward<KeyT>(key)]);
}
friend QUOTIENT_API QDebug operator<<(QDebug dbg, const Event& e)
{
QDebugStateSaver _dss { dbg };
dbg.noquote().nospace()
<< e.matrixType() << '(' << e.metaType().className << "): ";
e.dumpTo(dbg);
return dbg;
}
// State events are quite special in Matrix; so isStateEvent() is here,
// as an exception. For other base events, Event::is<>() and
// Quotient::is<>() should be used; don't add is* methods here
bool isStateEvent() const;
[[deprecated("Use is<CallEvent>() instead")]] bool isCallEvent() const;
protected:
friend class EventMetaType<Event>; // To access the below constructor
explicit Event(const QJsonObject& json);
QJsonObject& editJson() { return _json; }
virtual void dumpTo(QDebug dbg) const;
private:
QJsonObject _json;
};
using EventPtr = event_ptr_tt<Event>;
template <EventClass EventT>
using EventsArray = std::vector<event_ptr_tt<EventT>>;
using Events = EventsArray<Event>;
// === Facilities for event class definitions ===
//! \brief A template base class to derive your event type from
//!
//! This simple class template generates commonly used event constructor
//! signatures and the content() method with the appropriate return type.
//! The generic version here is only used with non-trivial \p ContentT (if you
//! don't need to create an event from its content structure, just go and derive
//! straight from the respective \p EventBaseT instead of using EventTemplate);
//! specialisations may override that and provide useful semantics even without
//! \p ContentT (see EventTemplate<CallEvent>, e.g.).
//!
//! The template uses CRTP to pick the event type id from the actual class;
//! it will fail to compile if \p EventT doesn't provide TypeId. It also uses
//! the base event type's basicJson(); if you need extra keys to be inserted
//! you may want to bypass this template as writing the code to that effect in
//! your class will likely be clearer and more concise.
//! \sa https://en.wikipedia.org/wiki/Curiously_recurring_template_pattern
//! \sa DEFINE_SIMPLE_EVENT
template <typename EventT, EventClass BaseEventT, typename ContentT = void>
class EventTemplate : public BaseEventT {
// Above: can't constrain EventT to be EventClass because it's incomplete
// by CRTP definition.
public:
static_assert(
!std::is_same_v<ContentT, void>,
"If you see this, you tried to use EventTemplate with the default"
" ContentT type, which is void. This default is only used with explicit"
" specialisations (see CallEvent, e.g.). Otherwise, if you don't intend"
" to use the content part of EventTemplate then you don't need"
" EventTemplate; just use the base event class directly");
using content_type = ContentT;
explicit EventTemplate(const QJsonObject& json)
: BaseEventT(json)
{}
explicit EventTemplate(const ContentT& c)
: BaseEventT(EventT::basicJson(EventT::TypeId, toJson(c)))
{}
ContentT content() const { return fromJson<ContentT>(this->contentJson()); }
};
//! \brief Supply event metatype information in base event types
//!
//! Use this macro in a public section of your base event class to provide
//! type identity and enable dynamic loading of generic events of that type.
//! Do _not_ add this macro if your class is an intermediate wrapper and is not
//! supposed to be instantiated on its own. Provides BaseMetaType static field
//! initialised by parameters passed to the macro, and a metaType() override
//! pointing to that BaseMetaType.
//! \sa EventMetaType, EventMetaType::SuppressLoadDerived
#define QUO_BASE_EVENT(CppType_, ...) \
friend class EventMetaType<CppType_>; \
static inline EventMetaType<CppType_> BaseMetaType{ \
#CppType_ __VA_OPT__(,) __VA_ARGS__ }; \
const AbstractEventMetaType& metaType() const override \
{ \
return BaseMetaType; \
} \
// End of macro
//! Supply event metatype information in (specific) event types
//!
//! Use this macro in a public section of your event class to provide type
//! identity and enable dynamic loading of generic events of that type.
//! Do _not_ use this macro if your class is an intermediate wrapper and is not
//! supposed to be instantiated on its own. Provides MetaType static field
//! initialised as described below; a metaType() override pointing to it; and
//! the TypeId static field that is equal to MetaType.matrixId.
//!
//! The first two macro parameters are used as the first two EventMetaType
//! constructor parameters; the third EventMetaType parameter is always
//! BaseMetaType; and additional base types can be passed in extra macro
//! parameters if you need to include the same event type in more than one
//! event factory hierarchy (e.g., EncryptedEvent).
//! \sa EventMetaType
#define QUO_EVENT(CppType_, MatrixType_, ...) \
static inline const auto& TypeId = MatrixType_##_ls; \
friend class EventMetaType<CppType_>; \
static inline const EventMetaType<CppType_> MetaType{ \
#CppType_, TypeId, BaseMetaType __VA_OPT__(,) __VA_ARGS__ \
}; \
const AbstractEventMetaType& metaType() const override \
{ \
return MetaType; \
} \
[[deprecated("Use " #CppType_ "::TypeId directly instead")]] \
static constexpr const char* matrixTypeId() { return MatrixType_; } \
[[deprecated("Use " #CppType_ "::TypeId directly instead")]] \
static event_type_t typeId() { return TypeId; } \
// End of macro
//! \deprecated This is the old name for what is now known as QUO_EVENT
#define DEFINE_EVENT_TYPEID(Type_, Id_) QUO_EVENT(Type_, Id_)
#define QUO_CONTENT_GETTER_X(PartType_, PartName_, JsonKey_) \
PartType_ PartName_() const \
{ \
static const auto PartName_##JsonKey = JsonKey_; \
return contentPart<PartType_>(PartName_##JsonKey); \
}
//! \brief Define an inline method obtaining a content part
//!
//! This macro adds a const method that extracts a JSON value at the key
//! <tt>toSnakeCase(PartName_)</tt> (sic) and converts it to the type
//! \p PartType_. Effectively, the generated method is an equivalent of
//! \code
//! contentPart<PartType_>(Quotient::toSnakeCase(#PartName_##_ls));
//! \endcode
#define QUO_CONTENT_GETTER(PartType_, PartName_) \
QUO_CONTENT_GETTER_X(PartType_, PartName_, toSnakeCase(#PartName_##_ls))
//! \deprecated This macro was used after an event class definition
//! to enable its dynamic loading; it is completely superseded by QUO_EVENT
#define REGISTER_EVENT_TYPE(Type_)
/// \brief Define a new event class with a single key-value pair in the content
///
/// This macro defines a new event class \p Name_ derived from \p Base_,
/// with Matrix event type \p TypeId_, providing a getter named \p GetterName_
/// for a single value of type \p ValueType_ inside the event content.
/// To retrieve the value the getter uses a JSON key name that corresponds to
/// its own (getter's) name but written in snake_case. \p GetterName_ must be
/// in camelCase, no quotes (an identifier, not a literal).
#define DEFINE_SIMPLE_EVENT(Name_, Base_, TypeId_, ValueType_, GetterName_, \
JsonKey_) \
constexpr auto Name_##ContentKey = JsonKey_##_ls; \
class QUOTIENT_API Name_ \
: public EventTemplate< \
Name_, Base_, \
EventContent::SingleKeyValue<ValueType_, Name_##ContentKey>> { \
public: \
QUO_EVENT(Name_, TypeId_) \
using value_type = ValueType_; \
using EventTemplate::EventTemplate; \
QUO_CONTENT_GETTER_X(ValueType_, GetterName_, Name_##ContentKey) \
}; \
// End of macro
// === is<>(), eventCast<>() and switchOnType<>() ===
template <EventClass EventT>
inline bool is(const Event& e)
{
if constexpr (requires { EventT::MetaType; }) {
return &e.metaType() == &EventT::MetaType;
} else {
const auto* p = &e.metaType();
do {
if (p == &EventT::BaseMetaType)
return true;
} while ((p = p->baseType) != nullptr);
return false;
}
}
//! \brief Cast the event pointer down in a type-safe way
//!
//! Checks that the event \p eptr points to actually is of the requested type
//! and returns a (plain) pointer to the event downcast to that type. \p eptr
//! can be either "dumb" (BaseEventT*) or "smart" (`event_ptr_tt<>`). This
//! overload doesn't affect the event ownership - if the original pointer owns
//! the event it must outlive the downcast pointer to keep it from dangling.
template <EventClass EventT, typename BasePtrT>
inline auto eventCast(const BasePtrT& eptr)
-> decltype(static_cast<EventT*>(&*eptr))
{
return eptr && is<std::decay_t<EventT>>(*eptr)
? static_cast<EventT*>(&*eptr)
: nullptr;
}
//! \brief Cast the event pointer down in a type-safe way, with moving
//!
//! Checks that the event \p eptr points to actually is of the requested type;
//! if (and only if) it is, releases the pointer, downcasts it to the requested
//! event type and returns a new smart pointer wrapping the downcast one.
//! Unlike the non-moving eventCast() overload, this one only accepts a smart
//! pointer, and that smart pointer should be an rvalue (either a temporary,
//! or as a result of std::move()). The ownership, respectively, is transferred
//! to the new pointer; the original smart pointer is reset to nullptr, as is
//! normal for `unique_ptr<>::release()`.
//! \note If \p eptr's event type does not match \p EventT it retains ownership
//! after calling this overload; if it is a temporary, this normally
//! leads to the event getting deleted along with the end of
//! the temporary's lifetime.
template <EventClass EventT, typename BaseEventT>
inline auto eventCast(event_ptr_tt<BaseEventT>&& eptr)
{
return eptr && is<std::decay_t<EventT>>(*eptr)
? event_ptr_tt<EventT>(static_cast<EventT*>(eptr.release()))
: nullptr;
}
namespace _impl {
template <typename FnT, typename BaseT>
concept Invocable_With_Downcast = requires
{
requires EventClass<BaseT>;
std::is_base_of_v<BaseT, std::remove_cvref_t<fn_arg_t<FnT>>>;
};
}
template <EventClass BaseT, typename TailT>
inline auto switchOnType(const BaseT& event, TailT&& tail)
{
if constexpr (std::is_invocable_v<TailT, BaseT>) {
return tail(event);
} else if constexpr (_impl::Invocable_With_Downcast<TailT, BaseT>) {
using event_type = fn_arg_t<TailT>;
if (is<std::decay_t<event_type>>(event))
return tail(static_cast<event_type>(event));
return std::invoke_result_t<TailT, event_type>(); // Default-constructed
} else { // Treat it as a value to return
return std::forward<TailT>(tail);
}
}
template <EventClass BaseT, typename FnT1, typename... FnTs>
inline auto switchOnType(const BaseT& event, FnT1&& fn1, FnTs&&... fns)
{
using event_type1 = fn_arg_t<FnT1>;
if (is<std::decay_t<event_type1>>(event))
return fn1(static_cast<event_type1>(event));
return switchOnType(event, std::forward<FnTs>(fns)...);
}
template <EventClass BaseT, typename... FnTs>
[[deprecated("The new name for visit() is switchOnType()")]] //
inline auto visit(const BaseT& event, FnTs&&... fns)
{
return switchOnType(event, std::forward<FnTs>(fns)...);
}
// A facility overload that calls void-returning switchOnType() on each event
// over a range of event pointers
// TODO: replace with ranges::for_each once all standard libraries have it
template <typename RangeT, typename... FnTs>
inline auto visitEach(RangeT&& events, FnTs&&... fns)
requires std::is_void_v<
decltype(switchOnType(**begin(events), std::forward<FnTs>(fns)...))>
{
for (auto&& evtPtr: events)
switchOnType(*evtPtr, std::forward<FnTs>(fns)...);
}
} // namespace Quotient
Q_DECLARE_METATYPE(Quotient::Event*)
Q_DECLARE_METATYPE(const Quotient::Event*)
|