typename-specifier-3.cpp source code [clang_source_code/test/SemaTemplate/typename-specifier-3.cpp]

1	// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3	// PR4364
4	template<class T> struct a { // expected-note {{here}}
5	T b() {
6	return typename T::x();
7	}
8	};
9	struct B {
10	typedef B x;
11	};
12	B c() {
13	a<B> x;
14	return x.b();
15	}
16
17	// Some extra tests for invalid cases
18	template<class T> struct test2 { T b() { return typename T::a; } }; // expected-error{{expected '(' for function-style cast or type construction}}
19	template<class T> struct test3 { T b() { return typename a; } }; // expected-error{{expected a qualified name after 'typename'}}
20	template<class T> struct test4 { T b() { return typename ::a; } }; // expected-error{{refers to non-type member}} expected-error{{expected '(' for function-style cast or type construction}}
21
22	// PR12884
23	namespace PR12884_original {
24	template <typename T> struct A {
25	struct B {
26	template <typename U> struct X {};
27	typedef int arg;
28	};
29	struct C {
30	typedef B::X<typename B::arg> x; // expected-error {{missing 'typename'}}
31	};
32	};
33
34	template <> struct A<int>::B {
35	template <int N> struct X {};
36	static const int arg = 0;
37	};
38
39	A<int>::C::x a;
40	}
41	namespace PR12884_half_fixed {
42	template <typename T> struct A {
43	struct B {
44	template <typename U> struct X {};
45	typedef int arg;
46	};
47	struct C {
48	typedef typename B::X<typename B::arg> x; // expected-error {{use 'template'}} expected-error {{refers to non-type}}
49	};
50	};
51
52	template <> struct A<int>::B {
53	template <int N> struct X {};
54	static const int arg = 0; // expected-note {{here}}
55	};
56
57	A<int>::C::x a; // expected-note {{here}}
58	}
59	namespace PR12884_fixed {
60	template <typename T> struct A {
61	struct B {
62	template <typename U> struct X {};
63	typedef int arg;
64	};
65	struct C {
66	typedef typename B::template X<B::arg> x;
67	};
68	};
69
70	template <> struct A<int>::B {
71	template <int N> struct X {};
72	static const int arg = 0;
73	};
74
75	A<int>::C::x a; // ok
76	}
77

Clang Project