Введение в указатели в макросах Rust

RustRustBeginner
Практиковаться сейчас

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

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

Введение

В этом лабе мы познакомимся с концепцией указателей в макросах Rust. Указатели используются для добавления префикса к аргументам макроса и имеют тип, к которому они относятся. Некоторые примеры указателей включают ident для имен переменных/функций, expr для выражений, block для блоков кода и pat для шаблонов. Эти указатели используются в правилах макросов для генерации кода на основе предоставленных аргументов.

Примечание: Если в лабе не указано имя файла, вы можете использовать любое имя файла, которое хотите. Например, вы можете использовать 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/AdvancedTopicsGroup(["Advanced Topics"]) rust/BasicConceptsGroup -.-> rust/variable_declarations("Variable Declarations") rust/DataTypesGroup -.-> rust/type_casting("Type Conversion and Casting") rust/FunctionsandClosuresGroup -.-> rust/function_syntax("Function Syntax") rust/FunctionsandClosuresGroup -.-> rust/expressions_statements("Expressions and Statements") rust/AdvancedTopicsGroup -.-> rust/operator_overloading("Traits for Operator Overloading") subgraph Lab Skills rust/variable_declarations -.-> lab-99225{{"Введение в указатели в макросах Rust"}} rust/type_casting -.-> lab-99225{{"Введение в указатели в макросах Rust"}} rust/function_syntax -.-> lab-99225{{"Введение в указатели в макросах Rust"}} rust/expressions_statements -.-> lab-99225{{"Введение в указатели в макросах Rust"}} rust/operator_overloading -.-> lab-99225{{"Введение в указатели в макросах Rust"}} end

Указатели

Аргументы макроса префиксируются знаком доллара $ и аннотируются типом с использованием указателя:

macro_rules! create_function {
    // Этот макрос принимает аргумент указателя `ident` и
    // создает функцию с именем `$func_name`.
    // Указатель `ident` используется для имен переменных/функций.
    ($func_name:ident) => {
        fn $func_name() {
            // Макрос `stringify!` преобразует `ident` в строку.
            println!("You called {:?}()",
                     stringify!($func_name));
        }
    };
}

// Создайте функции с именами `foo` и `bar` с помощью вышеуказанного макроса.
create_function!(foo);
create_function!(bar);

macro_rules! print_result {
    // Этот макрос принимает выражение типа `expr` и выводит
    // его в виде строки вместе с результатом.
    // Указатель `expr` используется для выражений.
    ($expression:expr) => {
        // `stringify!` преобразует выражение *как есть* в строку.
        println!("{:?} = {:?}",
                 stringify!($expression),
                 $expression);
    };
}

fn main() {
    foo();
    bar();

    print_result!(1u32 + 1);

    // Помните, что блоки также являются выражениями!
    print_result!({
        let x = 1u32;

        x * x + 2 * x - 1
    });
}

Вот некоторые из доступных указателей:

  • block
  • expr используется для выражений
  • ident используется для имен переменных/функций
  • item
  • literal используется для литеральных констант
  • pat (шаблон)
  • path
  • stmt (оператор)
  • tt (дерево токенов)
  • ty (тип)
  • vis (квалификатор видимости)

Для полного списка см. [Rust Reference].

Резюме

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