为什么只能在一种情况下推导出模板参数？

Question

为什么下面的代码使用 non-const 迭代器 编译该行但 const 迭代器 编译失败（使用 Visual Studio 2008）？

#include <vector>

using std::vector;

int main(int argc, char* argv[])
{
    vector<int> test;

    test.push_back(1);
    test.push_back(2);

    vector<int>::const_iterator cit = test.end();
    std::distance(test.begin(), cit); // error: template parameter is ambiguous

    vector<int>::iterator it = test.end();
    std::distance(test.begin(), it);

    return 0;
}

---

注意：在 Visual Studio 2008 中，没有向量成员函数 cbegin() 来避免歧义，而是重载了 begin() 方法：

iterator begin()
    {   // return iterator for beginning of mutable sequence
    return (iterator(_Myfirst, this));
    }

const_iterator begin() const
    {   // return iterator for beginning of nonmutable sequence
    return (const_iterator(_Myfirst, this));
    }

Answer 1

模板distance 接受一个参数distance<T>(T first, T last)。由于test.begin() 的类型为iterator，cit 的类型为const_iterator，因此无法推导出模板参数。

您可以使用test.cbegin() 来获得有保证的const_iterator，或者说static_cast<std::vector<int> const &>(test).begin()。

（这就像你有 max<T>(T x, T y) 并尝试说 max(1, 2U) 一样——它不会编译，因为它不明确。）

Answer 2

注意：在 Visual Studio 2008 中，没有向量成员函数 cbegin() 来避免歧义，而是重载了 begin() 方法：

我认为编译器总是为非常量对象选择非常量重载，而只为常量对象选择常量方法。

打电话

std::distance(test.begin(), cit);

不查看begin 的重载集和cit 的类型，并确定它是否可以匹配。它首先解决了重载（到非常量版本），因此失败了。

表达意图的最简洁的方式可能也适用于编译器：

vector<int> const &cref = test;
vector<int>::const_iterator cit = cref.end();
std::distance(cref.begin(), cit);

Answer 3

函数模板std::distance只需要一个模板 参数，两个函数参数必须相同。这 test.begin() 的返回类型只是 iterator，而不是 const_iterator，所以函数参数的类型不同。 编译器首先推断出std::vector<int>::iterator，然后 std::vector<int>::const_iterator为第二个，所以扣分 失败。模板参数推导没有不考虑 可能的转换，除了最简单的转换。

有很多方法可以解决问题，但它们都有明显的 缺点。 （这可能就是委员会添加cbegin 和 cend 函数。）目前，您最好的选择可能就是放弃 const，而同时使用 iterator。

Answer 4

distance 必须具有相同时间的模板参数。在这种情况下，它是_Vector_const_iterator。 begin 有两个重载：const 和 non-const。 const-version 产生_Vector_const_iterator，但另一个产生_Vector_iterator。 _Vector_iterator 继承自 _Vector_const_iterator。

因此，begin 的 const 和非 const 重载都能够生成 _Vector_const_iterator，并且它们都可以被选为非常量对象，即编译器会感到困惑。

这就是我编译它的方式：

    std::distance(((const vector<int>&)test).begin(), cit);