c++ - 为什么 SFINAE 在这里不起作用

Question

我想实现静态检查以确定类型是否可构造：

#include <iostream>

template<typename T>
struct IsConstr
{
    typedef char TrueType;
    typedef struct{char a[2];} FalseType;
    template<typename C>
    static decltype((C(),TrueType())) test(int);
    template<typename C>
    static FalseType test(...);

    enum{value=(sizeof(test<T>(0))==sizeof(TrueType))};
}; 


struct S{private: S();};
int main()
{
    std::cout<<IsConstr<S>::value<<std::endl;
    std::cout<<IsConstr<int>::value<<std::endl;
    return 0;
}

代码无法编译，显示错误

“替换失败。'S::S()' 是私有的”。

为什么 SFINAE 不在这里工作？谢谢。