Карточка Middle Объединения и сужение обновлено
Type predicate
Вопрос
Что такое type predicate (x is T)?
Попробуйте сами
Ответьте про себя или вслух, потом откройте ответ и сверьтесь.
Показать ответ и разбор
Коротко
Возвращаемый тип функции-проверки, который говорит компилятору: если функция вернула true, аргумент имеет тип T. Компилятор не проверяет, что тело функции соответствует предикату, ответственность на авторе.
Ответ
Возвращаемый тип функции-проверки, который говорит компилятору: если функция вернула true, аргумент имеет тип T. Компилятор не проверяет, что тело функции соответствует предикату, ответственность на авторе.
Разбор
Возвращаемый тип функции-проверки, который говорит компилятору: если функция вернула true, аргумент имеет тип T. Компилятор не проверяет, что тело функции соответствует предикату, ответственность на авторе.
Ответьте сами, а не прочитайте
В тренажёре вопрос попадёт в повторения и вернётся, когда начнёт забываться. Плюс билеты с зачётом: 20 вопросов, не больше 2 ошибок.