В Rust как передать расходящуюся функцию в качестве параметра другой функции

Question

Не расходящиеся функции работают нормально

fn test(f: &Fn() -> u8) {}

Но я не могу принять такую ​​расходящуюся функцию, как эта

fn test_diverging(f: &Fn() -> !) {}

Я получаю следующую ошибку

error[E0658]: The `!` type is experimental (see issue #35121)
  --> examples/two_tasks.rs:44:31
   |
44 | fn test_diverging(f: &Fn() -> !) {}
   |                               ^

Глядя на выпуск # 35121 Я мог видеть, как это могло бы это исправить, но в то же время есть ли обход?

Answer 1

! в некоторых контекстах все еще является экспериментальным, что означает, что он недоступен в стабильном компиляторе (1,33 на сегодняшний день).Вы можете использовать его на ночном компиляторе, но вы должны явно включить feature(never_type):

#![feature(never_type)]
fn test_diverging(f: &Fn() -> !) {}

( детская площадка )

Имейте в виду, что это означаетфункция может еще измениться до стабилизации, поэтому вы принимаете на себя риск того, что будущая версия компилятора нарушит ваш код.

См. также

• Что такое атрибут crateи куда мне его добавить?
• Что такое процесс стабилизации?
• Как использовать по ночам: Можно ли иметь несколько сосуществующих Rustустановки?

Answer 2

Использование типа never в функциях и типах указателей на функции уже стабильно.Поэтому, если вам не нужно использовать черту Fn, вы можете просто использовать это:

fn test_diverging(f: fn() -> !) {}
//                   ^ note the lowercase f

test_diverging(|| panic!("ouch"));

Таким образом, вы не можете передавать замыкания, которые ссылаются на их среду, но не захватывают замыкания и стандартныефункции работают нормально.

Answer 3

Если вы хотите остаться в стабильном состоянии, вы можете использовать Void (в основном перечисление без вариантов, которое нельзя создать без небезопасного) в качестве обходного пути.

Детская площадка ссылка

Answer 4

Чтобы использовать нестабильную функцию, вам нужно использовать ночной набор инструментов и активировать нужную нестабильную функцию.

#![feature(never_type)]

fn test_diverging(f: &Fn() -> !) {}

Смотри также:

• Что такое атрибут ящика и куда его добавить?