instantiate-template-template-parm.cpp source code [clang_source_code/test/SemaTemplate/instantiate-template-template-parm.cpp]

1	// RUN: %clang_cc1 -fsyntax-only -verify %s
2	template<template<typename T> class MetaFun, typename Value>
3	struct apply {
4	typedef typename MetaFun<Value>::type type;
5	};
6
7	template<class T>
8	struct add_pointer {
9	typedef T* type;
10	};
11
12	template<class T>
13	struct add_reference {
14	typedef T& type;
15	};
16
17	int i;
18	apply<add_pointer, int>::type ip = &i;
19	apply<add_reference, int>::type ir = i;
20	apply<add_reference, float>::type fr = i; // expected-error{{non-const lvalue reference to type 'float' cannot bind to a value of unrelated type 'int'}}
21
22	// Template template parameters
23	template<int> struct B; // expected-note{{has a different type 'int'}}
24
25	template<typename T,
26	template<T Value> class X> // expected-error{{cannot have type 'float'}} \
27	// expected-note{{with type 'long'}}
28	struct X0 { };
29
30	X0<int, B> x0b1;
31	X0<float, B> x0b2; // expected-note{{while substituting}}
32	X0<long, B> x0b3; // expected-error{{template template argument has different template parameters}}
33
34	template<template<int V> class TT> // expected-note{{parameter with type 'int'}}
35	struct X1 { };
36
37	template<typename T, template<T V> class TT>
38	struct X2 {
39	X1<TT> x1; // expected-error{{has different template parameters}}
40	};
41
42	template<int V> struct X3i { };
43	template<long V> struct X3l { }; // expected-note{{different type 'long'}}
44
45	X2<int, X3i> x2okay;
46	X2<long, X3l> x2bad; // expected-note{{instantiation}}
47
48	template <typename T, template <T, T> class TT, class R = TT<1, 2> >
49	struct Comp {
50	typedef R r1;
51	template <T x, T y> struct gt {
52	static const bool result = x > y;
53	};
54	typedef gt<2, 1> r2;
55	};
56
57	template <int x, int y> struct lt {
58	static const bool result = x < y;
59	};
60
61	Comp<int, lt> c0;
62
63	namespace PR8629 {
64	template<template<int> class TT> struct X0
65	{
66	static void apply();
67	};
68	template<int> struct Type { };
69
70	template<class T> struct X1
71	{
72	template<class U> struct Inner;
73
74	template<class U> void g()
75	{
76	typedef Inner<U> Init;
77	X0<Init::template VeryInner>::apply();
78	}
79	template<int N> void f ()
80	{
81	g<Type<N> >();
82	}
83	};
84	template<class T> template<class U> struct X1<T>::Inner
85	{
86	template<int> struct VeryInner {
87	};
88	};
89	struct X1Container
90	{
91	X1Container()
92	{
93	simplex_.f<0>();
94	}
95	X1<double> simplex_;
96	};
97	}
98

Clang Project