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

Question

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

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

Answer 1

两者都没有任何优先级。两个模板都将产生函数 void process(bool) 并且调用将是不明确的。

Example

为 bool 添加显式特化也不会奏效，因为没有明确的基础模板可以特化。您需要向模板的 std::is_arithmetic 版本添加更多条件，或者最好只为 bool 提供非模板重载。函数确实优先于函数模板，因此重载决策将选择非模板版本。

Example