Можно ли объявить функцию main с помощью спецификатора noexcept?

Стандарт [[basic.start.main]] определяет следующие ограничения для функции main:

Реализация должна позволять:

— функция(), возвращающая int и

— функция (int, указатель на указатель на char), возвращающая int

Более того:

Программа, определяющая main как удаленную или объявляющая main встроенной, статической или constexpr, является некорректной.

На практике спецификаций квалификатора noexcept для main не существует. С другой стороны, noexcept можно использовать в качестве спецификатора для любой функции. Это означало бы, что main noexcept не неправильный формат.

Какая разница без noexcept main?

Поскольку стандарт не очень подробно описывает функцию noexcept для main, как мы видели, мы можем попытаться вывести некоторое поведение и проверить реализации.

Из здесь:

Всякий раз, когда генерируется исключение и поиск обработчика обнаруживает самый внешний блок функции, не вызывающей исключение, вызывается функция std::terminate.

Общее правило для исключений можно найти здесь:

Если возникает и не перехватывается исключение, включая исключения, которые обходят начальную функцию std::thread, основную функцию и конструктор или деструктор любых статических или локальных объектов потока, то вызывается std::terminate. Реализация определяет, происходит ли раскручивание стека для неперехваченных исключений.

Это означает, что функция throw из main всегда генерирует вызов std::terminate. Независимо от noexcept спецификации main.

Сторона реализации:

Действительно, следующие коды:

int main(int argc, char* argvp[]) {
  throw 1;
  return 0;
}

а также

int main(int argc, char* argvp[]) noexcept {
  throw 1;
  return 0;
}

будет производить ту же выходную сборку. Например, в GCC:

main:
        movl    $4, %edi
        subq    $8, %rsp
        call    __cxa_allocate_exception
        xorl    %edx, %edx
        movl    $1, (%rax)
        movl    typeinfo for int, %esi
        movq    %rax, %rdi
        call    __cxa_throw

Это означает, что он будет преобразован в вызов std::terminate, потому что кадр стека пуст на основном уровне, независимо от спецификации noexcept.

Тип main в int main() noexcept; — это «функция (), возвращающая int» в C++14 и «noexcept функция (), возвращающая int» в C++17.

Первый явно требуется для поддержки [basic.start.main]. Последнее не так.

Это похоже на дефект в C++17.