在std::move之后使用std::字符串是否有效?[副本]

您的代码是安全的,但这仅仅是因为您正在检查 getline 成功地将某些内容存储在 s . 如果哨兵在内部 getline公司 初始化失败,则不会分配任何内容 它将处于有效但未指明的状态。只要 getline公司 s码 到一个已知的状态,你是好的。

第一件事 getline公司 s码 到零大小(已知状态)。

更多细节见GManNickG的评论。

第二个参数是否安全且定义良好 std::getline(std::istream&, std::string&) 是左值,指从 std::string

对。尽管它是从字符串中移出的,但是根据 [string.cons]p2 :

[...]. 在第二种形式中, str 处于具有未指定值的有效状态。

std::getline 因为标准上说 [string.io]p1 那个 str.erase() 在字符串上调用,从而清空它:

[…]个电话 删除str.erase() [...]

(如果流是有效的,但我会假设这是在您的情况下)。

不管字符串的未指定状态是什么,它都会在 标准::getline ,所以它处于什么状态并不重要。

移动赋值或移动计算器应始终使移动对象保持有效状态。

std::move 它是一个有效但未指定的字符串。来自libc++的源代码:

// __str is a valid, but unspecified string. 
basic_string(basic_string&& __str) noexcept
  : _M_dataplus(_M_local_data(), std::move(__str._M_get_allocator()))

getline() 只向字符串追加字符,只要成功,输出就会如预期的那样。从 cplusplus.com :

请注意,调用之前str中的任何内容都被新提取的序列替换。

每个提取的字符都会附加到字符串中,就好像调用了其成员push\u back一样。