SFINAE para verificar funções membro herdadas

Usando o SFINAE, eupode detectar Se uma dada classe tem uma certa função de membro. Mas e se eu quiser testar as funções de membro herdadas?

O seguinte não funciona no VC8 e no GCC4 (isto é, detecta queA tem uma função de membrofoo(), mas não queB herda um):

#include <iostream>

template<typename T, typename Sig>                                 
struct has_foo {                     
    template <typename U, U> struct type_check;
    template <typename V> static char (& chk(type_check<Sig, &V::foo>*))[1];
    template <typename  > static char (& chk(...))[2]; 
    static bool const value = (sizeof(chk<T>(0)) == 1);
};

struct A {
    void foo();
};

struct B : A {};

int main()
{
    using namespace std;
    cout << boolalpha << has_foo<A, void (A::*)()>::value << endl; // true
    cout << boolalpha << has_foo<B, void (B::*)()>::value << endl; // false
}

Então, existe uma maneira de testar as funções de membro herdadas?

questionAnswers(4)

yourAnswerToTheQuestion