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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
|
//===----------------------------------------------------------------------===//
//
// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
// See https://llvm.org/LICENSE.txt for license information.
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
//
//===----------------------------------------------------------------------===//
// UNSUPPORTED: c++03, c++11, c++14, c++17
// UNSUPPORTED: clang-17
// <utility>
// LWG-3382 NTTP for pair and array:
// Two values p1 and p2 of type pair<T, U> are template-argument-equivalent ([temp.type]) if and only if
// p1.first and p2.first are template-argument-equivalent and p1.second and p2.second are template-argument-equivalent.
#include <utility>
#include <type_traits>
int i = 0;
int j = 1;
namespace test_full_type {
template <class T, class U, std::pair<T, U> P>
struct test : std::false_type {};
template <>
struct test<int&, int, std::pair<int&, int>{i, 5}> : std::true_type {};
static_assert(!test<int*, int*, std::pair<int*, int*>{}>::value);
static_assert(!test<int*, int, std::pair<int*, int>{}>::value);
static_assert(!test<int&, int*, std::pair<int&, int*>{i, nullptr}>::value);
static_assert(!test<int&, int, std::pair<int&, int>{j, 0}>::value);
static_assert(!test<int&, int, std::pair<int&, int>{j, 5}>::value);
static_assert(!test<int&, int, std::pair<int&, int>{i, 0}>::value);
static_assert(!test<int&, unsigned int, std::pair<int&, unsigned int>{j, 0}>::value);
static_assert(test<int&, int, std::pair<int&, int>{i, 5}>::value);
} // namespace test_full_type
namespace test_ctad {
template <std::pair P>
struct test : std::false_type {};
template <>
struct test<std::pair<int&, int>{i, 10}> : std::true_type {};
static_assert(!test<std::pair<int*, int*>{}>::value);
static_assert(!test<std::pair<int*, int>{}>::value);
static_assert(!test<std::pair<int&, int*>{i, nullptr}>::value);
static_assert(!test<std::pair<int&, int>{j, 0}>::value);
static_assert(!test<std::pair<int&, int>{j, 10}>::value);
static_assert(!test<std::pair<int&, int>{i, 0}>::value);
static_assert(!test<std::pair<int&, unsigned int>{j, 0}>::value);
static_assert(test<std::pair<int&, int>{i, 10}>::value);
} // namespace test_ctad
namespace test_auto {
template <auto P>
struct test : std::false_type {};
template <>
struct test<std::pair<int&, int>{i, 15}> : std::true_type {};
static_assert(!test<std::pair<int*, int*>{}>::value);
static_assert(!test<std::pair<int*, int>{}>::value);
static_assert(!test<std::pair<int&, int*>{i, nullptr}>::value);
static_assert(!test<std::pair<int&, int>{j, 0}>::value);
static_assert(!test<std::pair<int&, int>{j, 15}>::value);
static_assert(!test<std::pair<int&, int>{i, 0}>::value);
static_assert(!test<std::pair<int&, unsigned int>{j, 0}>::value);
static_assert(test<std::pair<int&, int>{i, 15}>::value);
} // namespace test_auto
|
