c++ - std::enable_if 字符串/字符类型

Question

可能重复：
“我的 SFINAE 发生了什么”redux：条件模板类成员？

为什么我不能将其他参数传递给我的模板类？仅当传递的类型是文字类型时，我才尝试启用特定参数。如果不是，则接受其他类型，但不要启用区分大小写的参数。

为什么下面不编译？

#include <iostream>
#include <type_traits>

template<typename T>
struct is_literal
{
   enum{value = false};
};

template<>
struct is_literal<char>
{
   enum{value = true};
};

template<>
struct is_literal<char*>
{
   enum{value = true};
};

template<>
struct is_literal<const char*>
{
   enum{value = true};
};

template<typename Char, typename Traits, typename Alloc>
struct is_literal<std::basic_string<Char, Traits, Alloc>>
{
   enum
   {
      value = true
   };
};

template<typename T>
class Test
{
    public:
        bool Contains(T DataType, typename std::enable_if<is_literal<T>::value, bool>::type  CaseSensitive = true);
};

template<typename T>
bool Test<T>::Contains(T DataType, typename std::enable_if<is_literal<T>::value, bool>::type CaseSensitive)
{
    return true;
}


int main()
{
    Test<int> F;    //This line gives errors.. It gives none if I pass char, char*, const char*, std::string.
    F.Contains(1);
}

Answer 1

SFINAE 只能在重载解决期间执行替换时发生。这意味着您必须有一个函数模板。在这种情况下，您在类模板中有一个非模板函数。那是行不通的。您可以添加默认模板参数来解决此问题。

template <typename U = T>
bool Contains(U DataType, typename std::enable_if<is_literal<U>::value, bool>::type  CaseSensitive = true);