C++ SFINAE - 标准::is_arithmetic 和标准::is_same之间的分辨率优先级

我正在使用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;
};

我想通过使输出流存储 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));
}

或者至少，我很确定这些会起作用。如果我错了，请随时打电话给我。谢谢！