C++ teplate class. Пoмогите! Почему вылетает segfault при попытке запихнуть std::string?

Question

[LittleFatNinja]

помогитее!!! уже не знаю что делать
пишу типа std::vector-а
допустим выделяю 100 байт, если создать список с int-ами, то все ок, если же со std::string то получаю segmentation fault при добавлении. вроде все правильно делаю, память выделяется, перепробовал все что знал и гуглил

ArrayList<int> *list = new ArrayList<int>();
list->push_back(5);  // ok

ArrayList<string> *list = new ArrayList<string>();
list->push_back("hello");  // segfault

template <class Type> 
class ArrayList {

private:
	Type *array;

public:
	ArrayList() : {
		array = (Type*) malloc(100);
	}
	~ArrayList() {
		free(array);
	}

	void push_back(Type elem) {
		array[0] = elem;
	}

const Type& operator[](size_t index) const {
	    return array[index];
	}
};

Answer 1

[Вячеслав]

array[0] = elem;
это означает вызов
array[0].operator=(elem);
в функции "string::operator=()" и падает, т. к. в array[0] находится мусор, потому что для него (для array[0]) конструктор не вызывался

Вместо
array = (Type*) malloc(100);
возможно имелось ввиду
array = new Type[100];
а место free, тогда delete[]array

Comments

[marked-one]

LittleFatNinja , обрати внимание, это правильный ответ. malloc - это привет из языка C, он не предназначен для выделения памяти под объекты, и не вызывает их конструктора. В результате, у тебя не массив объектов std::string, а указатель на блок памяти размером в 100 байт, приведенный к типу std::string* . Используй new/delete.

Answer 2

[Евгений Шатунов]

Штука первая, делать надо не так:
array = (Type*) malloc(100);
а так:
array = new Type[ 100 ];
или, лучше, вот так:

array = static_cast<Type*>( new uint8_t[ 100 * sizeof( Type ) ] );

Штука вторая. У тебя в выделенном блоке памяти мусор лежит. Надо сперва память подготовить. Делаем вот так:
memset( array, 0, 100 * sizeof( Type ) );
Это приведет к очистке памяти. Но и после этого память все еще нельзя использовать.

Следом надо переделать вот так:

void push_back(Type elem) {
    new( array ) Type();
    array[0] = elem;
  }

или так:

void push_back(Type elem) {
    new( array ) Type( elem );
  }

Answer 3

[Vinatorul]

Ну начнём с того, что string в с++ это объект std::string.
Type *array получается указатель на объект типа string.
Вы выделяете 100 байт памяти и указатель на эту память преобразуете в указатель на объект типа std::string.
А потом в эти 100 байт пытаетесь записать объект, который, очевидно, имеет размер больше 100 байт.

UPD
Попробуйте добавить больше 25 элементов типа int или более 12 элементов типа double - получите тот же segfault

UPD2
Вообще обычно такие вещи делают связным списком

UPD3
Нашел несложную реализацию двусвязного списка на хабре.

Comments

[LittleFatNinja]

я и так пробовал
(Type*) malloc(100 * sizeof(Type));
и так
(Type*) malloc(100000);

все равно segfault

[Vinatorul]

LittleFatNinja: Так потому что не надо так объекты копировать. Вы либо из строки вытаскивайте c_str - массив char`ов. Либо храните массив указателей.

[Vinatorul]

LittleFatNinja: Вот ещё литература от создателя STL: www.stepanovpapers.com/notes.pdf

[LittleFatNinja]

Vinatorul: ща буду пробывать, спасибо

[Vinatorul]

LittleFatNinja: используйте лучше структуру данных "связный список", в ней хранится указатель на начало и на конец списка (отсюда push_back и push_front), а все элементы списка хранят ссылку на следующий и предыдущий элемент. Существуют также различные варианты таких списков, я описал двусвязный.

[LittleFatNinja]

Vinatorul: просто еще дело в том что если взять std::vector и засунуть туда string то проблем не возникает. это потому что он намного сложнее устроен?

[Vinatorul]

LittleFatNinja: ну vector это односвязный список, если мне не изменяет память, т.е. каждый элемент хранит указатель на предыдущий. А сам std::vector хранит указатель на последний элемент. Отсюда сразу становится понятно почему есть push_back и pop_back, но нет push_front и pop_front

[Vinatorul]

LittleFatNinja: Про контейнеры, всякие подобные списки очень хорошо написано у Макса Шлее "Профессиональное программирование на с++", он разбирает подобные вещи на примере их реализации в Qt

[Евгений Шатунов]

Vinatorul: У него память выделяется через malloc, а конструктор (даже implace) не вызывается. В его массиве мусор лежит и именно поэтому происходит SEGFAULT. Всё.
LittleFatNinja: Еще раз совету пересесть за учебники.

Answer 4

[Дмитрий]

1) string это объект, он занимает в памяти больше, чем вы предполагаете
2) прочитайте про временные объекты

Comments

[LittleFatNinja]

1)
string x = "hello";
cout << sizeof(x);
output: 8
выделял очень много, все равно не помогло
2) прочитаю