| // RUN: %clang_cc1 -ast-print -std=c++14 %s -v -o %t.1.cpp |
| // RUN: %clang_cc1 -ast-print -std=c++14 %t.1.cpp -o %t.2.cpp |
| // RUN: diff %t.1.cpp %t.2.cpp |
| |
| // Specializations |
| |
| template<typename T> class C0 {}; |
| template<> class C0<long> {}; |
| template<> class C0<long*> {}; |
| C0<int> c0; |
| |
| template<int N> class C1 {}; |
| template<> class C1<11> {}; |
| C1<2> c1a; |
| C1<4> c1b; |
| |
| template<typename T> class C2a {}; |
| template<typename T> class C2b {}; |
| template<template<typename T> class TC> class C2 {}; |
| template<> class C2<C2a> {}; |
| C2<C2b> c2; |
| |
| |
| // Default arguments |
| |
| template<typename T = int> class C10 {}; |
| template<int N = 10> class C11 {}; |
| template<typename T, int N = 22> class C12a {}; |
| //FIXME: template<template<typename T, int N> class TC = C12a> class C12 {}; |
| //FIXME: template<template<typename T> class TC = C12a> class C13 {}; |
| |
| |
| // Partial specializations |
| |
| template<typename T, typename U> struct C20 { |
| T a; |
| U b; |
| }; |
| template<typename T> struct C20<T, int> { |
| T a; |
| }; |
| |
| template<int N, typename U> struct C21 { |
| U a; |
| U b[N]; |
| }; |
| template<int N> struct C21<N, int> { |
| int a[N]; |
| }; |
| |
| template<template<typename T2> class TC, typename U> struct C22 { |
| TC<U> a; |
| U b; |
| }; |
| template<template<typename T2> class TC> struct C22<TC, int> { |
| TC<int> a; |
| }; |
| |
| |
| // Declaration only |
| template<typename T> class C30; |
| template<> class C30<long>; |
| template<> class C30<long*>; |
| extern C30<int> c30; |