У меня есть следующий код:

 string join(initializer_list<string_view> strings);
  

initializer_list — это std::initializer_list, а string_view — это не std::string view, но очень похожий класс с конструкторами из const stringamp; и const char *.

Затем я получаю следующий вызов join :

 EXPECT_EQ("this", join({ string("this") }));
  

После небольшого исследования я обнаружил, что первым элементом результирующего списка инициализаторов является не "this" но "his" . Это связано с тем, что деструктор временного, созданного с помощью string("this") , вызывается сразу после создания временного string_view (поэтому он содержит недопустимые указатели). Почему это так, что время жизни string("this") не продлевается до конца полного выражения EXPECT_EQ("this", join({ string("this") })); ?

Редактировать

Хорошо, как вы и предлагали, есть автономный пример:

 #include <iostream>
#include <string>

using namespace std;

class string_view {
public:
    string_view(const stringamp; str)
        : _begin(str.data())
        , _end(str.data()   str.size()) {
    std::cout << "string_view(...)" << std::endl;
    }

    const char* _begin;
    const char* _end;
};

void join(initializer_list<string_view> strings) {
    std::cout << "join(...)" << std::endl;
    for (auto i = 0u; i < 5;   i) {
        std::cout << int(strings.begin()->_begin[i]) << " " << strings.begin()->_begin[i] << std::endl;
    }
}

int main() {
    join({ string("this") });
    return 0;
}
  

Выходные данные этой программы, скомпилированные с использованием последней версии Visual Studio C (Express):

 string_view(...)
join(...)
0
104 h
105 i
115 s
0
  

Это может варьироваться от компилятора к компилятору, поскольку приведенная выше программа, вероятно, неправильно сформирована.

Я исследовал, каков порядок вызовов в debugger, и вот последовательность:

 main()
    basic_string(const char*)
    string_view(const stringamp;)
    ~basic_string()
    initializer_list(...)
    join(...)
  

Я бы хотел, чтобы содержимое string("this") было доступно внутри join функции. И это не так, потому что строка `(«this») была уничтожена ранее.

Почему деструктор временной строки string("this") вызывается перед join вызовом функции или, другими словами, почему время жизни string("this") не продлевается до конца полного выражения join({ string("this") }) ?

Я думаю, что здесь может произойти то, что вы создаете свой initializer_list из ссылки на вашу строку, так что строка выходит из области видимости, когда ваш initializer_list завершает построение.

Вы видите, что ваша строка является параметром не для функции join(), а для созданного вами initializer_list.

Я предполагаю, что создается initializer_list, ваша строка выходит за пределы области видимости, а затем ваша функция join() пытается получить доступ к мертвой строке через ссылку, содержащуюся в string_view.