D
Size: a a a
2020 December 20
AT
Ну я думаю вопрос в том, почему, если он не в else, он влияет на вывод типа?
Ну а как ещё должен работать автоматический вывод типа возвращаемого значения?
LA
Ну я думаю вопрос в том, почему, если он не в else, он влияет на вывод типа?
Потому что
if conxtexpr выбирает только одну ветвь в компильтайме и остальные выбрасываются, соответственно возвращаемый тип известенD
Ну а как ещё должен работать автоматический вывод типа возвращаемого значения?
Ну пройтись по конкретному пути и вывести тип
По сути алгоритм схож с тем, что не во всех ветках есть
По сути алгоритм схож с тем, что не во всех ветках есть
returnD
Потому что
if conxtexpr выбирает только одну ветвь в компильтайме и остальные выбрасываются, соответственно возвращаемый тип известенЕщё раз
Почему он не может отбросить не ветку
Почему он не может отбросить не ветку
if constexpr, если в if constexpr есть однозначный return?LA
Ещё раз
Почему он не может отбросить не ветку
Почему он не может отбросить не ветку
if constexpr, если в if constexpr есть однозначный return?Это докапывание до реализации, как по мне, но думаю, что именно потому что ветка выбирается на этапе компиляции и после этого, по факту, остаётся две return-инструкции и тут уже компилятор не знает ничего о предыдущем этапе "отбрасывания". Но это бессмысленные догадки. Посмотреть в стандарте надо
D
Это докапывание до реализации, как по мне, но думаю, что именно потому что ветка выбирается на этапе компиляции и после этого, по факту, остаётся две return-инструкции и тут уже компилятор не знает ничего о предыдущем этапе "отбрасывания". Но это бессмысленные догадки. Посмотреть в стандарте надо
Да нет
Вопрос в том, что
У нас в
Вопрос в том, что
У нас в
if constexpr однозначно по всем путям есть return
Почему ему надо смотреть куда-то ещё, кроме как эту самую ветку?if constexpr (1)Вот почему нельзя посмотреть просто на
if (1)
return 1;
else
return 0;
return std::string{};
if constexpr, увидеть что из него мы никуда не выходим и просто отбросить другие части функции?LA
Да нет
Вопрос в том, что
У нас в
Вопрос в том, что
У нас в
if constexpr однозначно по всем путям есть return
Почему ему надо смотреть куда-то ещё, кроме как эту самую ветку?if constexpr (1)Вот почему нельзя посмотреть просто на
if (1)
return 1;
else
return 0;
return std::string{};
if constexpr, увидеть что из него мы никуда не выходим и просто отбросить другие части функции?Потому что
if constexpr просто выбор нужного блока инструкций на этапе компиляции, после чего у нас остаётся обычная функция. Там ведь не обязан быть return-statement. Вероятно, так сделать можно было бы, но не сделано, поэтому вопрос именно к реализации. Ну или стандарту. Можешь написать пропозалNK
Да нет
Вопрос в том, что
У нас в
Вопрос в том, что
У нас в
if constexpr однозначно по всем путям есть return
Почему ему надо смотреть куда-то ещё, кроме как эту самую ветку?if constexpr (1)Вот почему нельзя посмотреть просто на
if (1)
return 1;
else
return 0;
return std::string{};
if constexpr, увидеть что из него мы никуда не выходим и просто отбросить другие части функции?вообще, такой код:
decltype(auto) foo() {
return 1;
return "kek";
}
int main() { foo(); }
тоже падает с ошибкой компиляции (с такой же как и предыдущий)D
вообще, такой код:
decltype(auto) foo() {
return 1;
return "kek";
}
int main() { foo(); }
тоже падает с ошибкой компиляции (с такой же как и предыдущий)Ну тут ещё проблема в том, что это не шаблон
AF
Пахнет очередной багой стандарта...
ну эт не баг
AT
Ну пройтись по конкретному пути и вывести тип
По сути алгоритм схож с тем, что не во всех ветках есть
По сути алгоритм схож с тем, что не во всех ветках есть
returnAF
вы хотите return заифать или че?
D
Ну вот опять же, почему оно не могло дискарднуться :(
AF
этого недостаточно
AF
там может быть любая noreturn функция и еще внутри куча ветвлений
AF
короче выделяйте блоками и всё, просто помните что else это на самом деле constexpr else просто слово опустили, но оно важно