这是返回迭代器元素和后增量的有效方法吗?

问题描述

我的类(我们称之为 A)接受一个 string::iterator 并实现两个方法

  • auto peek() const -> const char &:返回对当前位置数据的引用。
  • auto get() -> const char &:返回对当前位置数据的引用然后增加位置。

我想出的解决方案如下:

class A {
  std::string::iterator _s;

public:
  A() = delete;

  explicit A(std::string::iterator s) : _s(s) {}

  auto peek() const -> const char & {
    return *_s;
  }

  auto get() -> const char & {
    return *(_s++);  // <-- valid?
  }
};

在这种情况下,我知道返回值的临时副本也可以,因为 char 的大小足够小:

auto get2() -> char {
  const auto c = *_s;
  _s++;
  return c;
}

但是,假设数据足够大,以至于我想返回引用而不是复制。以下代码是在 C++ 中执行此操作的有效方法吗?

auto get() -> const char & {
  return *(_s++);
}

解决方法

是的,"editor.suggest.showKeywords": false, 是完全有效且安全的,前提是 return *(_s++); 是一个有效的迭代器(即 s 是活动的,并且 strings 的有效迭代器范围)。

string 将递增 _s++,返回一个新的 s,它是递增之前 iteratorcopy

然后 s 取消引用 复制 *,产生对 iterator 最初的 char& 的非常量 char 引用在 s 中引用。

然后您 string 将该引用作为对调用者的原样作为 return 引用,这完全没问题。

即使你不想相信这个逻辑,你使用局部变量的方法也很好,你可以通过简单地将该变量声明为引用而不是值来返回引用,例如:

const char&