аб какое-то обмазывание контейнеров для подсказок компилятору

А как такой вектор от RAII guard'a отличить в общем случае?

по сайд-эффектам в деструкторе?

к сожалению, new/delete в текущем стандарте считаются side-effectами, как я понимаю

А это не так разве?

Имхо, если что-то и обмазывать - так это сами скоуп-гарды, а все остальное считать годным к оптимизации Естественно комитет на такое не пойдет, ибо баквард кококомпатибилити - из легаси кода, портируемого на новые компиляторы начнут пропадать непомеченные скоуп-гарды написанные в 1990-х, и программы пойдут в разнос. А про предупреждения компилятора в стандарте ни слова, да... И вообще, я наверняка еще какие-нибудь зловредные примеры упустил из виду

"кококомпатибилити" - архиважно

Вы ещё предложите legacy-код собирать с -Werror.

формально - так, но в стандарте уже есть примеры того, что некоторыми формальностями можно пренебречь для оптимизации (см. RVO, например). Имхо, тут тот же случай

Вместо вектора в примере мог быть какой-нибудь блокирующий слушатель, который один раз вызывается

Вы ещё предложите legacy-код собирать с -Werror.

по сайд-эффектам в деструкторе?

В любом случае будет работать только для POD типов. Ну и не всегда достаточно только на деструктор смотреть. Допустим, написал я себе класс, который помогает указатели на С++ объекты в lua_setglobal запихнуть. Деструктор мне, положим, вообще не нужен, потому что когда надо будет, то следующий helper положит то, что надо.

это сайд-эффект, совсем отдельный от new/delete

Но пример вектор + сорт, по сути, тоже такой, там не только аллокация, но и действия с памятью аллоцированной

про POD типы - не очень понятно

в идеальном мире - это не сайдэффект, если эти данные потом не используются (по модулю использования лишней памяти и cpu)

Вызов деструкторов у элементов вектора — тоже side-effect потенциальный. Поэтому гарантированно выкинуть вектор, как не использующийся, по-моему только для таких вот plain old типов получится.

А что если вместо сорта тестирование аллокатора, анпример? Тоже данные потом не нужны

Т.е. аллоцируется весь пул, допустим, а потом просто освобождаем

на этапе компиляции мы знаем, что там за деструктор (если он не виртуальный), на основе этого можно решать

А если у нас DLL и header к ней? Там откуда компилятор узнает, что происходит?

никак, в этом случае оптимизация не получилась

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

Если при вызове функции её аргумент изменяется ею — тоже побочный эффект. Т.е. int tits_size = 2; decrease(&tits_size); // теперь tits_size равны 0

Нет бы увеличить

Не люблю большие, сорь

Имхо, если что-то и обмазывать - так это сами скоуп-гарды, а все остальное считать годным к оптимизации Естественно комитет на такое не пойдет, ибо баквард кококомпатибилити - из легаси кода, портируемого на новые компиляторы начнут пропадать непомеченные скоуп-гарды написанные в 1990-х, и программы пойдут в разнос. А про предупреждения компилятора в стандарте ни слова, да... И вообще, я наверняка еще какие-нибудь зловредные примеры упустил из виду

После этого будет замечательный вопрос. Как обмазывать неиспользуемые скоуп гарды в параметрах функции

я неправильно выразился - не каждую переменную обмазывать, а в описании её класса указать [[no_optimized_away]], дабы компилятор ни в коем разе не вздумал выкидывать переменные этого типа, и вообще заикаться что они мол неиспользуемые

[[maybe_unused]] такое не умеет?

Это вообще супресс варнинга

Или его только в месте использования можно?

Я не понимаю зачем подсказки когда компилятор видит все поведение программы

Я не понимаю зачем подсказки когда компилятор видит все поведение программы

struct GLMatrixStacker { GLMatrixStacker() { glPushMatrix(); } ~GLMatrixStacker() { glPopMatrix(); } }; при создании переменной будет ругаться, что "создаётся неиспользуемая переменная с потенциальными сайдэффектами"

На Си как можно написать такие строки ? vector < vector <double> > arr(m); arr.resize(n); cout << endl; cout << setprecision(4) << setw(13) << scientific;

На Си как можно написать такие строки ? vector < vector <double> > arr(m); arr.resize(n); cout << endl; cout << setprecision(4) << setw(13) << scientific;

Какой-то тест с собеседования?

только не скомпилируется

Мммм, а как думаешь, где реверсится все и вся?)

А ида умеет в 64?

На Си как можно написать такие строки ? vector < vector <double> > arr(m); arr.resize(n); cout << endl; cout << setprecision(4) << setw(13) << scientific;

вторая строка навевает сильные подозрения, что там должно было быть for (size_t i=0; i<m; ++i) arr[i].resize(n);

ну тогда это же пишется vector<vector<double>> arr(m, vector<double>(n));