template<class, class>
struct A
{
    void fun(){}
};

template<class T>
struct A<T,int>
{
    void f(){}//Этот класс не имеет члена fun
};

void g()
{
   A<long, int>a;
   a.fun();//неверно
}

14.5.4.1
...
A partial specialization of a class template provides an alternative definition
of the template that is used instead of the primary definition when the arguments 
in a specialization match those given in the partial specialization...

template<class T>
class BB;

template<class A,class B=BB<A> >
class C
{
  //...
};

class X;

template<class B>
class C<X,B>
{
  //...
};

template<class A,class B=BB<A> >
class C
{
//...
};

class X
{
//...
};

template<X,class B=BB<X> >
class C<X,B>
{
//...
};

template<class B=BB<X> >
class C<X,B>
{
//...
};

MB>template<class A,class B=BB<A> >
MB>class C
MB>{
MB>//...
MB>};
MB>

MB>class X
MB>{
MB>//...
MB>};
MB>

MB>Я пытаюсь создать частичную специализацию шаблона, но не могу разобратьс с синтаксисом.

MB>template<X,class B=BB<X> >
MB>class C<X,B>
MB>{
MB>//...
MB>};
MB>

MB>template<class B=BB<X> >
MB>class C<X,B>
MB>{
MB>//...
MB>};
MB>

MB>или что-то в этом роде. Как писать правильно?

template<class B>
class C<X, B>
{
};

template<class B>
class C<X, BB<X> >
{
};

D>>template<>
D>>class C<X, BB<X> >
D>>{
D>>};
D>>

template<template<class T> class B>
class C<X, B<X> >
{
};

template<class T>
class BB
{
  //...
};

template<class A,class B=BB<A> >
class C
{
  //...
};

class X
{
  //...
};

//здесь специализация...

void main()
{
  C<X> c1;     // здесь...
  C<X,int> c2; // ...и здесь должна использоваться специализация

  С<char> c3;  // здесь...
  C<char,int>  // ...и здесь инстанцирование должно производиться из общего шаблона
}

#include <utility>
#include <iostream>


template<class o, class t>
class s : public std::pair<o,t>
{
public:
    void met1()
    {
        std::cout<< first / second << std::endl;
    }

    void met2()
    {
        std::cout<< "no no"  << std::endl;
    }
};

template<class o>
class s<o,long>  //  ms70 error C2065: 'o' : undeclared identifier 
{
public:
    void met2()
    {
        met1();
    }
};

int main()
{
    s<float,float> ok;
    ok.first = 20;
    ok.second = 7;

    s<long> ok2;
    ok2.first = 20;
    ok2.second = 7;

    ok.met2();
    ok2.met2();
}

Copyright 1988-2003 Comeau Computing. All rights reserved.

line 13: error: identifier "first" is undefined
std::cout<< first / second << std::endl;
^

line 13: error: identifier "second" is undefined
std::cout<< first / second << std::endl;
^

line 28: error: identifier "met1" is undefined
met1();
^

line 38: error: too few arguments for class template "s"
s<long> ok2;
^

#include <utility>
#include <iostream>




template<class o, class t>
class s : public std::pair<o,t>
{
public:
    void met1()
    {
        std::cout<< this->first / this->second << std::endl;
    }

    void met2()
    {
        std::cout<< "no no"  << std::endl;
    }
};

template<class o>
class s<o,long>
{
public:
    void met2()
    {
        this->met1();
    }
};

int main()
{
    s<long, long> ok2; //s<long> ok2 ? ; 
    ok2.first = 20;
    ok2.second = 7;
    
    ok2.met2();
}

Copyright 1988-2003 Comeau Computing. All rights reserved.

"ComeauTest.c", line 28: error: class template "s<o, long>" has no member "met1"
this->met1();
^

"ComeauTest.c", line 35: error: class "s<long, long>" has no member "first"
ok2.first = 20;
^

"ComeauTest.c", line 36: error: class "s<long, long>" has no member "second"
ok2.second = 7; ^