我正在使用 SFINAE 构建一个基本的序列化库。
假设我有一个实现通用 process
的类方法,读取任何类型(允许用户扩展)并将其序列化。我正在使用 std::enable_if
将此方法专门用于不同的模板参数类型。这是一个例子:
class OutputSerializer
{
public:
OutputSerializer(std::ostream& str) : stream(str) {}
private:
template<typename T>
typename std::enable_if<std::is_arithmetic<T>::value, void>::type
process(T&& arg) {
stream.write(&arg, sizeof(arg));
}
//More specializations here
std::ostream& stream;
};
我想针对 bool 值优化此方法,使输出流存储 1 个字节,而不是 sizeof(bool)
字节。与我之前的做法类似,我添加了一个新的模板特化:
class OutputSerializer
{
public:
OutputSerializer(std::ostream& str) : stream(str) {}
private:
template<typename T>
typename std::enable_if<std::is_arithmetic<T>::value, void>::type
process(T&& arg) {
stream.write(&arg, sizeof(arg));
}
template<typename T>
typename std::enable_if<std::is_same<T, bool>::value, void>::type
process(T&& arg) {
stream.write(&arg, 1);
}
std::ostream& stream;
};
现在,一个问题出现了。 std::is_arithmetic<bool>
也应该返回 true
.那么在名称解析过程中将优先考虑这两个专业中的哪一个?
请记住,这只是一个理论问题。我知道有更多方法可以确保此方法执行我想要的操作,例如为 bool 专门化模板本身,如下所示:
template<>
void process<bool>(bool&& arg) {
stream.write(&arg, 1);
}
或者在更通用的情况下添加额外的检查,如下所示:
template<typename T>
typename std::enable_if<
std::is_arithmetic<T>::value
&& !std::is_same<T, bool>::value, void>::type
process(T&& arg) {
stream.write(&arg, sizeof(arg));
}
或者至少,我很确定这些会起作用。如果我错了,请随时给我打电话。谢谢!
最佳答案
两者都没有任何优先级。两个模板都将产生函数 void process(bool)
并且调用将是不明确的。
为 bool
添加显式特化也不会奏效,因为没有明确的基础模板可以特化。您需要向模板的 std::is_arithmetic
版本添加更多条件,或者最好只为 bool
提供非模板重载。函数确实优先于函数模板,因此重载决策将选择非模板版本。
关于C++ SFINAE - std::is_arithmetic 和 std::is_same 之间的分辨率优先级,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/43957569/