blob: 312760a37676075b72081ec446fc71f5357504d1 (
plain)
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++11 } }
template<typename _Tp, _Tp v>
struct A3
{
typedef _Tp value_type;
typedef A3<value_type,v> type;
static constexpr value_type value = v;
constexpr operator value_type() { return value; }
};
// Partial specialization.
template<typename _Tp, _Tp v>
struct A3<_Tp*, v>
{
typedef _Tp* value_type;
typedef A3<value_type,v> type;
static constexpr value_type value = v;
constexpr operator value_type() { return value; }
};
// Explicit specialization.
template<>
struct A3<unsigned short, 0>
{
typedef unsigned short value_type;
typedef A3<value_type, 0> type;
static constexpr value_type value = 0;
constexpr operator value_type() { return value; }
};
// Explicitly instantiate.
template struct A3<int, 415>;
// Extern explicitly instantiate.
extern template struct A3<int, 510>;
// Use.
A3<int, 1111> a31;
A3<char, 9999> a32; // { dg-warning "overflow" }
|