Беззнаковые целые как индексы массива в цикле

[Aoizora]

Мне нужно реализовать вставку элемента в динамический массив по заданному индексу, для этого я сдвигаю вправо все элементы, начиная с этого индекса, и после этого в заданную позицию вставляю нужные данные. Все индексы должны быть беззнаковыми целыми, и всвязи с этим возникла проблема остановки цикла:

template <typename TData>
void CArray<TData>::insert(unsigned int _index, const TData & _value)
{
	check_index(_index, "CArray::insert: Index out of range");
	check_and_realloc();

	for (std::size_t i = size() - 1; i >= _index; --i)
		elements[i + 1] = elements[i];
	elements[_index] = _value;
}

Здесь функция check_index проверяет допустимость индекса и выбрасывает исключение; check_and_realloc увеличивает размер динамического массива при необходимости.

Условие цикла i >= _index никогда не выполняется из-за того, что int без знака. Как можно исправить эту проблему?

[Cuprum5]

Почему не выполнится, если должно выполнится? size_t - это же по-моему int тот же самый, ну а почему не выполняется-то? Замените тип i на unsigned int. И в условии я бы заменил ">=" на просто ">".

[waleri]

У вас, кроме всего прочего, выход за пределы массива.
Начинайте от size() - 1 повторяйте до i > index + 1
Сдвиг делайте так:
elem[i] = elem[i - 1]

[Aoizora]

Переписал вот так:

template <typename TData>
void CArray<TData>::insert(unsigned int _index, const TData & _value)
{
	check_index(_index, "CArray::insert: Index out of range");
	check_and_realloc();

	for (std::size_t i = size() - 1; i > _index + 1; --i)
		elements[i] = elements[i - 1];
	elements[_index] = _value;
	++first_free;
}

arr.insert(0, -1);

Теперь вставка невозможна в массив, состоящий из двух элементов, потому что тогда цикл не выполняется ни разу. Как можно это исправить?

[New man]

Сообщение от Aoizora

for (std::size_t i = size() - 1; i > _index + 1; --i)

for (std::size_t i = size() - 1; i > _index; --i)

[Aoizora]

Сообщение от New man

for (std::size_t i = size() - 1; i > _index; --i)

>std::size_t i = size() - 1;
Вот насчет этого выражения у меня сомнения. Мой вектор устроет так: есть динамический массив elements, состоящий из элементов произвольного типа, указатели этого типа first_free на первый свободный элемент и cap на конец массив. Размер вектора вычисляется как first_free - elements, емкость как cap - elements. Увеличение размера вектора происходит автоматически при выполнении некоторых операций, когда size() == capacity(). Теперь об индексах. При перемещении элементов вправо, мне кажется, надо сначала занимать позицию, на которую указывает указатель first_free, сдвигать все элементы до _index включительно, а на место _index ставить новый элемент.

[waleri]

Я думаю, что в итоге будет так:

for (std::size_t i = size() - 1; i > _index + 1; --i)
  arr[i]  = arr[i - 1];

Последний элемент всегда свободен, ибо размер массива увеличен...