Eine Funktionsreferenz umwandeln, die einen ungültigen Zeiger erzeugt?

Ich habe einen Fehler im Code von Drittanbietern aufgespürt und ihn auf etwas in der Art von eingegrenzt.

use libc::c_void;

pub unsafe fn foo() {}

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

Bei stabiler Version 1.38.0 wird der Funktionszeiger gedruckt, aber Beta (1.39.0-Beta.6) und nächtliche Rückgabe '1'. ( Spielplatz )

Worauf wird geschlossen _und warum hat sich das Verhalten geändert?

Ich gehe davon aus, dass der richtige Weg, dies zu übertragen, einfach wäre foo as *const c_void, aber dies ist nicht mein Code.

Diese Antwort basiert auf den Antworten auf den durch diese Frage motivierten Fehlerbericht .

Jede Funktion in Rust hat ihren eigenen Funktionselementtyp , der sich vom Funktionselementtyp jeder anderen Funktion unterscheidet. Aus diesem Grund muss eine Instanz des Funktionselementtyps überhaupt keine Informationen speichern. Auf welche Funktion sie verweist, geht aus ihrem Typ hervor. Also die Variable x in

let x = foo;

ist eine Variable der Größe 0.

Funktionselementtypen werden bei Bedarf implizit zu Funktionszeigertypen gezwungen . Die Variable

let x: fn() = foo;

ist ein generischer Zeiger auf eine Funktion mit Signatur fn()und muss daher einen Zeiger auf die Funktion speichern, auf die er tatsächlich zeigt, sodass die Größe von xdie Größe eines Zeigers ist.

Wenn Sie die Adresse einer Funktion verwenden, nehmen &fooSie tatsächlich die Adresse eines temporären Werts mit der Größe Null. Vor dieser Festschreibung für das rustRepo wurden temporäre Dateien mit der Größe Null verwendet, um eine Zuordnung auf dem Stapel zu erstellen, und &foodie Adresse dieser Zuordnung zurückgegeben. Seit diesem Commit erstellen Typen mit der Größe Null keine Zuordnungen mehr und verwenden stattdessen die magische Adresse 1. Dies erklärt den Unterschied zwischen den verschiedenen Versionen von Rust.

Worauf wird geschlossen _und warum hat sich das Verhalten geändert?

Jedes Mal, wenn Sie eine Rohzeigerumwandlung durchführen, können Sie nur eine Information ändern (Referenz oder Rohzeiger; Veränderlichkeit; Typ). Wenn Sie diese Besetzung machen:

let ptr = &foo as *const _

da man von einem Verweis auf einen Rohzeiger geändert haben, abgeleitet der Typ für _ müssen unverändert sein und ist daher die Art der foo, die für die Funktion einige unaussprechliche Typ istfoo .

Stattdessen können Sie direkt in einen Funktionszeiger umwandeln, der in der Rust-Syntax ausgedrückt werden kann:

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

Warum es sich geändert hat, ist schwer zu sagen. Es könnte ein Fehler im nächtlichen Build sein. Es lohnt sich, dies zu melden - auch wenn es sich nicht um einen Fehler handelt, erhalten Sie vom Compilerteam wahrscheinlich eine gute Erklärung darüber, was tatsächlich vor sich geht!