reference_wrapper и string

[maks1331]

Доброго времени суток всем форумчанам, сначала суть, потом вопросы:

При использовании reference_wrapper для реализации полиморфизма и при наличии переменных типа string, при их выводе (в нашем случае метод) - string пустые, а фундаментальные типы в порядке! Но только в том случае, если помещенный в массив элемент выходит из своей области видимости до его вывода(вызова)! Пример:

Используем string и объекты не выходят из области видимости перед вызовом методов.

#include <iostream>
#include <vector>
#include <functional>
#include <string>

class Parent {
protected:
    int m_value;
    std::string m_firstName = "test";
public:
    Parent(int value) : m_value(value)  {}
    virtual const char* getName() const { return "Parent"; }
    int getValue() const { return m_value; }
    std::string getFirstName() const { return m_firstName; }
};

class Child : public Parent {
public:
    Child(int value) : Parent(value) {}
    virtual const char* getName() const { return "Child"; }
};

int main()
{
    std::vector<std::reference_wrapper<Parent> > v;
    Parent p(7);
    Child ch(8);
    v.push_back(p);
    v.push_back(ch);
    for (int count = 0; count < v.size(); ++count)
        std::cout << "I am a " << v[count].get().getName() << " with value " << v[count].get().getValue() << " " << v[count].get().getFirstName() << "\n";
    return 0;
}

I am a Parent with value 7 test
I am a Child with value 8 test

Используем string и объекты выходят из области видимости перед вызовом методов.

#include <iostream>
#include <vector>
#include <functional>
#include <string>

class Parent {
protected:
    int m_value;
    std::string m_firstName = "test";
public:
    Parent(int value) : m_value(value)  {}
    virtual const char* getName() const { return "Parent"; }
    int getValue() const { return m_value; }
    std::string getFirstName() const { return m_firstName; }
};

class Child : public Parent {
public:
    Child(int value) : Parent(value) {}
    virtual const char* getName() const { return "Child"; }
};

int main()
{
    std::vector<std::reference_wrapper<Parent> > v;
    {
        Parent p(7);
        Child ch(8);
        v.push_back(p);
        v.push_back(ch);
    }
    for (int count = 0; count < v.size(); ++count)
        std::cout << "I am a " << v[count].get().getName() << " with value " << v[count].get().getValue() << " " << v[count].get().getFirstName() << "\n";
    return 0;
}

I am a Parent with value 7
I am a Child with value 8

И как вы можете наблюдать, происходит магия. Ибо фундаментальный int живой, а string - умер! Если работать с char - проблема отпадает.

win 10 x64, visual studio 19

Вопросы:
1) Почему это происходит? (Кто знает тонкости процессов)
2) Есть типовой способ решения?
3) Использование reference_wrapper на практике вообще актуально? Или лучше реализовывать контейнеры-полиморфы через умный указатель?

[FrosyaZZ]

Нет никаких тонкостей.
std::reference_wrapper содержит указатель на то, что передали. При выходе из области видимости вызываются деструкторы, в частности std::string удаляет память (если выделялось) и устанавливает размер в 0. Память после освобождения может некоторое время не меняться. Поэтому базовые типы "там еще лежат", а вместо вашего std::string "лежит" пустой std::string.

[maks1331]

FrosyaZZ, спасибо за объяснение