Как да проверя дали шаблонният параметър на функцията има определен тип?

Ако буквално просто искате булево значение, за да проверите дали T == A, тогава можете да използвате is_same, налично в C++11 като std::is_same или преди това в TR1 като std::tr1::is_same:

const bool T_is_A = std::is_same<T, A>::value;

Можете тривиално да напишете този малък клас сами:

template <typename, typename> struct is_same { static const bool value = false;};
template <typename T> struct is_same<T,T> { static const bool value = true;};

Често обаче може да откриете, че е по-удобно да опаковате своя разклоняващ се код в отделни класове или функции, които сте специализирали за A и B, тъй като това ще ви даде условие по време на компилиране. За разлика от това, проверката на if (T_is_A) може да се извърши само по време на изпълнение.

Създайте функционални шаблони със специализации, които ще направят това, което искате.

template <class T>
void doSomething() {}

template <>
void doSomething<A>() { /* actual code */ }

template <class T>
void doSomeOtherThing() {}

template <>
void doSomeOtherThing<B>() { /* actual code */ }

template <typename T>
void func(const T & t)
{
    ...........
    //check if T == A do something
    doSomething<T>();
    ...........
    //check if T == B do some other thing
    doSomeOtherThing<T>();
}

Ако искате да имате специална реализация на func за някакъв тип параметър, просто създайте претоварване, специфично за този тип:

template <typename T>
void func(const T & t) {
   // generic code
}

void func(const A & t) {
   // code for A
}