`string.assign(string.data(), 5)` 是定义明确的还是 UB？

Question

一位同事想写这个：

std::string_view strip_whitespace(std::string_view sv);

std::string line = "hello  ";
line = strip_whitespace(line);

我说返回string_view 让我感到不安先验，而且这里的别名在我看来就像是UB。

我可以肯定地说line = strip_whitespace(line) 在这种情况下等同于line = std::string_view(line.data(), 5)。我相信会调用string::operator=(const T&) [with T=string_view]，它被定义为等同于line.assign(const T&) [with T=string_view]，它被定义为等同于line.assign(line.data(), 5)，它被定义为这样做：

Preconditions: [s, s + n) is a valid range.
Effects: Replaces the string controlled by *this with a copy of the range [s, s + n).
Returns: *this.

但这并没有说明出现混叠时会发生什么。

我昨天在 cpplang Slack 上问了这个问题，得到的答案好坏参半。在这里寻找超级权威的答案，和/或对真实库供应商实施的实证分析。

---

I wrote test cases 代表string::assign、vector::assign、deque::assign、list::assign 和 forward_list::assign。

• Libc++ 使所有这些测试用例都能正常工作。
• Libstdc++ 使它们都可以工作，除了 forward_list，它会出现段错误。
• 我不知道 MSVC 的库。

libstdc++ 中的段错误让我希望这是 UB；但我也看到 libc++ 和 libstdc++ 至少在常见情况下会付出巨大努力。

Answer 1

除非有几个你的例外，否则在字符串 assign 上调用非常量成员函数（即 assign）[...] 指针 [...] 指向其元素。这违反了assign 上的precondition [s, s + n) 是一个有效范围，因此这是未定义的行为。

请注意，string::operator=(string const&) 具有专门用于使自分配成为无操作的语言。