|
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