是string.assign（string.data（），5）定义明确的还是UB？

一位同事想这样写：

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)。我相信will call 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上问了这个问题，并得到了不同的答案。在这里寻找超级权威的答案，和/或对真实库供应商实施的经验分析。

我写测试用例了string::assign，vector::assign，deque::assign，list::assign，和forward_list::assign。

• Libc ++使所有这些测试用例都能正常工作。
• Libstdc ++使它们都可以工作forward_list，但segfaults 除外。
• 我不知道MSVC的库。

libstdc ++中的段错误使我希望它是UB。但是我也看到libc ++和libstdc ++都将付出巨大的努力，至少在通常情况下才能使此工作正常。

除非有几个例外，否则assign在字符串上调用非常量成员函数（即）会使指向其元素的指针无效。这违反了先决条件上assign说[s, s + n)是一个有效的范围内，所以这是不确定的行为。

请注意，该string::operator=(string const&)语言具有专门用于使自指派成为禁止操作的语言。