enable_if:没有参数的void成员函数的最小示例

我试图std::enable_if在C++ 11中更好地理解并且一直在尝试编写一个最小的例子:一个A具有成员函数的类,void foo()它具有基于T类模板中的类型的不同实现.
下面的代码给出了期望的结果,但我还没有完全理解它.为什么版本V2有效,但不是V1？为什么U需要"冗余"类型？

#include 
#include 

template 
class A {

    public:

        A(T x) : a_(x) {}

        // Enable this function if T == int
        /* V1 */ // template <           typename std::enable_if::value,int>::type = 0>
        /* V2 */ template ::value,int>::type = 0>
        void foo() { std::cout << "\nINT: " << a_ << "\n"; }

        // Enable this function if T == double
        template ::value,int>::type = 0>
        void foo() { std::cout << "\nDOUBLE: " << a_ << "\n"; }

    private:

        T a_;

};

int main() {
    A aInt(1); aInt.foo();
    A aDouble(3.14); aDouble.foo();
    return 0;
}

有没有更好的方法来实现所需的结果,即void foo()基于类模板参数具有不同的函数实现？