может ли компилятор устранить распределения памяти кучи?

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

поведение компилятора

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

• g (5.2.0) и Visual Studio 2015 не оптимизируют. ) оптимизирует новый вызов, даже с полными флагами оптимизации.

достоверность оптимизации компилятора является предметом дебатов. Некоторые утверждают, что компилятору не разрешается оптимизировать новые вызовы, поскольку они могут иметь наблюдаемое поведение (например, бросая исключение). Другие утверждают, что оптимизация новых вызовов разрешена, если компилятор может гарантировать, что никакое наблюдаемое поведение не будет затронуто.

n3664: уточнение распределения памяти уточняло правила, касающиеся оптимизации компилятора и распределения памяти. Это позволяет компиляторам оптимизировать распределения памяти в определенных сценариях. Однако, это положение подвергалось критике, поскольку оно потенциально нарушает причинность.

не проводящий новый
• : clang также оптимизируют вызовы, не выходящие на новую оператор. Оператор Новые реализации в различных единицах перевода могут повлиять на обоснованность оптимизации компилятора, связанных с распределением кучи.
• Заключение
]

Заключение

вывод

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