string_view Verhalten beim Passieren temporäre std :: string

Question

Ich lief in einiges Missverständnis: zumindest in libC++ Implementierung std :: Versuch :: string_view hat die folgende kurze Einführung:

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; 
}; 

Ist diese Umsetzung bedeutet, dass Wenn wir einen rvalue-Ausdruck an diesen Konstruktor übergeben, erhalten wir bei der Verwendung von __data nach der Konstruktion ein undefiniertes Verhalten.

Answer 1

Das stimmt. A string_view ist ein nicht besitzender Wrapper mit Referenzsemantik, der nur verwendet werden darf, wenn der Verweis die angegebene Ansicht überlebt.

Der typische Anwendungsfall ist in Funktionsparameter in dem die tatsächliche Zeichenfolge für die Dauer des Funktionsaufrufes lebt und die Funktion Körper nie die Ansicht speichert, sondern nur liest es:

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

Verbrauch:

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 

die Moral ist: Wenn Sie nur die Zeichenfolge für die Dauer der Funktionskörper benötigen, geben Sie der Funktion einen string_view Parameter, und es kann gleichmäßig auf jede Art von stringoid argume binden nt. Sie benötigen keine Funktionsschablone, das Kopieren string_view s ist billig, und Sie erhalten einige nette substringing Operationen für freies. Im Gegensatz dazu speichern nie ein string_view, aber immer speichert eine string:

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

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