|
1904 | 1904 | \tcode{template<class... T>} \tcode{struct common_type;} |
1905 | 1905 | & |
1906 | 1906 | Unless this trait is specialized (as specified in Note B, below), |
1907 | | - the member \tcode{type} is defined or omitted as specified in Note A, below. |
| 1907 | + the member \tcode{type} is declared or omitted as specified in Note A, below. |
1908 | 1908 | If it is omitted, there shall be no member \tcode{type}. |
1909 | 1909 | Each type in the template parameter pack \tcode{T} shall be |
1910 | 1910 | complete, \cv{}~\keyword{void}, or an array of unknown bound. \\ \rowsep |
|
1922 | 1922 | \indexlibraryglobal{common_reference}% |
1923 | 1923 | \tcode{template<class... T>} \tcode{struct common_reference;} |
1924 | 1924 | & |
1925 | | - The member \grammarterm{typedef-name} \tcode{type} is defined or omitted |
| 1925 | + The member \grammarterm{typedef-name} \tcode{type} is declared or omitted |
1926 | 1926 | as specified in Note C, below. Each type in the parameter pack \tcode{T} shall |
1927 | 1927 | be complete or \cv{} \keyword{void}. \\ \rowsep |
1928 | 1928 |
|
|
2037 | 2037 | \pnum |
2038 | 2038 | Note A: |
2039 | 2039 | For the \tcode{common_type} trait applied to a template parameter pack \tcode{T} of types, |
2040 | | -the member \tcode{type} shall be either defined or not present as follows: |
| 2040 | +the member \tcode{type} shall be either declared or not present as follows: |
2041 | 2041 |
|
2042 | 2042 | \begin{itemize} |
2043 | 2043 | \item If \tcode{sizeof...(T)} is zero, there shall be no member \tcode{type}. |
|
2110 | 2110 |
|
2111 | 2111 | \pnum |
2112 | 2112 | Note C: For the \tcode{common_reference} trait applied to a parameter pack |
2113 | | -\tcode{T} of types, the member \tcode{type} shall be either defined or not |
| 2113 | +\tcode{T} of types, the member \tcode{type} shall be either declared or not |
2114 | 2114 | present as follows: |
2115 | 2115 | \begin{itemize} |
2116 | 2116 | \item If \tcode{sizeof...(T)} is zero, there shall be no member \tcode{type}. |
|
2180 | 2180 |
|
2181 | 2181 | \pnum |
2182 | 2182 | \begin{example} |
2183 | | -Given these definitions: |
| 2183 | +Given these declarations: |
2184 | 2184 | \begin{codeblock} |
2185 | 2185 | using PF1 = bool (&)(); |
2186 | 2186 | using PF2 = short (*)(long); |
|
0 commit comments