声明中的返回类型必须与定义匹配。

The return type in the declaration must match the definition.

struct A {
    template <typename T>
    typename std::enable_if<(sizeof(T) > 4), void>::type
    foo(T a); 
};

SFINAE不能封装为实现细节。

SFINAE cannot be encapsulated as an implementation detail.

（演示）