自定义equal函数编译报错，重命名后正常，求助问题排查

这个问题的核心是你自定义的equal函数名和C++标准库中的std::equal发生了名字冲突，触发了编译器的名字查找歧义，导致模板实例化时匹配到了错误的函数。

为什么会出现编译错误？ #

当你调用equal(...)时，因为传入的迭代器（比如vec.data()返回的指针、vector的迭代器）属于std命名空间，C++的**依赖于参数的查找（ADL）**机制会让编译器自动在std命名空间中查找名为equal的函数。而std::equal的模板签名和你自定义的equal完全不同：

• 你的函数：bool equal(PValues, PValues, size_t, size_t, size_t)
• std::equal的典型签名：bool equal(InputIt1, InputIt1, InputIt2)

编译器在模板参数推导时，错误地尝试将你的后三个size_t参数当成std::equal要求的迭代器参数，这就导致了一系列类型错误——比如size_t不是迭代器，自然没有iterator_category、difference_type这些迭代器特征，也就无法调用std::distance，更不能使用解引用（*操作符）。

而当你把函数名改成equalx时，没有了名字冲突，编译器会正确匹配到你的自定义函数，所以编译正常。

不同编译环境表现不同的原因 #

不同编译器版本（或编译选项）对ADL的优先级、模板匹配规则的处理存在细微差异：

• 你本地的g++ 9.3.0在模板实例化时，ADL的优先级更高，优先找到了std::equal；
• 部分在线编译环境的编译器可能对全局命名空间的函数匹配优先级更高，或者ADL触发条件不同，所以能正确匹配你的自定义函数。

解决方法 #

你可以任选以下一种方案解决：

1. 修改函数名（最简单直接）

把自定义的equal改成不会和标准库冲突的名字，比如equal_rows、equal_offsets等，就像你测试的equalx一样。

2. 将函数放入自定义命名空间

把你的函数封装到自己的命名空间中，避免和std的名字冲突：

#include <iostream>
#include <string>
#include <vector>
#include <tuple>

namespace my_utils {
template<class PValues>
inline bool equal(PValues it, PValues last, size_t cols, size_t rows, size_t offset) {
    if(std::distance(it,last)<offset) return false;
    for(size_t c=0; c<cols; ++c) {
        auto p = it + c*rows;
        if(*p != *(p + offset)) return false;
    }
    return true;
};
}

int main() {
    std::vector<std::string> vec = {"1","1","1","2","2","2","3","8","8",
                                    "5","5","2","5","5","5","6","8","8",
                                    "3","3","3","4","4","3","9","8","8"};
    std::vector<double> nbs = {1,2,3,4,5,6,7,8,9};
    // 调用时指定自定义命名空间
    auto res = my_utils::equal(vec.data(), vec.data()+9, 3, 9, 1);
}

3. 调用时显式指定全局命名空间

在调用函数时，用::前缀强制编译器查找全局命名空间的equal，而不是通过ADL查找std的版本：

auto res = ::equal(vec.data(), vec.data()+9, 3, 9, 1);

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