Partial Ordering of Class Template Partial Specializations
> partial_ordering_class_templates.cpp:
template<int n, int m>
struct A
{
static const int res = 0;
};
template<int n>
struct A<n, n>
{
static const int res = 1;
};
template<int n>
struct A<1, n>
{
static const int res = 2;
};
template<>
struct A<1, 1>
{
static const int res = 3;
};
template<int n, int m>
struct B
{
static const int res = 0;
};
template<>
struct B<1, 1>
{
static const int res = 3;
};
template<int n>
struct B<1, n>
{
static const int res = 2;
};
template<int n>
struct B<n, n>
{
static const int res = 1;
};
template<class T, class U>
struct C
{
static const int res = 0;
};
template<class T>
struct C<T *, T>
{
static const int res = 2;
};
template<class T, class U>
struct C<const T *, U>
{
static const int res = 3;
};
template<class T, class U>
struct C<T *, U>
{
static const int res = 1;
};
int main()
{
if (A<0, 1>::res != 0) return 1;
if (A<0, 0>::res != 1) return 1;
if (A<1, 2>::res != 2) return 1;
if (A<1, 1>::res != 3) return 1;
if (B<0, 1>::res != 0) return 1;
if (B<0, 0>::res != 1) return 1;
if (B<1, 2>::res != 2) return 1;
if (B<1, 1>::res != 3) return 1;
if (C<char , char>::res != 0) return 1;
if (C<char *, int>::res != 1) return 1;
if (C<char *, char>::res != 2) return 1;
if (C<const char *, int>::res != 3) return 1;
if (C<const char *, char>::res != 3) return 1;
return 0;
}
