Rust, почему оператор, примененный к ссылке, приводит к принуждению, а let с явным типом — нет?
Рассмотрим следующий код:
fn main() {
let foo = 1;
let bar: i32 = -&foo; //ok, -1
let baz: i32 = &foo; //error, expected `i32`, found `&{integer}`
let bad: i32 = !&foo; //ok, -2
}
Прочитав Rust Reference, я обнаружил, что
Возможные места принуждения:
- Операторы let, в которых указан явный тип.
[...]
- Аргументы для вызовов функций
Так что let baz: i32 = &foo; тоже должно работать, поскольку это оператор let с явно заданным типом.
Почему он отказывается компилироваться?
Почему Python в конце концов умрет
Последние 20 лет были действительно хорошими для Python. Он прошел путь от "просто языка сценариев" до основного языка, используемого для написания...
2
0
65
1
Перейти к ответу
Данный вопрос помечен как решенный
Ответы 1
Ответ принят как подходящий
Случаи 1 и 3 — это не принуждение, а просто определение этих операторов. Например,
// https://doc.rust-lang.org/std/primitive.i32.html#impl-Neg-for-%26i32
impl Neg for &i32
type Output = <i32 as Neg>::Output // this is i32
Итак, у -&foo есть тип i32. То же самое и с !&foo. Аннотации типов в строках bar и bad ничего не делают.
Между тем, строка 2 не является разрешенным приведением: нигде в списке приведений, на которые вы ссылаетесь, не сказано, что &T можно принудить к T; для этого требуется копирование (разыменование) или клонирование.
Другие вопросы по теме
Плохой дизайн для программы Rust со временем жизни и множественными ссылками
Как обработать ошибку «ссылка на упакованное поле не выровнена»?
Как я могу ссылаться на активную ячейку в цикле по разным листам?
Разрешение перегрузки функции для параметров типа шаблона относительно ссылок и указателей
Размер класса Kotlin, который содержит пользовательские объекты в качестве членов данных
Application.FileDialog не упоминается?
Попытка импортировать и использовать метод из другого проекта в многопроектном решении Visual Studio
Таблица перекрестных ссылок в R Markdown
Передайте ссылочный аргумент конструктору элемента контейнера STL
Понимание «return *this» и ссылки на классы
Похожие вопросы
Segfault при запросе разрешения на доступ через MacOS Accessibility API
Rust передает ссылку на пул потоков в задание пула потоков
Отправка аудиозаписи с js на сервер actix-web для сохранения на диск
Использование async с коробочной ошибкой из tokio::runtime
Время жизни временных объектов в операторах if let
Перебирать ReadDir и добавлять имена файлов в массив в Rust
В чем разница между `&mut *transaction` и `&mut transaction` в SQLx?
Токио::try_join! не возвращается раньше для обработчиков tokio::spawn
Плохой дизайн для программы Rust со временем жизни и множественными ссылками
Асинхронная функция как аргумент асинхронной функции