Лиття посилання функції, що створює недійсний покажчик?

Я відслідковую помилку в коді сторонньої сторони, і я звузив її до чогось уздовж лінії.

use libc::c_void;

pub unsafe fn foo() {}

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

Починаючи з стабільного 1,38.0, це друкує функцію вказівника, але бета (1,39,0-бета 6) та нічне повернення "1". ( Дитячий майданчик )

Про що робиться _висновок і чому поведінка змінилася?

Я припускаю, що правильний спосіб передавати це був би просто foo as *const c_void, але це не мій код.

Ця відповідь ґрунтується на відповідях на повідомлення про помилку, мотивоване цим питанням .

Кожна функція в Rust має свій тип окремого функціонального елемента , який відрізняється від типу елемента функції кожної іншої функції. З цієї причини екземпляр типу функціонального елемента взагалі не потребує збереження інформації - на яку функцію він вказує, зрозуміло з його типу. Отже змінна x in

let x = foo;

є змінною розміру 0.

Типи елементів функції неявно примушують функціонувати типи вказівників, де це необхідно. Змінна

let x: fn() = foo;

є загальним вказівником на будь-яку функцію з підписом fn(), і тому потрібно зберігати вказівник на функцію, на яку вона фактично вказує, тому розмір x- це розмір вказівника.

Якщо ви приймаєте адресу функції, &fooви фактично приймаєте адресу нульового значення тимчасового значення. До цього приєднання до rustрепо , тимчасові нульові розміри використовували для створення виділення на стеку та &fooповертали адресу цього розподілу. Оскільки це робиться, нульові типи більше не створюють виділення, а замість цього використовують магічну адресу 1. Це пояснює різницю між різними версіями Rust.

Про що робиться _висновок і чому поведінка змінилася?

Кожен раз, коли ви робите неочищений вказівник, ви можете змінити лише одну частину інформації (посилання чи необроблений покажчик; змінність; тип). Тому, якщо ви робите цей склад:

let ptr = &foo as *const _

оскільки ви змінилися з посилання на необроблений покажчик, тип зробленого висновку _ повинен бути незмінним і, отже, є типом foo, який є деяким невиразним типом для функції foo.

Замість цього ви можете безпосередньо перейти до покажчика функції, який виражається в синтаксисі Руста:

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

Щодо того, чому він змінився, важко сказати. Це може бути помилка в нічній збірці. Варто повідомити про це - навіть якщо це не помилка, ви, швидше за все, отримаєте гарне пояснення від команди-компілятора про те, що відбувається насправді!