Блог

Меня всегда немного смущало, как контейнеры STL (vector, list, map …) хранят значения. Хранят ли они ссылки на значения, которые я передаю, или они копируют / копируют конструкцию сохраняют сами значения?

Например,

 int i;
vector<int> vec;
vec.push_back(i);
// does amp;(vec[0]) == amp;i;
  

и

 class abc;
abc inst;
vector<abc> vec;
vec.push_back(inst);
// does amp;(vec[0]) == amp;inst;
  

Спасибо

Контейнеры STL копируют-конструируют и сохраняют передаваемые вами значения. Если вы хотите хранить объекты в контейнере, не копируя их, я бы предложил сохранить указатель на объект в контейнере:

 class abc;
abc inst;
vector<abc *> vec;
vec.push_back(amp;inst);
  

Это наиболее логичный способ реализации контейнерных классов для предотвращения случайного сохранения ссылок на переменные в несуществующих фреймах стека. Рассмотрим:

 class Widget {
public:
    void AddToVector(int i) {
        v.push_back(i);
    }
private:
    vector<int> v;
};
  

Хранить ссылку на i было бы опасно, поскольку вы ссылались бы на ячейку памяти локальной переменной после возврата из метода, в котором она была определена.

Это зависит от вашего типа. Если это простой тип значений и его дешево копировать, то сохранение значений, вероятно, является решением. С другой стороны, если это ссылочный тип или его дорого копировать, вам лучше сохранить интеллектуальный указатель (не auto_ptr, поскольку его специальная семантика копирования не позволяет хранить его в контейнере. Выберите shared_ptr). С простым указателем вы рискуете утечкой памяти и доступом к освобожденной памяти, в то время как со ссылками вы рискуете последним. Интеллектуальный указатель позволяет избежать обоих.