使用getter返回的vector时std::equal不生效的原因及解决办法

为什么std::equal用getter返回的vector会失效？ #

你的get()方法返回的是std::vector<int>的副本，不是引用。每次调用a.get()都会创建一个全新的临时vector对象：

• a.get().begin()属于第一个临时vector
• a.get().end()属于第二个临时vector
  这两个迭代器来自不同的容器，传递给std::equal属于未定义行为，结果自然不可靠（返回0就是这种未定义行为的表现）。

而a.get() == b.get()能正常工作，是因为vector的operator==会直接比较两个副本的所有元素，和迭代器所属容器无关，所以结果正确。

方案1：修改getter为返回const引用（推荐） #

如果不需要暴露内部vector的可写权限，把getter改成返回const引用，同时将成员函数声明为const，这样就能在接收const Foo&的函数中使用：

class Foo {
public:
    std::vector<double> vec;

    Foo(std::vector<double> _vec) : vec(std::move(_vec)) {}  // 用初始化列表+move优化构造

    // 返回const引用，且函数为const成员
    const std::vector<double>& get() const {
        return vec;
    }
};

之后直接使用std::equal就可以正常工作：

std::cout << std::equal(a.get().begin(), a.get().end(), b.get().begin(), is_equal) << "\n";

此时a.get()返回的是同一个容器的const引用，begin()和end()属于同一个vector，迭代器有效。

方案2：先保存getter返回的副本再比较 #

如果必须返回副本（比如严格封装内部状态，不想让外部持有引用），需要先把副本存到变量中，确保迭代器来自同一个容器：

const auto& vec_a = a.get();  // 存副本到变量，用const&避免再次拷贝
const auto& vec_b = b.get();
// 先检查大小，避免第二个vector过短导致越界
if (vec_a.size() != vec_b.size()) {
    std::cout << 0 << "\n";
} else {
    std::cout << std::equal(vec_a.begin(), vec_a.end(), vec_b.begin(), is_equal) << "\n";
}

补充：浮点数比较的优化 #

你的is_equal函数建议用std::fabs替代abs（abs针对整数设计，std::fabs处理浮点数更准确）：

#include <cmath>
bool is_equal(double val1, double val2) {
    return std::fabs(val1 - val2) < 1e-4;  // 1e-4对应0.0001的容差
}

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