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
|
// { dg-do compile { target c++20 } }
template<typename... Ts> struct are_same;
template<>
struct are_same<> {
static constexpr bool value = true;
};
template<typename T>
struct are_same<T> {
static constexpr bool value = true;
};
template<typename T, typename U, typename... Ts>
struct are_same<T, U, Ts...> {
static constexpr bool value =
__is_same_as(T, U) && are_same<U, Ts...>::value;
};
template<typename... Ts>
concept Same = are_same<Ts...>::value;
template<typename T>
concept Int = __is_same_as(T, int);
// NOTE: The use of Same is misleading; it constraints each T, not
// the pack of Ts.
template<Same... Ts> struct S1 { }; // requires (C<Ts> && ...)
S1<int, int, int> s1;
S1<int, int, bool> s2;
// // NOTE: The use of Same is misleading; it constraints each deduced
// // type, not the pack of Ts.
template<Same auto... Xs> struct S2 { }; // requires (C<X> && ...) with each X deduced
S2<true, true, true> s3;
S2<true, true, 'a'> s4; // OK
template<Int... Ts> struct S3 { }; // requires (C<Ts> && ...)
S3<int, int, char> x0; // { dg-error "template constraint failure" }
template<Int auto... Xs> struct S4 { }; // requires (C<X> && ...) with each X deduced
S4<0, 1, 2, 'a'> x1; // { dg-error "placeholder constraints not satisfied" }
|
