C++如何用SFINAE实现仅接受算术类型迭代器的模板函数

你的代码核心错误点 #

• 类型校验逻辑写反：你将::value_type写在了std::is_arithmetic的作用域下，正确逻辑是先获取迭代器指向的value_type，再把该类型传给std::is_arithmetic做算术类型校验
• 语法使用错误：std::enable_if_t的第一个入参要求是编译期布尔值，你传入的是类型，不符合语法要求
• 兼容性问题：直接用Iter::value_type不兼容原始指针作为迭代器的场景，用std::iterator_traits可以适配所有合法迭代器类型

summer.hpp完整正确实现：

#include <type_traits>
#include <iterator>

template <
    typename Iter,
    typename = std::enable_if_t<
        std::is_arithmetic_v<typename std::iterator_traits<Iter>::value_type>
    >,
    typename T = typename std::iterator_traits<Iter>::value_type
>
T summer(Iter start, Iter end)
{
    T sum{};
    for (auto it = start; it != end; ++it)
    {
        sum += *it;
    }
    return sum;
}

• 传入std::vector<double>的迭代器：约束匹配，正常编译运行，输出正确求和结果
• 传入std::vector<std::string>的迭代器：std::is_arithmetic_v返回false，触发SFINAE匹配失败，编译器提示无匹配函数，符合预期的拦截效果

内容的提问来源于stack exchange，提问作者Nobilis