Определение наличия метода с данным именем и сигнатурой на этапе копиляции

[OktXIV]

Прочитал это:
http://habrahabr.ru/post/205772/

template<typename T> struct has_foo{
private:
    static int detect(...);
    template<typename U> static decltype(std::declval<U>().foo(42)) detect(const U&);
public:
    static constexpr bool value = std::is_same<void, decltype(detect(std::declval<T>()))>::value;
};

Это шаблон определения наличия в типе метода "void foo(int)", работает хорошо, но также срабатывает на функции с сигнатурой "void foo(long)", "void foo(float)" и т.д.
Работает в случае если тип наследуется от типа с искомой функцией, например:

struct A
{
void foo(int)
};

struct B : public A{};

has_foo<B>::value будет равен true.

А вот другой шаблон из статьи:

template<typename T> struct has_foo
{
private:
    template <typename U, void(U::*pfn)(int) = &U::foo>
    struct detector {char _[2];};

    static char detect(...);
    template<typename U> static detector<U> detect(U*);
public:
    static const bool value = sizeof(detect(static_cast<T*>(0))) != sizeof(char);
};

Этот определяет метод точно "void foo(int)", на "void foo(long)" выдаст false. Но в случае с наследованием (has_foo<B>::value) не срабатывает, value = false.

нужен шаблон, работающий в обоих случаях: точно определяющий сигнатуру и срабатывающий при наследовании. Естественно всё на этапе компиляции.