Skip to content

Commit 6605484

Browse files
burblebeetkoeppe
authored andcommitted
LWG3466 Specify the requirements for promise/future/shared_future consistently
1 parent 308ae94 commit 6605484

File tree

1 file changed

+12
-0
lines changed

1 file changed

+12
-0
lines changed

source/threads.tex

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6150,6 +6150,10 @@
61506150
}
61516151
\end{codeblock}
61526152

6153+
\pnum
6154+
For the primary template, \tcode{R} shall be an object type that
6155+
meets the \oldconcept{Destructible} requirements.
6156+
61536157
\pnum
61546158
The implementation provides the template \tcode{promise} and two specializations,
61556159
\tcode{promise<R\&>} and \tcode{promise<\brk{}void>}. These differ only in the argument type
@@ -6494,6 +6498,10 @@
64946498
}
64956499
\end{codeblock}
64966500

6501+
\pnum
6502+
For the primary template, \tcode{R} shall be an object type that
6503+
meets the \oldconcept{Destructible} requirements.
6504+
64976505
\pnum
64986506
The implementation provides the template \tcode{future} and two specializations,
64996507
\tcode{future<R\&>} and \tcode{future<\brk{}void>}. These differ only in the return type and return
@@ -6794,6 +6802,10 @@
67946802
}
67956803
\end{codeblock}
67966804

6805+
\pnum
6806+
For the primary template, \tcode{R} shall be an object type that
6807+
meets the \oldconcept{Destructible} requirements.
6808+
67976809
\pnum
67986810
The implementation provides the template \tcode{shared_future} and two
67996811
specializations, \tcode{shared_future<R\&>} and \tcode{shared_future<void>}. These

0 commit comments

Comments
 (0)