Skip to content

Commit 8410aac

Browse files
authored
[tuple.helper] Paragraph 1 not universally true (#6777)
[tuple.helper] p1 defines a general requirement that all specializations of `tuple_size` shall meet the *Cpp17UnaryTypeTrait* requirements, but p4 actually defines a special situation where this requirement is not met ("Otherwise, it has no member value"). We have the same seemingly contradiction in [depr.tuple] p2. For clarity, we should point out that this provision is not universal.
1 parent 2055c2f commit 8410aac

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

source/utilities.tex

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -2730,7 +2730,8 @@
27302730

27312731
\begin{itemdescr}
27322732
\pnum
2733-
All specializations of \tcode{tuple_size} meet the
2733+
Except where specified otherwise,
2734+
all specializations of \tcode{tuple_size} meet the
27342735
\oldconcept{UnaryTypeTrait} requirements\iref{meta.rqmts} with a
27352736
base characteristic of \tcode{integral_constant<size_t, N>}
27362737
for some \tcode{N}.

0 commit comments

Comments
 (0)