微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

当 operator* 返回 std::make_pair 时,如何为迭代器重载 operator->

如何解决当 operator* 返回 std::make_pair 时,如何为迭代器重载 operator->

给定 auto iterator::operator*() { return std::make_pair(1,2.0); },我可以写出 (*it).first。但是我如何编写 operator-> 使得 it->first 也有效?

Overloading operator-> when operator* returns temporary 适用,因为 std::make_pair 确实返回一个临时值。我当然知道这个简单示例中的类型是 std::pair<int,float>,但通常情况并非如此。链接问题中给出的答案假设您可以拼出类型。

我想出了这个肮脏的黑客:

auto iterator::operator->() {
        auto ptr = new auto(this->operator*());
        return std::unique_ptr<decltype(*ptr)>(ptr);
        // The `decltype` is needed because `unique_ptr` intentionally has no deduction guides
        // it can't distinguish `new` and `new[`]`.

}

这使用了 operator-> 可以转发到另一个类型的事实,正如另一个问题所建议的那样,并且 std::unique_ptr 确实实现了 operator->。我显然不能直接返回 ptr,那会泄漏。但仍然 - 这是一个不必要的堆分配。 N3664 允许它被淘汰,但我宁愿不依赖它。

有没有其他方法可以将 operator-> 写入 operator*,而无需在 operator* 中命名表达式类型?

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。