Extensions for reflection
| Concepts |
| | | |
| Meta-object operations |
Object |
|
|
|
|
ObjectSequence |
|
|
|
Named |
|
|
|
Alias |
|
Type |
|
|
|
|
|
ScopeMember |
|
|
RecordMember and Base |
|
|
|
Record |
|
|
|
|
|
|
|
Enum |
|
|
|
|
Variable |
|
|
FunctionParameter |
|
Callable |
|
|
|
|
Variable and Callable |
|
Namespace and Callable |
|
ParenthesizedExpression |
|
FunctionCallExpression |
|
FunctionalConversion |
|
Variable and Function |
|
|
MemberFunction |
|
|
|
|
|
|
|
Record and MemberFunction |
|
Variable and MemberFunction |
|
Lambda |
|
|
|
LambdaCapture |
|
|
|
| |
|
|
| template< class T > concept ScopeMember = Named<T> && /* see below */;
|
|
(reflection TS) |
| | |
The ScopeMember concept is satisfied if and only if T satisfies RecordMember, Enumerator, or Variable, or if T reflects a namespace that is not the global namespace (Note: The scope of members of an unnamed union is the unnamed union; the scope of enumerators is their type).
Example
| This section is incomplete
Reason: examples |
See also
| This section is incomplete
Reason: templatization |