c++ - 为什么std::vector::iterator::operator->仅向下钻取一级？

Question

此代码无法编译:

void foo(vector<unique_ptr<pair<int, int>>> bar)
{
    bar.begin()->first;
}

这是什么问题operator->是否不应该深入到pair？

Answer 1

Shouldn't operator-> drill down until pair?

operator ->的递归仅在获得指针类型之前有效。一旦发生这种情况，递归就会停止，您可以访问该指针指向的内容。在这种情况下，std::vector::iterator::operator->返回unique_ptr<pair<int, int>>*作为 vector 中元素的指针类型。按下该指针后，您就可以访问unique_ptr的成员，而不是它指向的pair<int, int>的成员。

您可以使用得到的东西

(*bar.begin())->first;

所以现在您正在使用operator->的unique_ptr<pair<int, int>>。