/Zc:throwingNew (новые исключения оператора assume)

  • Статья

При указании параметра /Zc:throwingNew компилятор оптимизирует вызовы пропуска operator new проверка для возврата указателя NULL. Этот параметр указывает компилятору предположить, что все связанные реализации operator new и пользовательские распределители соответствуют стандарту C++ и вызывают сбой выделения. По умолчанию в Visual Studio компилятор пессимистично создает проверка null (/Zc:throwingNew-) для этих вызовов, так как пользователи могут связываться с неисключаемой реализацией operator new или записывать пользовательские подпрограммы распределителя, возвращающие указатели NULL.

Синтаксис

/Zc:throwingNew[-]

Замечания

Начиная с ISO C++98, стандарт указал, что оператор по умолчанию создает новые вызовы std::bad_alloc при сбое выделения памяти. Версии Visual C++ до Visual Studio 6.0 вернули пустой указатель на сбой выделения. Начиная с Visual Studio 2002, operator new соответствует стандарту и вызывает сбой. Для поддержки кода, использующего старый стиль выделения, Visual Studio предоставляет связываемую реализацию operator new в nothrownew.obj, которая возвращает указатель NULL на сбой. По умолчанию компилятор также создает оборонительные значения null проверка, чтобы предотвратить немедленное сбой этих старых элементов выделения стилей. Параметр /Zc:throwingNew указывает компилятору опустить эти пустые проверка, предполагая, что все связанные подсистемы выделения памяти соответствуют стандарту. Это не относится к явным неисключаемым operator new перегрузкам, которые объявляются с помощью дополнительного параметра типа std::nothrow_t и имеют явную noexcept спецификацию.

Концептуально, чтобы создать объект в свободном хранилище, компилятор создает код для выделения памяти, а затем вызывает его конструктор для инициализации памяти. Так как компилятор MSVC обычно не может определить, будет ли этот код связан с несоответствующим неисключаемым распределителем, по умолчанию он также создает значение NULL проверка перед вызовом конструктора. Это предотвращает разыменовку указателя NULL в вызове конструктора, если неисправное выделение завершается ошибкой. В большинстве случаев эти проверка не являются ненужными, так как методы выделения по умолчанию operator new вызывают вместо возврата указателей NULL. Проверка также имеют несчастные побочные эффекты. Они увеличивают размер кода, они заполняют прогнозировщик ветви, и они препятствуют другим полезным оптимизации компилятора, таким как девиртуализация или распространение конст из инициализированного объекта. Проверка существуют только для поддержки кода, который ссылается на nothrownew.obj или имеет пользовательские несоответствующие operator new реализации. Если вы не используете несоответствие operator new, рекомендуется использовать /Zc:throwingNew для оптимизации кода.

Параметр /Zc:throwingNew отключен по умолчанию и не влияет на параметр /permissive- .

При компиляции с помощью создания кода во время ссылки (LTCG) вам не нужно указывать /Zc:throwingNew. При компиляции кода с помощью LTCG компилятор может определить, operator new используется ли по умолчанию соответствующая реализация. В этом случае компилятор автоматически оставляет пустые проверка. Компоновщик ищет флаг /ThrowingNew , чтобы определить, соответствует ли реализация operator new . Этот флаг можно указать компоновщику, включив эту директиву в источник для новой реализации пользовательского оператора:

#pragma comment(linker, "/ThrowingNew")

Дополнительные сведения о вопросах соответствия в Visual C++ см. в статье Nonstandard Behavior.

Установка данного параметра компилятора в среде разработки Visual Studio

  1. Откройте диалоговое окно Страницы свойств проекта. Подробнее см. в статье Настройка компилятора C++ и свойства сборки в Visual Studio.

  2. В раскрывающемся меню "Конфигурация" выберите "Все конфигурации".

  3. Перейдите на страницу свойств Свойства конфигурации>C/C++>Командная строка.

  4. Измените свойство "Дополнительные параметры", чтобы включить /Zc:throwingNew или /Zc:throwingNew- и нажмите кнопку "ОК".

См. также

Параметры компилятора MSVC
Синтаксис командной строки компилятора MSVC
/Zc (соответствие)
noexcept (C++)
Спецификации исключений (throw) (C++)
завершение (исключение)