Skip to content

[basic.fundamental] Incomplete example of reflections #8261

@jakubjelinek

Description

@jakubjelinek

Filed this earlier as cplusplus/CWG#771 but it is editorial rather than core issue, so moving here:

https://eel.is/c++draft/basic#fundamental-17 lists 21 different cases, but the example below it only lists 18 cases from that, with alias template, annotation and function parameter reflection missing.

I think it would be useful to list in the example also the remaining 3 cases (if possible in the same order as the earlier list).
So, e.g. change

void fn();

to

[[=1]] void fn(int a);

and add

template<auto N> using TAlias = TCls<N>;

and add

constexpr auto r6 = std::meta::parameters_of(^^fn)[0];                                   // represents a function parameter

and

constexpr auto r8 = std::meta::annotations_of(^^fn)[0];                                  // represents an annotation

and

constexpr auto r17 = ^^TAlias;                                                                              // represents an alias template

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions