C++如何编写兼容对象容器与对象指针容器的通用函数

你原有实现存在几个硬伤：

• 存在触发未定义行为的越界问题：接收std::vector<int>的重载中，vp初始化后是空容器，直接通过下标vp[i]写入属于非法内存访问，运行会直接崩溃。哪怕修正这个问题，提前给vp分配和入参等大的空间再逐个存地址，也属于完全没必要的额外开销。
• 性能损耗明显：两个重载都是值传递参数，会对传入的vector做全量拷贝，数据量较大时开销很高。
• 扩展性极差：当前实现仅支持std::vector容器、仅支持int类型的值/原生指针，后续如果需要支持std::array、std::list等其他容器，或是std::shared_ptr<int>、std::unique_ptr<int>等智能指针类型，需要重复编写大量逻辑高度重复的重载，维护成本极高。

核心思路是不要做容器层面的类型转换，只需要在遍历访问单个元素时，统一处理“取到元素实际值”的逻辑，配合模板泛型能力，一套代码即可兼容所有存值/存指针的可迭代容器。

通用泛型实现（兼容全场景） #

首先实现一个轻量的解引用辅助函数，自动识别元素是普通值、原生指针还是重载了operator*的智能指针/自定义句柄，统一返回对应的实际值：

#include <vector>
#include <list>
#include <memory>
#include <type_traits>
#include <utility>

template<class T>
decltype(auto) deref(T&& elem) {
    using ElemType = std::remove_reference_t<T>;
    // 原生指针直接解引用
    if constexpr (std::is_pointer_v<ElemType>) {
        return *elem;
    } 
    // 兼容智能指针、重载operator*的自定义类型
    else if constexpr (requires { *elem; }) {
        return *elem;
    }
    // 普通值类型直接返回
    else {
        return std::forward<T>(elem);
    }
}

// 通用sum函数，支持任意可迭代容器、任意值/指针类元素
template<class Container>
auto sum(const Container& c) {
    using ValueType = std::remove_cvref_t<decltype(deref(*c.begin()))>;
    ValueType res{}; // 值初始化初始值，兼容int、double等所有支持累加的类型
    for (const auto& elem : c) {
        res += deref(elem);
    }
    return res;
}

这个实现的优势：

• 无额外内存拷贝开销，全程仅做遍历读取，性能最优
• 自动兼容所有可迭代类型：std::vector、std::array、std::list、std::deque甚至C风格原生数组都可以直接传入
• 自动兼容所有指针类类型：原生指针、std::unique_ptr、std::shared_ptr、自定义重载operator*的句柄类型都能正常处理
• 不限制元素类型，只要类型支持+=运算、支持值初始化就可以正常使用，不需要针对double、long等其他数值类型额外写重载

轻量实现（仅支持固定场景） #

如果场景确实只需要处理std::vector<int>和std::vector<int*>两种情况，不需要兼容其他类型，也不需要做容器转换，直接写两个传const引用的重载即可，避免不必要的拷贝：

int sum(const std::vector<int*>& v) {
    int s = 0;
    for (int* elem : v) {
        s += *elem;
    }
    return s;
}

int sum(const std::vector<int>& v) {
    int s = 0;
    for (int elem : v) {
        s += elem;
    }
    return s;
}

注意这个方案扩展性很差，后续如果要支持新的容器、新的指针类型、新的元素类型，都需要新增重载，不推荐在中大型项目中使用。

C++20 简化写法 #

如果使用C++20及以上标准，可以配合ranges特性进一步简化累加逻辑，不需要手写遍历循环：

#include <ranges>
#include <numeric>

template<class Container>
auto sum(const Container& c) {
    auto value_view = c | std::views::transform([](const auto& elem) -> decltype(auto) {
        return deref(elem);
    });
    using ValueType = std::remove_cvref_t<decltype(deref(*c.begin()))>;
    return std::accumulate(value_view.begin(), value_view.end(), ValueType{});
}

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