А не необходимость

если мне надо из vector1 переместить несколько (что важно, не все) элементов в vector2, при этом удалив их из vector1 - какой оптимальный алгоритм?
я пока что пришел к
итерируюсь от begin() до end() -> в случае перемещения элемента (то есть, удаления с оригинального вектора) делаю --it, в следствии чего ++it после тела цикла вернет его на место
только вопрос, вычисляется ли заново в каждой итерации end() в случае смены размера вектора (чтоб он не вышел на невалидный адрес)
upd: последний вопрос про end() снят, увидел пример на цппрефе

ну я вот вчера использовал  для такой задачи
есть такой вот типа код - MCInst - базовый тип для эмиссии машинного кода - в нем по сути содержатся байты без всякой доп информации
std::unique_ptr<MCInst> ins;

ins = emitter.emit(*ctr);

но для некоторых операций есть аппаратные ограничения которые неплохо бы проверять, они(если есть) добавляются в класс - наследник  MCInst и в валидаторе мы пробуем сделать каст к этому классу - и если он получается - проверяем для него рестрикшены
if (not Validator::validate(ins))
{
  return false;
}

Почему в базовый класс не вынести функцию просто? Либо сделать базовый класс "операция с ограничениями", насладник вашего супер общего класса

разделение ответственности

Скопировать элементы в новый вектор, удалить из старого, ВСЁ.

нижним уровням не нужно знать ни про какие рестрикшены

им нужен массив байтов

Да, потому я думаю что операции с ограничениями это другой базовый класс

У которого уже есть нужное апи

И даункасты пропали )

только теперь мы должны под 2 типа весь код переписать

операции с ограничениями  и без

Один наследник другого

Что значит переписать

так так и сделано

просто по дезигну - emit возвращает std::unique_ptr<MCInst>

Кому надо знать про рестрикшены принимает класс базовый с рестрикшенами

emit для каждой операции свою перегрузку имеет

и для тех кому надо - мы внутри emit создаем MCInstRestrictions : MCInst
и возвращаем std::unique_ptr<MCInst>