Тип результата

В функциональном программировании тип результата — это монадический тип, содержащий возвращаемое значение или код ошибки. Они предоставляют элегантный способ обработки ошибок, не прибегая к обработке исключений; когда функция, которая может дать сбой, возвращает тип результата, программист вынужден учитывать пути успеха или неудачи, прежде чем получить доступ к ожидаемому результату; это исключает возможность ошибочного предположения программиста.

Примеры

• В Elm он определяется стандартной библиотекой как type Result e v = Ok v | Err e.
• В Haskell по соглашению Either для этой цели используется тип, который определяется стандартной библиотекой как data Either a b = Left a | Right b, где a тип ошибки и b это возвращаемый тип.
• В Котлине он определяется стандартной библиотекой как value class Result<out T>.
• В OCaml он определяется стандартной библиотекой как type ('a, 'b) result = Ok of 'a | Error of 'b type.
• В Rust он определяется стандартной библиотекой как enum Result<T, E> { Ok(T), Err(E) }.
• В Scala стандартная библиотека также определяет Either тип, однако Scala также имеет более традиционную обработку исключений .
• В Swift он определяется стандартной библиотекой как @frozen enum Result<Success, Failure> where Failure : Error.
• В C++ он определяется стандартной библиотекой как std::expected<T, E>.
• В Python он доступен из сторонних библиотек, таких как return и result .

Ржавчина

Объект результата имеет методы is_ok() и is_err().

const CAT_FOUND: bool = true;

fn main() {
    let result = pet_cat();
    if result.is_ok() {
        println!("Great, we could pet the cat!");
    } else {
        println!("Oh no, we couldn't pet the cat!");
    }
}

fn pet_cat() -> Result<(), String> {
    if CAT_FOUND {
        Ok(())
    } else {
        Err(String::from("the cat is nowhere to be found"))
    }
}

См. также

• Тип опции
• Обработка исключений
• Теговый союз
• Тип возврата