Конечно поправили, gcc до 7 генерировал неправильный код.
В случае с стримами порядок вызовов функций четко определен.

C++ (Qt)
std::cout << a() << b() << c() << std::endl;
 

Если в b() генерируется исключение, то в потоке должен остаться результат от a(). А теперь посмотрите что кодогенерит gcc до 7.

Он великолепен.

Основная ваша проблема в этом:
Как только вы сделаете отдельный метод, все у вас начнет получаться.

с 50% вероятностью ответ нет

Для того, что бы появились новые структуры данных, эти новые структуры сначала должен кто-то придумать.
Т.к. от std-шников ждать ничего не приходится, то остаетесь только вы.
А как придумаете, то std-шники сразу эти новые структуры реализуют в своем убогом std.

В этом правда есть.

Изложу лишь следущее: если бы selection был владеющий отдельной копией объекта, т.е. QSet<CData> (не CData*) - это как-то принципиально сломало бы ваш код? Предположу, что нет. Указатель вы используете для уменьшения потребления памяти, ну и бонусом хэш-функция уже есть. Т.е. использование в selection указателей или самих данных определяется их размером, что, согласитесь, семантически ничтожный аргумент. Поэтому ссылка в данном случае - это эффективное владение.

Я допускаю, что выбор указателя может быть как-то связан с хэшированием, например CData неуникальны. Или для них нетривиально придумать хорушую хэш функцию. 

Ваш код был бы проще, если бы было единообразие, которое позволило бы единую обработку шаблонной функцией без is_pointer:

Порядок таков, что если CData - это класс-сущность (identity class), то используются указатели, если класс данных - то сами классы.

От специфики задачи зависит, порой, все  Если у вас часто случаются пулеметные вставки, может рассмотреть вариант сперва сформировать вставку в виде вектора, а потом вставить ее в контейнер как единое целой, т.е. никаких multiply вставок?

Ну как байка? Например, в QList не засунешь std::unique_ptr, а std::unique_ptr в контейнере - это сплошь и рядом. Да, вы можете засунуть std::shared_ptr/QSharedPointer - но это другая (более широкая) семантика, да и код будет менее эффективным.

Например, QList нет еmplace, а еmplace, в свою очередь, может оказаться решающим доводом в пользу типа данных контейнера, соот-но QList дает меньшую свободу.

А что мешает тогда создать временный вектор поинтеров на mData? Это всего-то 2 строчки кода..

QList<CData*> dataList;
for (auto& data: mData) dataList << &data;

ну и дальше где нужно выбирать:

auto & dst = useSelection ? mSelection : dataList;
for (auto & data : dst) {
 ..
}

Я на это смотрю и думаю: Да, этому парню говнокод не предложишь.