0
我有一个类,它包装一个枚举并为其提供字符串转换。现在我介绍了模板参数'fastStringConvert',它控制着如何使用SFINAE进行转换(在这里找到:how can I use std::enable_if in a conversion operator?)。代码在MSVC下编译,但在GCC和Clang下失败。SFINAE为演员操作
error: no type named ‘type’ in ‘struct std::enable_if<false, void>’
这有什么问题,应该如何更改代码?
下面的代码或这里的有关部分:http://rextester.com/SYC74124
#include <map>
#include <string>
#include <type_traits>
template <
class SubClass,
typename EnumType,
bool fastStringConvert = true
>
class SmartEnum
{
public:
template <
typename SFINAEPostponer = EnumType,
typename = typename std::enable_if<fastStringConvert, void>::type
>
explicit operator const std::string&() const
{
auto name = SubClass::names().find((int)value);
if (name != SubClass::names().end())
{
return name->second;
}
else
{
static const std::string na("n.a.");
return na;
}
}
template <
typename SFINAEPostponer = EnumType,
typename = typename std::enable_if<!fastStringConvert, void>::type
>
explicit operator const std::string() const
{
auto name = SubClass::names().find((int)value);
if (name != SubClass::names().end()) return name->second;
else return std::to_string((int)value);
}
protected:
typedef const std::map<int, std::string> Names;
EnumType value;
};
enum class Foo_type : int { a, b, c };
struct Foo : SmartEnum<Foo, Foo_type, true>
{
typedef SmartEnum<Foo, Foo_type, true> Base;
static const Base::Names &names()
{
static const Base::Names names = { { 0, "a" }, { 1, "b" }, { 2,"c" }};
return names;
}
};
T hank,它帮助。我甚至不需要这样的第一个参数。 – simon
你能解释一下这两种解决方案有什么区别吗? – simon
@simon您不能仅基于模板参数的默认值重载函数,就像您不能基于其参数的默认值重载函数一样。 –