Смогу ли я сделать следующее для основной функции в С++ 1y (С++ 14):
auto main()
{
// ...
}
Так будет ли возвращаемый тип автоматически int, даже если нам не нужно использовать явный return 0;?
Будет ли работать автоматический вывод возвращаемого типа для main?
Ответы (1)
Нет, не допустят. Параграф 7.1.6.4/10 стандартного проекта C++14 N3690 определяет:
Если функция с объявленным типом возвращаемого значения, использующая тип-заполнитель, не имеет операторов
return, тип возвращаемого значения выводится как из оператораreturnбез операнда в закрывающей фигурной скобке тела функции. [...]
Это означает, что пропуск оператора return в main() сделает его тип void.
Специальное правило, введенное параграфом 3.6.1/5 об оттекании конца main(), определяет:
[...] Если управление достигает конца
main, не встречая оператораreturn, результатом является выполнениеreturn 0;
Формулировка гласит, что «эффект» во время выполнения программы такой же, как если бы присутствовал return 0, а не то, что в программу будет добавлен оператор return (который повлияет на вывод типа в соответствии с цитируемый абзац).
ИЗМЕНИТЬ:
Для этого существует Отчет о дефекте ( предоставлено Йоханнесом Шаубом ):
Предлагаемая резолюция (ноябрь 2013 г.):
Измените 3.6.1 [basic.start.main] пункт 2 следующим образом:
Реализация не должна предопределять основную функцию. Эта функция не должна быть перегружена. Он должен иметь объявленный возвращаемый тип типа int, но в остальном его тип определяется реализацией.
Все реализацииРеализация должна позволять
- функция
()возвращаетintи- функция (
int, указатель на указатель наchar), возвращающаяintкак тип...
person
Andy Prowl
schedule
16.06.2013
Но является ли вывод возвращаемого типа как
int следствием выполнения return 0;?
- person Ben Voigt; 16.06.2013
@BenVoigt: Ну, эффект заключается не в добавлении
return 0, а в 7.1.6.4/10 указывается, если функция с объявленным типом возвращаемого значения, использующая тип-заполнитель, не имеет операторов возврата [...]. Вытекание конца main не добавляет оператор return, поэтому остальная часть предложения должна применяться, а возвращаемый тип должен быть выведен как void
- person Andy Prowl; 16.06.2013
Вы говорите, что эффект выполнения означает, что эффекты времени компиляции не возникают? Существует ли на самом деле такое концептуальное различие? Мне трудно в это поверить.
- person Johannes Schaub - litb; 16.06.2013
@JohannesSchaub-litb: я говорю, что компилятор устроит вещи за капотом так, чтобы выполнение было идентично тому, которое было бы получено, если бы в программе явно присутствовал оператор
return 0;.
- person Andy Prowl; 16.06.2013
Ах я вижу. Думаю, так можно читать. Но, тем не менее, какой-то разработчик clang опубликовал отчет об этом, чтобы прояснить спецификацию здесь.
- person Johannes Schaub - litb; 16.06.2013
@Andy: Итак, вы говорите, что соответствующий компилятор может отклонить код как неправильно сформированный, но если он продолжит компиляцию, поведение во время выполнения должно быть таким же, как если бы оператор
return 0; присутствовал явно, по крайней мере, вплоть до присутствия или отсутствие неопределенного поведения?
- person Ben Voigt; 16.06.2013
@Бен: Не уверен, что понимаю. Я говорю, что компилятор должен отклонить код как неправильно сформированный, потому что отсутствие явного оператора
return заставит вывод типа сделать вывод, что main имеет возвращаемый тип void, что является недопустимым.
- person Andy Prowl; 16.06.2013
@Andy: Но требуется ли диагностика для
void main() или это просто неопределенное поведение?
- person Ben Voigt; 16.06.2013
@Ben: 3.6.1/2 не указывает, что диагностика не требуется, поэтому компилятор должен выдать диагностику
- person Andy Prowl; 16.06.2013
Согласно обсуждению основного рефлектора, это не будет разрешено, даже если
main содержит оператор возврата, возвращающий int. main фактически является повторным объявлением объекта во время выполнения, и его объявленный тип возвращаемого значения должен соответствовать этому объекту.
- person Richard Smith; 01.08.2013
Итак, каков эффект
return 0; в функции, которая возвращает void?
- person user253751; 09.10.2014
@immibis: Не уверен, что понимаю смысл вашего вопроса, в любом случае возврат что-либо из функции, тип возвращаемого значения которой
void, неверен и вызовет ошибку компилятора.
- person Andy Prowl; 10.10.2014
void. - person Puppy schedule 16.06.2013autoна одну букву длиннееint. - person milleniumbug schedule 16.06.2013return 0;. - person Bartek Banachewicz schedule 16.06.2013autoв качестве возвращаемого типаmain(). - person Ben Voigt schedule 16.06.2013auto { ... }. Очевидно, я хочу, чтобы здесь была функция запуска; автоматически вывести декларацию! :) - person Kaz schedule 10.06.2014