C++重载方法接收反向迭代器时出现调用歧义，如何解决？

问题描述 #

想要实现一组重载方法，仅当调用对象为非const且传入非const迭代器时返回非const结果（类似标准库begin()/begin() const，但额外接收迭代器参数）。普通迭代器的版本工作正常，但反向迭代器版本出现函数调用歧义，最小复现代码如下：

#include <vector>

class Foo
{
public:
    void bar(std::vector<int>::iterator x) {}
    void bar(std::vector<int>::const_iterator x) const {}

    void baz(std::vector<int>::reverse_iterator x) {}
    void baz(std::vector<int>::const_reverse_iterator x) const {}
};

int main()
{
    std::vector<int> v;
    Foo foo;
    foo.bar(v.cbegin());  // 编译正常
    foo.baz(v.crbegin()); // 编译报错：函数调用歧义
}

该问题在C20中已修复，但当前无法升级到C20，需要让baz函数的行为与bar一致。

问题原因 #

• 对于bar函数：std::vector<int>::iterator无法从const_iterator隐式转换，因此调用foo.bar(v.cbegin())时，只有bar(const_iterator) const这一个可行重载（非const对象可以转换为const引用），无歧义。
• 对于baz函数：std::reverse_iterator提供了模板构造函数，允许从const_reverse_iterator隐式转换（reverse_iterator<T>可以接受reverse_iterator<const T>）。此时调用foo.baz(v.crbegin())有两个可行重载：
  1. baz(reverse_iterator)：通过将const_reverse_iterator转换为reverse_iterator匹配
  2. baz(const_reverse_iterator) const：通过将非const的foo转换为const Foo&匹配
     这两个转换的优先级相同，导致编译器无法选择，产生歧义。

解决方案 #

通过**SFINAE（替换失败不是错误）**约束非const版本的baz，使其仅接受精确的非const反向迭代器类型，避免与const版本产生歧义。

修改后的代码如下：

#include <vector>
#include <type_traits>

class Foo
{
public:
    void bar(std::vector<int>::iterator x) {}
    void bar(std::vector<int>::const_iterator x) const {}

    // 仅当传入参数为非const反向迭代器时，此重载才参与解析
    template<typename Iter>
    std::enable_if_t<std::is_same_v<Iter, std::vector<int>::reverse_iterator>>
    baz(Iter x) {}

    void baz(std::vector<int>::const_reverse_iterator x) const {}
};

int main()
{
    std::vector<int> v;
    Foo foo;
    foo.bar(v.cbegin());  // 正常调用const版本的bar
    foo.baz(v.crbegin()); // 正常调用const版本的baz
    foo.baz(v.rbegin());  // 正常调用非const版本的baz

    const Foo cfoo;
    cfoo.baz(v.rbegin()); // 对象为const，调用const版本的baz
}

方案说明 #

• 使用std::enable_if_t和std::is_same_v组成编译期约束，确保只有当传入的Iter类型与std::vector<int>::reverse_iterator完全相同时，模板版本的baz才会被实例化。
• 当传入const_reverse_iterator时，模板版本的baz因约束不满足而被排除在重载解析之外，编译器只能选择const版本的baz，消除歧义。
• 非const反向迭代器传入时，模板版本正常匹配，符合预期行为。

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