Início / coding / Perguntas / 77780762
Accepted
David
Asked: 2024-01-08 21:46:14 +0800 CST

Rust não pode inferir o tipo Fn onde Option<Fn> é None [duplicado]

  • 772

Então eu tenho essa situação , onde Rust não pode inferir os argumentos de tipo genérico para uma função, que usa o opcional Fn como parâmetro. Ao passar Nonepara ele, parece que os argumentos do tipo genérico estão obsoletos, mas Rust precisa saber seus valores para compilar e não sei o que dizer a ele. Eu tentei foo::<(), ()>(calculation_result, None), mas isso não funciona.

Alguém sabe como posso chamar essa foofunção ao passar Noneem vez de fechar ela? Existe um tipo fictício que eu possa especificar ou algo assim?

generics

2 respostas

  1. Este é um problema conhecido que afetou muitas bibliotecas no ecossistema, como Gtk :

    Atualmente, a melhor solução que conheço é declarar uma constante com os Nonevalores relevantes de um tipo fictício, como a Gtkcaixa que vinculei acima.

    No seu caso particular, o tipo mais fácil de usar Fé básico fn()e a sintaxe para anotar Noneé um turbo-fish como: Option::<fn()>::None.

    • 3
  2. Best Answer

    O problema é chamar uma função com um parâmetro não especificado.

    fn foo<F, R>(arg: bool, f: Option<F>) -> MyResult<R>
    where F: Fn() -> R
{...}

foo(true, None); // <- R cannot be inferred

    Você deve especificar manualmente o tipo. Tenha em mente que Option é otimizado para o tamanho de Box (não sizeof Box + 1) e não é alocado no caso None.

    let empty: Option<Box<dyn Fn() -> ()>> = None;
foo(true, empty); // <- R is (), Option<Box<>>::None does not allocate
    • 1

relate perguntas