传递临时std :: string时的string_view行为

Question

我只是遇到了一些误解:至少在libc ++实现中,std :: experimental :: string_view具有以下简洁的实现:

template <class _CharT, class _Traits....>
class basic_string_view {
public:
   typedef _CharT value_type;
   ...
   template <class _Allocator>
   basic_string_view(const basic_string<_CharT, _Traits, _Allocator>& str):
       __data(str.data()), __size(str.size())
   {
   }

private:
   const value_type* __data;
   size_type __size;
};

这个实现是否意味着如果我们将rvalue表达式传递给这个构造函数,在构造之后使用__data时我们会得到未定义的行为？

Answer 1

那就对了.A string_view是具有引用语义的非拥有包装器,只有在引用的字符串超出视图使用时才能使用它.

典型的用例是函数参数,其中实际字符串在函数调用期间存在,函数体从不存储视图,但只读取它:

void foo(std::experimental::string_view message)  // pass by value
{
    std::cout << "You said, '" << message << "'.\n";
}

用法:

foo("Hello");       // OK, string literal has static storage
foo(s);             // OK, s is alive
foo(s.substr(1));   // OK, temporary lives until end of full-expression

道德是:如果你只需要函数体持续时间的字符串,给函数一个string_view参数,它可以统一绑定到任何类型的stringoid参数.你不需要一个功能模板,复制string_views很便宜,你可以免费获得一些整洁的子串操作.相比之下,永远不要存储string_view,但始终存储string:

struct X
{
    X(std::experimental::string_view s) : s_(s) {}

    std::string s_;     // NEVER have a string_view class member!
};