TryFrom и TryInto

This tutorial is from open-source community. Access the source code

💡 Этот учебник переведен с английского с помощью ИИ. Чтобы просмотреть оригинал, вы можете перейти на английский оригинал

Введение

В этом лабе мы исследуем использование TryFrom и TryInto в Rust, которые являются обобщенными трейтами для ошибочных преобразований между типами и возвращают типы Result. Мы предоставляем пример кода, демонстрирующий реализацию TryFrom для преобразования i32 в пользовательскую структуру EvenNumber, а затем показываем, как использовать TryFrom и TryInto для выполнения преобразования и обработки возможных ошибок.

Примечание: Если лаб не задает имя файла, вы можете использовать любое имя файла, которое хотите. Например, вы можете использовать main.rs, скомпилировать и запустить его с помощью rustc main.rs &&./main.


Skills Graph

%%%%{init: {'theme':'neutral'}}%%%% flowchart RL rust(("Rust")) -.-> rust/BasicConceptsGroup(["Basic Concepts"]) rust(("Rust")) -.-> rust/DataTypesGroup(["Data Types"]) rust(("Rust")) -.-> rust/FunctionsandClosuresGroup(["Functions and Closures"]) rust(("Rust")) -.-> rust/DataStructuresandEnumsGroup(["Data Structures and Enums"]) rust(("Rust")) -.-> rust/AdvancedTopicsGroup(["Advanced Topics"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/DataTypesGroup -.-> rust/integer_types("Integer Types") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/DataStructuresandEnumsGroup -.-> rust/method_syntax("Method Syntax") rust/AdvancedTopicsGroup -.-> rust/traits("Traits") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99300{{"TryFrom и TryInto"}} rust/integer_types -.-> lab-99300{{"TryFrom и TryInto"}} rust/function_syntax -.-> lab-99300{{"TryFrom и TryInto"}} rust/expressions_statements -.-> lab-99300{{"TryFrom и TryInto"}} rust/method_syntax -.-> lab-99300{{"TryFrom и TryInto"}} rust/traits -.-> lab-99300{{"TryFrom и TryInto"}} rust/operator_overloading -.-> lab-99300{{"TryFrom и TryInto"}} end

TryFrom и TryInto

Похожи на From и Into, [TryFrom] и [TryInto] - обобщенные трейты для преобразования между типами. В отличие от From/Into, трейты TryFrom/TryInto используются для ошибочных преобразований и, соответственно, возвращают [Result].

use std::convert::TryFrom;
use std::convert::TryInto;

#[derive(Debug, PartialEq)]
struct EvenNumber(i32);

impl TryFrom<i32> for EvenNumber {
    type Error = ();

    fn try_from(value: i32) -> Result<Self, Self::Error> {
        if value % 2 == 0 {
            Ok(EvenNumber(value))
        } else {
            Err(())
        }
    }
}

fn main() {
    // TryFrom

    assert_eq!(EvenNumber::try_from(8), Ok(EvenNumber(8)));
    assert_eq!(EvenNumber::try_from(5), Err(()));

    // TryInto

    let result: Result<EvenNumber, ()> = 8i32.try_into();
    assert_eq!(result, Ok(EvenNumber(8)));
    let result: Result<EvenNumber, ()> = 5i32.try_into();
    assert_eq!(result, Err(()));
}

Резюме

Поздравляем! Вы завершили лабу по TryFrom и TryInto. Вы можете практиковаться в других лабах в LabEx, чтобы улучшить свои навыки.