enable_if：不带参数的 void 成员函数的最小示例

我正在努力更好地理解std::enable_if在 C++11 中，并一直在尝试编写一个最小的示例：一个类A具有成员函数void foo()根据类型有不同的实现T来自类模板。
下面的代码给出了所需的结果，但我还没有完全理解它。为什么版本V2工作，但不V1？为什么是“冗余”类型U必需的？

#include <iostream>
#include <type_traits>

template <typename T>
class A {

    public:

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

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

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

    private:

        T a_;

};

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

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

我知道这不能完全回答您的问题，但它可能会给您更多的想法和理解如何使用std::enable_if.

您可以将 foo 成员函数替换为以下内容并具有相同的功能：

template<typename U=T> typename std::enable_if<std::is_same<U,int>::value>::type
foo(){ /* enabled when T is type int */ }

template<typename U=T> typename std::enable_if<std::is_same<U,double>::value>::type
foo(){ /* enabled when T is type double */ }

不久前，我对enable_if的工作原理有了很好的了解，但遗憾的是我忘记了它的大部分复杂性，只记得更实用的使用方法。