blob: 34c3710e04c5b860531ef7253761fa8759f0a815 (
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
47
48
49
50
51
52
53
54
55
56
|
// RUN: %clang_cc1 -fsyntax-only -verify %s
template<typename T>
struct X0 {
void f();
template<typename U>
void g(U);
struct Nested {
};
static T member;
};
int &use_X0_int(X0<int> x0i, // expected-note{{implicit instantiation first required here}}
int i) {
x0i.f(); // expected-note{{implicit instantiation first required here}}
x0i.g(i); // expected-note{{implicit instantiation first required here}}
X0<int>::Nested nested; // expected-note{{implicit instantiation first required here}}
return X0<int>::member; // expected-note{{implicit instantiation first required here}}
}
template<>
void X0<int>::f() { // expected-error{{after instantiation}}
}
template<> template<>
void X0<int>::g(int) { // expected-error{{after instantiation}}
}
template<>
struct X0<int>::Nested { }; // expected-error{{after instantiation}}
template<>
int X0<int>::member = 17; // expected-error{{after instantiation}}
template<>
struct X0<int> { }; // expected-error{{after instantiation}}
// Example from the standard
template<class T> class Array { /* ... */ };
template<class T> void sort(Array<T>& v) { /* ... */ }
struct String {};
void f(Array<String>& v) {
sort(v); // expected-note{{required}}
// use primary template
// sort(Array<T>&), T is String
}
template<> void sort<String>(Array<String>& v); // // expected-error{{after instantiation}}
template<> void sort<>(Array<char*>& v); // OK: sort<char*> not yet used
|
