class-template-spec.cpp [plain text]
template<typename T, typename U = int> struct A;
template<> struct A<double, double>;
template<> struct A<float, float> { int x;
};
template<> struct A<float> { int y;
};
int test_specs(A<float, float> *a1, A<float, int> *a2) {
return a1->x + a2->y;
}
int test_incomplete_specs(A<double, double> *a1,
A<double> *a2)
{
(void)a1->x; (void)a2->x; }
typedef float FLOAT;
template<> struct A<float, FLOAT>;
template<> struct A<FLOAT, float> { };
template<> struct A<float, int> { };
template<typename T, typename U = int> struct X;
template <> struct X<int, int> { int foo(); }; template <> struct X<float> { int bar(); };
typedef int int_type;
void testme(X<int_type> *x1, X<float, int> *x2) {
(void)x1->foo(); (void)x2->bar(); }
template<>
struct A<char> {
A();
};
A<char>::A() { }
namespace N{
template<typename T> struct A0;
}
namespace N {
template<>
struct A0<void> {
typedef void* pointer;
};
}
namespace N {
template<typename T>
struct A0 {
void foo(A0<void>::pointer p = 0);
};
}
struct A<double> { };
template<> struct ::A<double>;
namespace N {
template<typename T> struct B;
template<> struct ::N::B<char>; template<> struct ::N::B<short>; template<> struct ::N::B<int>;
int f(int);
}
template<> struct N::B<int> { };
template<> struct N::B<float> { };
namespace M {
template<> struct ::N::B<short> { };
template<> struct ::A<long double>; }
template<> struct N::B<char> {
int testf(int x) { return f(x); }
};
template <typename T> class Foo;
Foo<int>* v;
Foo<int>& F() { return *v; }
template <typename T> class Foo {};
Foo<int> x;
template<template<class T> class Wibble>
class Wibble<int> { };
namespace rdar9676205 {
template<typename T>
struct X {
template<typename U>
struct X<U*> { };
};
}