c++ - 使用 libc++ 在 Clang 中使用反向 vector 迭代器时，“重载运算符的使用不明确”

Question

据我了解 C++ ADL 这个编译错误是合法的。
但同时我不明白为什么这个失败只发生在 clang + libc++ 配置上，而且只有当我们使用反向迭代器时。法 vector 迭代器不会导致这种情况。

#include <vector>
#include <iostream>

namespace NS1
{
struct Foo
{
    explicit Foo(const int i): m_i(i)
    {}
    bool operator==(const Foo& that) const
    {
        return this->m_i == that.m_i;
    }

    int m_i;
};

template <typename T>
bool operator!=(const T& a, const T& b)
{
    return !(a == b);
}
}

int main(void)
{
    std::vector<NS1::Foo> n;
    // error: use of overloaded operator '!=' is ambiguous (with operand types 'std::__1::reverse_iterator
    for(auto it = n.rbegin(); it != n.rend(); ++it)
    {
        std::cout<<it->m_i;
    }
}

错误是:

error: use of overloaded operator '!=' is ambiguous (with operand types 'std::__1::reverse_iterator<std::__1::__wrap_iter<NS1::Foo *>>' and 'std::__1::vector<NS1::Foo, std::__1::allocator<NS1::Foo>>::reverse_iterator' (aka 'reverse_iterator<__wrap_iter<NS1::Foo *>>'))
for(auto it = n.rbegin(); it != n.rend(); ++it)
                          ~~ ^  ~~~~~~~~

有谁知道是否有可能使 clang + libc++ 配置表现得像其他配置(gcc、msvc)？
这是关于 Godbolt 的一个小例子: https://godbolt.org/z/8cKPY6

Answer 1

As far as I understand C++ ADL this compilation error is legit. But at the same time I dont understand why this failure happens only on clang + libc++ configuration, and only when we use reverse iterators. Normal vector iterators dont lead to this

好吧，如果检查错误消息，就会发现操作数的实际类型是此的某种变体

std::__1::reverse_iterator<std::__1::__wrap_iter<NS1::Foo *>>

它是用于生成反向迭代器的某个模板的实例。由于您了解 ADL，您知道当操作数是类模板特化时，关联命名空间集也由模板参数的命名空间组成。这就是拉动您的 NS1::operator!=考虑在内。由于它是一个不受约束的函数模板，因此它可能是重载解析的可行候选者。冲突由此而来。
原因是前向迭代器不会发生，这可能取决于它们的实现细节。他们可以

不是一些模板本身的特化。即， vector 特化的常规嵌套类。 vector 的关联命名空间不会延续。

甚至根本不上课。 vector 的迭代器可以实现为指向 vector 缓冲区的简单指针。

我会认真地重新审视您对这种不受约束的需求 operator!= .这将是一种处理非常直接的问题的方法。