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;
};

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

C ++ SFINAE - std :: is_arithmetic和std :: is_same之间的解析优先级

1 个答案: