Início / coding / Perguntas / 79009624
Accepted
Barry
Asked: 2024-09-21 21:05:38 +0800 CST

A macro de derivação de depuração adiciona "&" extra ao último campo

  • 772

Eu estava olhando a saída de #[derive(Debug)]um caso simples usando cargo expand, onde isto:

#[derive(Debug)]
struct Point {
    x: i32,
    y: i32,
}

emitido (os comentários adicionados são meus):

#[automatically_derived]
impl ::core::fmt::Debug for Point {
    #[inline]
    fn fmt(&self, f: &mut ::core::fmt::Formatter) -> ::core::fmt::Result {
        ::core::fmt::Formatter::debug_struct_field2_finish(
            f,
            "Point",
            "x",
            &self.x,   // <== &
            "y",
            &&self.y,  // <== &&
        )
    }
}

Note que é &self.xmas &&self.y. Tentei com algumas outras situações e o último campo sempre parece obter um extra &. O valor parece que leva um &dyn Debug, então estou supondo que isso apenas é desreferenciado automaticamente (em algum lugar) e não importa?

Por que o extra &?

rust

1 respostas

  1. Best Answer

    De acordo com o código fonte :

    Tipos não dimensionados precisam de uma indireção extra, mas somente o último campo pode ser não dimensionado.

    • 8

relate perguntas