使用成员声明和enable_if？

我需要使用成员声明的条件.

template  struct B;
template <> struct B { void foo(); };
template <> struct B { };

template 
struct A : public B::value> {
    using B::value>::foo();

    void foo(int) {}
};

这显然不起作用,因为B::foo在一半的情况下没有定义.我怎样才能做到这一点？要在foo(int)旁边B<>::foo() 显示可见A范围？

感谢帮助