|
5727 | 5727 | \pnum
|
5728 | 5728 | \throws
|
5729 | 5729 | \tcode{meta::exception} unless
|
| 5730 | +all of the following conditions are met: |
| 5731 | +\begin{itemize} |
| 5732 | +\item |
5730 | 5733 | \tcode{dealias(r)} is a reflection of a
|
5731 | 5734 | type,
|
5732 | 5735 | object,
|
|
5736 | 5739 | direct base class relationship, or
|
5737 | 5740 | data member description $(T, N, A, W, \mathit{NUA})$\iref{class.mem.general}
|
5738 | 5741 | where $W$ is not $\bot$.
|
| 5742 | +\item |
5739 | 5743 | If \tcode{dealias(r)} represents a type,
|
5740 | 5744 | then \tcode{is_complete_type(r)} is \tcode{true}.
|
| 5745 | +\end{itemize} |
5741 | 5746 | \end{itemdescr}
|
5742 | 5747 |
|
5743 | 5748 | \indexlibraryglobal{alignment_of}%
|
|
5774 | 5779 | \pnum
|
5775 | 5780 | \throws
|
5776 | 5781 | \tcode{meta::exception} unless
|
| 5782 | +all of the following conditions are met: |
| 5783 | +\begin{itemize} |
| 5784 | +\item |
5777 | 5785 | \tcode{dealias(r)} is a reflection of a
|
5778 | 5786 | type,
|
5779 | 5787 | object,
|
5780 | 5788 | variable of non-reference type,
|
5781 | 5789 | non-static data member that is not a bit-field,
|
5782 | 5790 | direct base class relationship, or
|
5783 | 5791 | data member description.
|
| 5792 | +\item |
5784 | 5793 | If \tcode{dealias(r)} represents a type,
|
5785 | 5794 | then \tcode{is_complete_type(r)} is \tcode{true}.
|
| 5795 | +\end{itemize} |
5786 | 5796 | \end{itemdescr}
|
5787 | 5797 |
|
5788 | 5798 | \indexlibraryglobal{bit_size_of}%
|
|
5812 | 5822 | \pnum
|
5813 | 5823 | \throws
|
5814 | 5824 | \tcode{meta::exception} unless
|
| 5825 | +all of the following conditions are met: |
| 5826 | +\begin{itemize} |
| 5827 | +\item |
5815 | 5828 | \tcode{dealias(r)} is a reflection of a
|
5816 | 5829 | type,
|
5817 | 5830 | object,
|
|
5821 | 5834 | unnamed bit-field,
|
5822 | 5835 | direct base class relationship, or
|
5823 | 5836 | data member description.
|
| 5837 | +\item |
5824 | 5838 | If \tcode{dealias(r)} represents a type $T$,
|
5825 | 5839 | there is a point within the evaluation context from which $T$ is not incomplete.
|
| 5840 | +\end{itemize} |
5826 | 5841 | \end{itemdescr}
|
5827 | 5842 |
|
5828 | 5843 | \rSec2[meta.reflection.extract]{Value extraction}
|
|
0 commit comments