C++模板sfinae错误

Question

我有下面的代码，我希望TestEnableIf与不同的专门化有不同的打印功能，但它没有按计划工作，错误如下。

struct myStruct;
struct notMyStruct;

template<typename T> struct TestEnableIf
{
        template<typename boost::enable_if< boost::is_same<myStruct, T>, int >::type = 0> void print()
        {
            std::cout << "this is my struct" << std::endl;
        }

        template<typename boost::enable_if< boost::is_same<notMyStruct, T>, int>::type=0> void print()
        {
            std::cout << "This is not my struct" << std::endl;
        }


};

static void testIsSame()
{

    TestEnableIf<myStruct> testEnable;
     testEnable.print();
     TestEnableIf<notMyStruct> testNotEnable;
     testNotEnable.print();
}

我不明白的是，sfinae应该意味着专门化失败不是错误，那么编译器为什么要抱怨失败？

Answer 1

成员函数的SFINAE（顺便说一句，S是“替换”，而不是“专门化”）对类类型参数不是这样工作的。一个简单的方法是使用另一个模板参数：

template<
    typename TCopy = T
    typename boost::enable_if< boost::is_same<myStruct, TCopy>, int >::type = 0
> void print()
{
    std::cout << "this is my struct" << std::endl;
}

我从STL的CppCon演讲中找到的。tl；dw：当使用类的t类型参数时，编译器在实例化类模板时知道该类型是什么，并在该时间点检查type成员。由于额外的tcopy类型参数是函数的本地参数，编译器在实例化函数之前无法确定，此时SFINAE可以跳入以影响调用的重载集。