4

我不是 100% 认为以下代码在语义上是正确的：

#include <iostream>
#include <experimental/string_view>

int main()
{
    std::string str = "lvalue string";

    std::experimental::string_view view_lvalue(str);
    std::experimental::string_view view_rvalue(std::string{"rvalue string"});

    std::cout << view_lvalue << '\n' << view_rvalue << '\n';
}

Live on Wandbox

问题：我可以合法地将右值绑定到std::experimental::basic_string_view，还是只是 UB？如果是，它是如何工作的？据我所知，右值不会const通过构造函数绑定到引用（我假设视图保留原始字符串），所以我认为在语句结束时std::experimental::string_view view_rvalue(std::string{"rvalue string"});引用将悬空。是否string_view使用更复杂的方法？

我问这个是因为我正在尝试为某些矩阵类编写类似的视图，但还不知道如何处理右值（我当然可以禁用它们，但我认为这不是最好的方法）。

4

1 回答 1

3

如果 cpprefernce 是正确的，那么这是 UB。 std::string_view拥有

一个典型的实现只包含两个成员：一个指向常量的指针CharT和一个size.

并且构造函数有

构造str.size()从 指向的元素开始的字符数组的第一个字符的视图str.data()。

因此，如果string_view只指向所提供字符串的底层 char 数组，那么一旦表达式结束并且临时对象被销毁，我们将有一个悬空指针。

正如评论中所指出的那样，可能允许这种行为的一个原因是，您可以将 a 传递string_view给函数并string_view从临时构造它string

于 2016-01-29T17:10:31.600 回答