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

Question

我正在使用 SFINAE 构建一个基本的序列化库。

假设我有一个 class 实现通用 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> 也应该是 return 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

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

C++ SFINAE - Resolution priority between std::is_arithmetic and std::is_same

c++

metaprogramming

sfinae

enable-if