Skip to content

Commit 7e73d41

Browse files
committed
LWG4442 Clarify expr and fn for meta::reflect_object and meta::reflect_function
Fixes US 230-360 (C++26 CD).
1 parent d862d34 commit 7e73d41

File tree

1 file changed

+10
-6
lines changed

1 file changed

+10
-6
lines changed

source/meta.tex

Lines changed: 10 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -6419,9 +6419,11 @@
64196419

64206420
\pnum
64216421
\throws
6422-
\tcode{meta::exception} unless
6423-
\tcode{expr} is suitable for use as a constant template argument
6424-
for a constant template parameter of type \tcode{T\&}\iref{temp.arg.nontype}.
6422+
\tcode{meta::exception} if
6423+
\tcode{E} is not suitable for use as a constant template argument
6424+
for a constant template parameter of type \tcode{T\&}\iref{temp.arg.nontype},
6425+
where \tcode{E} is an lvalue constant expression that
6426+
computes the object that \tcode{expr} refers to.
64256427
\end{itemdescr}
64266428

64276429
\indexlibraryglobal{reflect_function}%
@@ -6441,9 +6443,11 @@
64416443

64426444
\pnum
64436445
\throws
6444-
\tcode{meta::exception} unless
6445-
\tcode{fn} is suitable for use as a constant template argument
6446-
for a constant template parameter of type \tcode{T\&}\iref{temp.arg.nontype}.
6446+
\tcode{meta::exception} if
6447+
\tcode{F} is not suitable for use as a constant template argument
6448+
for a constant template parameter of type \tcode{T\&}\iref{temp.arg.nontype},
6449+
where \tcode{F} is an lvalue constant expression that
6450+
computes the function that \tcode{fn} refers to.
64476451
\end{itemdescr}
64486452

64496453
\rSec2[meta.reflection.define.aggregate]{Reflection class definition generation}

0 commit comments

Comments
 (0)