传递临时 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;
};

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

Answer 1

没错。 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!
};