C++20中传递valarray/vector为函数参数编译报错求解

C20对模板参数推导和SFINAE（替换失败并非错误）规则做了更严格的调整，同时std::valarray并非标准容器库中的序列容器，其迭代器与成员函数设计和std::vector存在差异。如果你的C17代码依赖于不严谨的SFINAE条件（比如仅通过decltype(std::begin(c))判断是否为可迭代容器），在C++20中这些条件可能对std::valarray失效，导致编译器无法匹配到容器版本的GetSum重载。

以下是三种可行的解决方式，你可以根据代码兼容性需求选择：

1. 使用C++20范围概念（推荐） #

利用C20引入的std::ranges::input_range概念，明确约束函数参数为可迭代范围，这是最符合现代C规范的方式，能自动兼容std::vector、std::valarray及其他所有可迭代类型：

#include <concepts>
#include <vector>
#include <valarray>
#include <numeric>

template <std::ranges::input_range Range>
auto GetSum(const Range& range) {
    using ValueType = std::ranges::range_value_t<Range>;
    return std::accumulate(std::begin(range), std::end(range), ValueType{});
}

// 指针版本保持不变
template <typename T>
auto GetSum(const T* arr, size_t size) {
    return std::accumulate(arr, arr + size, T{});
}

int main() {
    std::vector<int> v{1,2,3};
    std::valarray<int> va{1,2,3};
    
    GetSum(v);    // C++20中正常编译
    GetSum(va);   // C++20中正常编译
    
    int arr[] = {1,2,3};
    GetSum(arr, 3); // 指针版本正常工作
}

2. 兼容C17/C20的SFINAE调整 #

如果需要同时兼容两个标准版本，可以强化SFINAE条件，确保std::vector和std::valarray都能被正确识别：

#include <vector>
#include <valarray>
#include <numeric>
#include <type_traits>

template <typename Container,
          // 验证存在begin/end迭代器
          typename = decltype(std::begin(std::declval<const Container>())),
          typename = decltype(std::end(std::declval<const Container>())),
          // 验证value_type可默认构造
          typename ValueType = typename Container::value_type,
          typename = std::enable_if_t<std::is_default_constructible_v<ValueType>>>
auto GetSum(const Container& c) {
    return std::accumulate(std::begin(c), std::end(c), ValueType{});
}

template <typename T>
auto GetSum(const T* arr, size_t size) {
    return std::accumulate(arr, arr + size, T{});
}

3. 直接提供显式重载 #

如果只需要支持std::vector和std::valarray，可以直接为这两种类型编写重载，避免模板推导的歧义：

#include <vector>
#include <valarray>
#include <numeric>

template <typename T>
auto GetSum(const std::vector<T>& v) {
    return std::accumulate(v.begin(), v.end(), T{});
}

template <typename T>
auto GetSum(const std::valarray<T>& va) {
    return std::accumulate(std::begin(va), std::end(va), T{});
}

template <typename T>
auto GetSum(const T* arr, size_t size) {
    return std::accumulate(arr, arr + size, T{});
}

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