Skip to content

Commit 7a90fdd

Browse files
[tab:meta.trans.cv] Simplify wording for add_{const,volatile}
Wording about reference, function, or top-level cv-qualified types moves to notes, as it is redundant since at least C++11.
1 parent 7b8ac8f commit 7a90fdd

File tree

1 file changed

+12
-6
lines changed

1 file changed

+12
-6
lines changed

source/meta.tex

Lines changed: 12 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -1712,16 +1712,22 @@
17121712
\indexlibraryglobal{add_const}%
17131713
\tcode{template<class T>\br
17141714
struct add_const;} &
1715-
If \tcode{T} is a reference, function, or top-level const-qualified
1716-
type, then \tcode{type} denotes \tcode{T}, otherwise
1717-
\tcode{T const}. \\ \rowsep
1715+
The member typedef \tcode{type} denotes \tcode{const T}.
1716+
\begin{tailnote}
1717+
\keyword{const} has no effect when \tcode{T} is a reference, function, or
1718+
top-level const-qualified type.
1719+
\end{tailnote}
1720+
\\ \rowsep
17181721

17191722
\indexlibraryglobal{add_volatile}%
17201723
\tcode{template<class T>\br
17211724
struct add_volatile;} &
1722-
If \tcode{T} is a reference, function, or top-level volatile-qualified
1723-
type, then \tcode{type} denotes \tcode{T}, otherwise
1724-
\tcode{T volatile}. \\ \rowsep
1725+
The member typedef \tcode{type} denotes \tcode{volatile T}.
1726+
\begin{tailnote}
1727+
\keyword{volatile} has no effect when \tcode{T} is a reference, function, or
1728+
top-level volatile-qualified type.
1729+
\end{tailnote}
1730+
\\ \rowsep
17251731

17261732
\indexlibraryglobal{add_cv}%
17271733
\tcode{template<class T>\br

0 commit comments

Comments
 (0)