Можно ли использовать Place-new и vector :: data () для замены элементов в векторе?

Существует два существующих вопроса о замене векторных элементов, которые нельзя назначить:

• C ++ использует неопределяемые объекты в векторе
• Как push_back без оператора = () для постоянных членов?

Типичная причина того, что объект не присваивается, состоит в том, что его определение класса включает const члены и, следовательно, имеет свои operator= удален.

std::vector требует, чтобы его тип элемента был назначаемым. И действительно, по крайней мере, с помощью GCC, ни прямого назначения (vec[i] = x;), ни сочетание erase() а также insert() заменить элемент работает, когда объект не может быть назначен.

Может ли функция, подобная следующей, которая использует vector::data(), прямое уничтожение элемента и размещение нового с помощью конструктора копирования, будут использоваться для замены элемента, не вызывая неопределенного поведения?

template <typename T>
inline void replace(std::vector<T> &vec, const size_t pos, const T& src)
{
T *p = vec.data() + pos;
p->~T();
new (p) T(src);
}

Пример используемой функции приведен ниже. Это компилируется в GCC 4.7 и, кажется, работает.

struct A
{
const int _i;
A(const int &i):_i(i) {}
};

int main() {
std::vector<A> vec;
A c1(1);
A c2(2);

vec.push_back(c1);
std::cout << vec[0]._i << std::endl;

/* To replace the element in the vector
we cannot use this: */
//vec[0] = c2;

/* Nor this: */
//vec.erase(begin(vec));
//vec.insert(begin(vec),c2);

/* But this we can: */
replace(vec,0,c2);
std::cout << vec[0]._i << std::endl;

return 0;
}