Что означает ->! в Rust?

Question

[Владимир Т]

Пример из исходника:

pub unsafe extern fn kstart(args_ptr: *const KernelArgs) -> ! {

Какой тип возвращает функция и что означает: "-> !"

Answer 1

[Андрей Леснико́в]

Для непонятных кусков синтаксиса есть отличная страница - https://doc.rust-lang.org/book/first-edition/synta...

Там легко находится пункт "!: always empty Never type. See Diverging Functions", ссылающийся на подробности в первой редакции Книги:

- https://doc.rust-lang.org/book/first-edition/funct...
- https://rurust.github.io/rust_book_ru/src/function...

Если очень коротко, такой возвращаемый тип функции значит что она никогда не вернет управление.

Comments

[Владимир Т]

Спасибо.

Answer 2

[Михаил Потанин]

Функция ни когда не завершается, что позволяет ее вызывать так, как будто она возвращает любой заданный тип.