c++ - std::enable_if 和 std::is_arithmetic 作为模板参数的问题

Question

我正在尝试实现一个 OutputArchive 模板类，它有一个模板化函数 processImpl()。看起来像这样:

template<typename ArchiveType>
class OutputArchive {
    ...

    template<typename Type, typename std::enable_if_t<std::is_arithmetic_v<Type>>> inline
    ArchiveType& processImpl(Type&& type) {
        // Implementation
    }

    template<typename Type, typename = void> inline
    ArchiveType& processImpl(Type&& type) {
        // Implementation
    }
}

这里的想法是，如果我将 char、int、float 等传递给我的 processImpl() 函数，应该使用第一个重载；然而，事实并非如此。第二个过载似乎总是被使用，我完全不知道我可能做错了什么。我想这确实与我使用 std::enable_if 的方式有关

Answer 1

因此，为了使其正常工作，您应该在两种情况下使用 std::enable_if。我将展示返回类型的示例，但使用模板参数也可以。

template<typename Type> inline
typename std::enable_if_t<std::is_arithmetic_v<Type>, ArchiveType&> processImpl(Type&& type) {
    // Implementation
}

template<typename Type> inline
typename std::enable_if_t<!std::is_arithmetic_v<Type>, ArchiveType&> processImpl(Type&& type) {
    // Implementation
}

注意第二种情况下的否定。

但是从 C++17 开始，更好的方法是使用 constexpr:

ArchiveType& processImpl(Type&& type) {
    if constexpr(std::is_arithmetic_v<type>) {
        // implementation
    } else {
        // implementation
    }
}