Конструкция из более одной ветки, но выполняющая одну (в зависимости от значения вычисляемого ключевого выражения), возвращающая целое значение (а условный оператор - логическое);в некоторых языках допускаются выражения типов, не приводимых к целому.