自定义std::vector比较函数与==运算符结果不一致问题排查

我实现了两个自定义函数判断两个std::vector是否相等，但出现了奇怪的情况：当自定义函数判定两个vector相同时，vector1 == vector2有时会返回false。自定义函数的实现如下：

实现1：

template <typename T1, typename T2>
bool isVecSame(std::vector<T1> v1, std::vector<T2> v2) { 
    bool bSame = true; 
    if (!(v1.size() == v2.size())) 
        return (bSame = false);     
    for (size_t i = 0, sz = v1.size(); i < sz; ++i) {
        if (!(v1.at(i) == v2.at(i))) 
            bSame = false;      
    }
    return bSame; 
}

实现2：

template <typename T1, typename T2>
bool isVecSameV2(std::vector<T1> v1, std::vector<T2> v2) { 
    bool bSame = true; 
    if (!(v1.size() == v2.size()))       
        return (bSame = false);     

    auto itBeg_v1 = v1.begin();
    auto itEnd_v1 = v1.end();
    auto itBeg_v2 = v2.begin();

    for ( ; itBeg_v1 != itEnd_v1; ++itBeg_v1, ++itBeg_v2) {
        if ( !((*itBeg_v1) == (*itBeg_v2)) ) 
            bSame = false;      
    }
    return bSame; 
}

测试显示两个自定义函数结果一致，但与std::vector::operator==的结果有时不符。向量元素类型包括uint64_t、std::string、int、float，未重载任何运算符。背景是读取同一大文本文件两次解析为vector，该问题难以复现。

核心原因：传值参数导致的对象副本 vs 原对象差异 #

你的自定义函数参数是传值（std::vector<T1> v1），调用时会对输入的vector进行深拷贝，生成独立的副本。而vector1 == vector2直接比较的是原vector对象。

如果出现以下场景，就会导致结果不一致：

• 调用自定义函数时，原vector的内容是正确且相等的，副本被正确复制；
• 在自定义函数执行完毕、到执行vector1 == vector2之间，原vector被其他线程修改，或者解析文件的过程尚未完全结束（仍在写入vector）；
• 此时vector1 == vector2比较的是被修改后的原对象，返回false，但自定义函数比较的是修改前的副本，返回true。

其他可能性排除 #

• 元素比较逻辑差异：std::vector::operator==的行为确实是先比较size，再逐元素用==比较，一旦发现不等元素立即返回false；你的自定义函数虽然会遍历所有元素，但最终返回的bSame结果和==完全一致——只要所有元素相等，两者都会返回true；只要有一个元素不等，两者都会返回false。因此元素比较逻辑不会导致结果差异。
• float类型的精度问题：虽然float的==是精确比较，但自定义函数和std::vector::operator==使用的是同一个==运算符，因此不会出现两者结果不同的情况。

解决方案 #

1. 修改自定义函数为传const引用：避免不必要的拷贝，同时确保比较的是原对象，和==的比较对象一致：

   template <typename T1, typename T2>
   bool isVecSame(const std::vector<T1>& v1, const std::vector<T2>& v2) { 
       bool bSame = true; 
       if (!(v1.size() == v2.size())) 
           return false;     
       for (size_t i = 0, sz = v1.size(); i < sz; ++i) {
           if (!(v1.at(i) == v2.at(i))) 
               bSame = false;      
       }
       return bSame; 
   }
   

   （同样修改isVecSameV2的参数为const引用）

2. 确保比较时vector状态稳定：

   • 确认解析文件生成vector的过程完全结束后，再执行比较操作；
   • 如果是多线程环境，确保在比较vector时，没有其他线程对这两个vector进行写入操作（可以用互斥锁保护）。

3. 调试难以复现的问题：可以在比较前打印两个vector的size和部分元素，或者使用内存检测工具检查是否存在内存越界、野指针等问题，这些问题可能导致vector的内容被意外修改。

内容的提问来源于stack exchange，提问作者starriet 차주녕