This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of WP status.

### 3528. `make_from_tuple` can perform (the equivalent of) a C-style cast

Section: 22.4.6 [tuple.apply] Status: WP Submitter: Tim Song Opened: 2021-02-28 Last modified: 2021-06-07

Priority: 3

View all issues with WP status.

Discussion:

`make_from_tuple` is specified to return `T(get<I>(std::forward<Tuple>(t))...)`. When there is only a single tuple element, this is equivalent to a C-style cast that may be a `reinterpret_cast`, a `const_cast`, or an access-bypassing `static_cast`.

[2021-03-12; Reflector poll]

Set priority to 3 following reflector poll. Set status to Tentatively Ready after five votes in favour during reflector poll.

[2021-06-07 Approved at June 2021 virtual plenary. Status changed: Voting → WP.]

Proposed resolution:

This wording is relative to N4878.

1. Edit 22.4.6 [tuple.apply] as indicated:

   >     template<class T, class Tuple>
   >       constexpr T make_from_tuple(Tuple&& t);

   > > […]

   > > -2- Effects: Given the exposition-only function:

   > > >     template<class T, class Tuple, size_t... I>
   > > >       requires is_constructible_v<T, decltype(get<I>(declval<Tuple>()))...>
   > > >     constexpr T make-from-tuple-impl(Tuple&& t, index_sequence<I...>) {     // exposition only
   > > >       return T(get<I>(std::forward<Tuple>(t))...);
   > > >     }

   > > Equivalent to:

   > > >     return make-from-tuple-impl<T>(
   > > >       std::forward<Tuple>(t),
   > > >       make_index_sequence<tuple_size_v<remove_reference_t<Tuple>>>{});

   > > [Note 1: The type of T must be supplied as an explicit template parameter, as it cannot be deduced from the argument list. — end note]