Факториал зависит от порядка условий
Почему следующая программа компилируется
auto factorial(int x) {
if (x <= 1) {
return 1;
} else {
return x * factorial(x - 1);
}
}
int main() {
auto result = factorial(5);
}
, а такая же, но с переставленными условиями, - нет?
auto factorial(int x) {
if (x > 1) {
return x * factorial(x - 1);
} else {
return 1;
}
}
int main() {
auto result = factorial(5);
}
Если функция с дедуцируемым типом возвращаемого значения содержит несколько return, то те return, которые позволяют выполнить дедукцию типа, все должны дедуцировать один и тот же тип.
При этом допускаются return, которые не позволяют дедуцировать тип возвращаемого значения (напр. вызов функции, чей тип возврата еще не дедуцирован, в т.ч. рекурсивный вызов самой себя), но такой return не может быть самым первым в функции (при просмотре сверху-вниз).
То есть самый первый return в функции должен обеспечивать дедукцию типа возвращаемого значения. Остальные return должны либо совпадать с первым по дедуцируемому типу, либо хотя бы не мешать ему (т.е. не дедуцироваться вообще).
Так, смотрим, говорит компилятор... а смотреть он может - вот беда! - только на шаг вперед, не возвращаясь - потому и нельзя использовать функцию, например, без предварительного объявления
auto factorial(int x) {
Ладно, запомним, что тип мы пока не знаем... И поэтому функция пока не объявлена.
if (x > 1) {
return x * factorial(x - 1);
Ой! А что тут вернуть? Если тип factorial мы не знаем? мы сталкиваемся с использованием неизвестной, не объявленной функции :( Что еще можно сделать - только сообщить об ошибке :(
А тут -
auto factorial(int x) {
Ага, запомним, что вы не знаем возвращаемый тип, и пойдем дальше...
if (x <= 1) {
return 1;
Ура! теперь мы знаем, что возвращаемый тип - int! Функция объявлена полностью...
} else {
return x * factorial(x - 1);
так что тут мы вполне можем ее использовать.
-
17:01
-
11:24
-
10:16
-
17:54
-
22:01
-
13:03
-
12:54
Айфон мало держит заряд, разбираемся с проблемой вместе с AppLab
-
21:25
-
07:04
- Почему SERVER_ADDR имеет не тот IP 47563 visits
- Как заменить $_SERVER[REMOTE_ADDR] на IP клиента в PHP за двумя Nginx? 30496 visits
- Хочу вывести несколько строк из массива в один div, выводит только много undefined; подскажите, что делать? 23632 visits
- Как через css изменить цвет png изображения? 10350 visits
- Blob video url download 9959 visits
- Php curl запрос через прокси с авторизацией 9212 visits
- Работа с captcha vk api 8094 visits
© "hostciti.net" 26.11.2024 | 21:47