tmp/tmppi4fqd_u/{from.md → to.md}
RENAMED
|
@@ -21,13 +21,18 @@ namespace std {
|
|
| 21 |
template<class> class TQual, template<class> class UQual>
|
| 22 |
struct basic_common_reference<TTuple, UTuple, TQual, UQual>;
|
| 23 |
template<exposition onlyconceptnc{tuple-like} TTuple, exposition onlyconceptnc{tuple-like} UTuple>
|
| 24 |
struct common_type<TTuple, UTuple>;
|
| 25 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 26 |
// [tuple.creation], tuple creation functions
|
| 27 |
-
inline constexpr unspecified ignore;
|
| 28 |
-
|
| 29 |
template<class... TTypes>
|
| 30 |
constexpr tuple<unwrap_ref_decay_t<TTypes>...> make_tuple(TTypes&&...);
|
| 31 |
|
| 32 |
template<class... TTypes>
|
| 33 |
constexpr tuple<TTypes&&...> forward_as_tuple(TTypes&&...) noexcept;
|
|
@@ -38,11 +43,12 @@ namespace std {
|
|
| 38 |
template<exposition onlyconceptnc{tuple-like}... Tuples>
|
| 39 |
constexpr tuple<CTypes...> tuple_cat(Tuples&&...);
|
| 40 |
|
| 41 |
// [tuple.apply], calling a function with a tuple of arguments
|
| 42 |
template<class F, exposition onlyconceptnc{tuple-like} Tuple>
|
| 43 |
-
constexpr
|
|
|
|
| 44 |
|
| 45 |
template<class T, exposition onlyconceptnc{tuple-like} Tuple>
|
| 46 |
constexpr T make_from_tuple(Tuple&& t);
|
| 47 |
|
| 48 |
// [tuple.helper], tuple helper classes
|
|
@@ -56,11 +62,11 @@ namespace std {
|
|
| 56 |
|
| 57 |
template<size_t I, class... Types>
|
| 58 |
struct tuple_element<I, tuple<Types...>>;
|
| 59 |
|
| 60 |
template<size_t I, class T>
|
| 61 |
-
using tuple_element_t =
|
| 62 |
|
| 63 |
// [tuple.elem], element access
|
| 64 |
template<size_t I, class... Types>
|
| 65 |
constexpr tuple_element_t<I, tuple<Types...>>& get(tuple<Types...>&) noexcept;
|
| 66 |
template<size_t I, class... Types>
|
|
|
|
| 21 |
template<class> class TQual, template<class> class UQual>
|
| 22 |
struct basic_common_reference<TTuple, UTuple, TQual, UQual>;
|
| 23 |
template<exposition onlyconceptnc{tuple-like} TTuple, exposition onlyconceptnc{tuple-like} UTuple>
|
| 24 |
struct common_type<TTuple, UTuple>;
|
| 25 |
|
| 26 |
+
// ignore
|
| 27 |
+
struct ignore-type { // exposition only
|
| 28 |
+
constexpr const ignore-type&
|
| 29 |
+
operator=(const auto &) const noexcept { return *this; }
|
| 30 |
+
};
|
| 31 |
+
inline constexpr ignore-type ignore;
|
| 32 |
+
|
| 33 |
// [tuple.creation], tuple creation functions
|
|
|
|
|
|
|
| 34 |
template<class... TTypes>
|
| 35 |
constexpr tuple<unwrap_ref_decay_t<TTypes>...> make_tuple(TTypes&&...);
|
| 36 |
|
| 37 |
template<class... TTypes>
|
| 38 |
constexpr tuple<TTypes&&...> forward_as_tuple(TTypes&&...) noexcept;
|
|
|
|
| 43 |
template<exposition onlyconceptnc{tuple-like}... Tuples>
|
| 44 |
constexpr tuple<CTypes...> tuple_cat(Tuples&&...);
|
| 45 |
|
| 46 |
// [tuple.apply], calling a function with a tuple of arguments
|
| 47 |
template<class F, exposition onlyconceptnc{tuple-like} Tuple>
|
| 48 |
+
constexpr apply_result_t<F, Tuple> apply(F&& f, Tuple&& t)
|
| 49 |
+
noexcept(is_nothrow_applicable_v<F, Tuple>);
|
| 50 |
|
| 51 |
template<class T, exposition onlyconceptnc{tuple-like} Tuple>
|
| 52 |
constexpr T make_from_tuple(Tuple&& t);
|
| 53 |
|
| 54 |
// [tuple.helper], tuple helper classes
|
|
|
|
| 62 |
|
| 63 |
template<size_t I, class... Types>
|
| 64 |
struct tuple_element<I, tuple<Types...>>;
|
| 65 |
|
| 66 |
template<size_t I, class T>
|
| 67 |
+
using tuple_element_t = tuple_element<I, T>::type;
|
| 68 |
|
| 69 |
// [tuple.elem], element access
|
| 70 |
template<size_t I, class... Types>
|
| 71 |
constexpr tuple_element_t<I, tuple<Types...>>& get(tuple<Types...>&) noexcept;
|
| 72 |
template<size_t I, class... Types>
|