Что такое атрибуты крейта в Rust и куда их нужно добавлять в коде?

Что такое атрибуты крейта и как их использовать

Атрибуты крейта (crate attributes) — это специальные аннотации, которые применяются ко всему крейту (библиотеке или исполняемому файлу) в целом. Они позволяют настроить поведение компилятора, включить экспериментальные возможности, задать имя крейта, указать лицензию и многое другое. Главное отличие атрибута крейта от обычного атрибута — синтаксис: атрибут крейта пишется с восклицательным знаком после решётки: #![...], в то время как обычный атрибут пишется как #[...].

В вашем примере вы написали #![allow(unused_variables)] внутри функции main. Это неправильно, потому что атрибуты крейта должны располагаться в начале файла, до любых других объявлений (функций, структур, модулей и т.д.). Компилятор выдал ошибку именно потому, что атрибут оказался внутри функции, а не на уровне крейта.

Правильное использование

Вот как нужно исправить ваш код:

// Это атрибут крейта — он применяется ко всему файлу
#![allow(unused_variables)]

fn main() {
    let x = 5;
    let y = 10;
    println!("Hello!");
}

Теперь атрибут #![allow(unused_variables)] работает для всего файла main.rs, и компилятор не будет выдавать предупреждения на переменные x и y.

Если вы используете проект с несколькими файлами (например, lib.rs и main.rs), атрибут крейта нужно ставить в корневом файле каждого крейта. Для бинарного крейта это src/main.rs, для библиотечного — src/lib.rs.

Разница между #![...] и #[...]

• #![...] — атрибут крейта. Применяется ко всему файлу (крейту). Должен быть в самом начале файла.
• #[...] — обычный атрибут. Применяется к конкретному элементу, который идёт сразу после него (функции, переменной, модулю и т.д.).

Пример с обычным атрибутом:

fn main() {
    #[allow(unused_variables)]
    let x = 5;  // атрибут применяется только к этой переменной
    let y = 10; // предупреждение останется для y
    println!("Hello!");
}

Другие популярные атрибуты крейта

Вот несколько часто используемых атрибутов крейта:

• #![crate_name = "my_crate"] — задаёт имя крейта (обычно не нужно, так как имя берётся из Cargo.toml).
• #![feature(...)] — включает нестабильные (nightly-only) возможности языка. Например, #![feature(associated_type_defaults)].
• #![deny(warnings)] — превращает все предупреждения в ошибки.
• #![no_std] — отключает стандартную библиотеку (для встраиваемых систем).
• #![recursion_limit = "256"] — увеличивает лимит рекурсии для макросов.

Пример с #![feature]

Если вы используете nightly-версию Rust и хотите включить экспериментальную функцию, пишите:

#![feature(associated_type_defaults)]

trait MyTrait {
    type MyType = u32; // эта возможность требует feature
}

Важно: атрибуты крейта всегда ставятся в самом начале файла, до любых других объявлений. Если вы попытаетесь поставить их после функции или модуля, компилятор выдаст ошибку.

Надеюсь, теперь стало понятнее! Практикуйтесь — и всё запомнится.

[lints]
rust.deny = ["warnings"]