¿Lanzar una referencia de función que produce un puntero no válido?

Estoy rastreando un error en el código de un tercero y lo reduje a algo similar.

use libc::c_void;

pub unsafe fn foo() {}

fn main() {
    let ptr = &foo as *const _ as *const c_void;
    println!("{:x}", ptr as usize);
}

Ejecutado en estable 1.38.0 esto imprime el puntero de función, pero beta (1.39.0-beta.6) y nocturno devuelven '1'. ( Área de juegos )

¿A qué se _infiere y por qué ha cambiado el comportamiento?

Supongo que la forma correcta de emitir esto sería simplemente foo as *const c_void, pero este no es mi código.

Esta respuesta se basa en las respuestas en el informe de error motivado por esta pregunta .

Cada función en Rust tiene su tipo de elemento de función individual , que es distinto del tipo de elemento de función de cualquier otra función. Por esta razón, una instancia del tipo de elemento de función no necesita almacenar ninguna información; la función a la que apunta está clara a partir de su tipo. Entonces la variable x en

let x = foo;

es una variable de tamaño 0.

Los tipos de elementos de función obligan implícitamente a los tipos de puntero de función cuando sea necesario. La variable

let x: fn() = foo;

es un puntero genérico a cualquier función con firma fn()y, por lo tanto, necesita almacenar un puntero a la función a la que apunta realmente, por lo que el tamaño de xes el tamaño de un puntero.

Si toma la dirección de una función, en &foorealidad está tomando la dirección de un valor temporal de tamaño cero. Antes de comprometerse con el rustrepositorio , los temporales de tamaño cero solían crear una asignación en la pila y &foodevolvían la dirección de esa asignación. Desde esta confirmación, los tipos de tamaño cero ya no crean asignaciones, y en su lugar usan la dirección mágica 1. Esto explica la diferencia entre las diferentes versiones de Rust.

¿A qué se _infiere y por qué ha cambiado el comportamiento?

Cada vez que realiza una conversión de puntero sin formato, solo puede cambiar una pieza de información (referencia o puntero sin formato; mutabilidad; tipo). Por lo tanto, si haces este reparto:

let ptr = &foo as *const _

Como ha cambiado de una referencia a un puntero sin formato, el tipo inferido para no _ debe modificarse y, por lo tanto, es el tipo de foo, que es un tipo inexpresable para la función foo.

En lugar de hacerlo, puede convertir directamente a un puntero de función, que se puede expresar en la sintaxis de Rust:

let ptr = foo as *const fn() as *const c_void;

En cuanto a por qué ha cambiado, eso es difícil de decir. Podría ser un error en la construcción nocturna. Vale la pena informarlo , incluso si no es un error, es probable que obtenga una buena explicación del equipo del compilador sobre lo que realmente está sucediendo.