1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
// { dg-do compile { target c++17 } }
// LWG 3528. make_from_tuple can perform (the equivalent of) a C-style cast
#include <tuple>
#include <array>
#include <utility>
template<typename T, typename Tuple>
using make_t = decltype(std::make_from_tuple<T>(std::declval<Tuple>()));
template<typename T, typename Tuple, typename = void>
constexpr bool can_make = false;
template<typename T, typename Tuple>
constexpr bool can_make<T, Tuple, std::void_t<make_t<T, Tuple>>> = true;
static_assert( can_make<int, std::tuple<int>> );
static_assert( can_make<int, std::tuple<int>&> );
static_assert( can_make<int, const std::tuple<int>&> );
static_assert( can_make<int, std::array<short, 1>> );
static_assert( can_make<int, const std::array<short, 1>&&> );
static_assert( can_make<std::tuple<int, int>, std::pair<unsigned, long>> );
static_assert( can_make<std::pair<int, int>, std::array<int, 2>> );
static_assert( can_make<const int*, std::tuple<int*>> );
static_assert( can_make<void*, std::tuple<int*>> );
static_assert( can_make<int, std::tuple<>> );
static_assert( ! can_make<int, std::tuple<int, int>> );
static_assert( ! can_make<int, std::pair<short, char>> );
static_assert( ! can_make<int, std::pair<short, char>&> );
static_assert( ! can_make<int, std::tuple<const char*>> );
static_assert( ! can_make<int*, std::tuple<const int*>> );
static_assert( ! can_make<int*, std::tuple<void*>> );
static_assert( ! can_make<int, std::array<int, 2>> );
static_assert( ! can_make<void, std::tuple<>> );
static_assert( ! can_make<void, std::array<int, 1>> );
struct Two
{
Two(const char*, int);
};
static_assert( can_make<Two, std::tuple<char*, unsigned>> );
static_assert( ! can_make<Two, std::tuple<const char*, int, int>> );
static_assert( can_make<Two, std::pair<const char*, long>> );
static_assert( ! can_make<Two, std::pair<int*, long>> );
static_assert( ! can_make<std::pair<int, int>, std::array<int, 3>> );
|