如何解决当 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 举报,一经查实,本站将立刻删除。