Geçersiz bir işaretçi üreten bir işlev başvurusu yayınlama?

Üçüncü taraf kodunda bir hatayı izliyorum ve satır boyunca bir şey için daralttım.

use libc::c_void;

pub unsafe fn foo() {}

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

Kararlı 1.38.0 üzerinde koştu, bu işlev işaretçisini yazdırır, ancak beta (1.39.0-beta.6) ve gece '1' döndürür. ( Oyun Parkı )

_Çıkarım nedir ve neden davranış değişti?

Bu döküm için doğru yolu varsayalım foo as *const c_void, ama bu benim kodum değil.

Bu cevap, bu soru tarafından motive edilen hata raporundaki cevaplara dayanmaktadır .

Rust her işlevi vardır tek tek işlev öğesi türü her fonksiyon işlev öğesi türünden farklı olduğu,. Bu nedenle, işlev öğesi türünün bir örneğinin herhangi bir bilgi depolaması gerekmez - hangi işleve işaret ettiği türünden anlaşılır. Yani x değişkeni

let x = foo;

0 boyutunda bir değişkendir.

İşlev öğesi türleri , gerektiğinde işaretçi türlerine dolaylı olarak zorlar . Değişken

let x: fn() = foo;

imzalı herhangi bir işleve genel fn()bir işaretçi olduğundan, gerçekte işaret ettiği işleve bir işaretçi depolaması gerekir, bu nedenle xboyutu bir işaretçi boyutudur.

Bir işlevin adresini &fooalırsanız, aslında sıfır boyutlu geçici bir değerin adresini alıyorsunuz demektir. Bu rustrepo işleminden önce , sıfır boyutlu geçişler yığın üzerinde bir ayırma oluşturmak için kullanılır ve &foobu ayırmanın adresini döndürür. Bu işlemden bu yana, sıfır boyutlu türler artık ayırma oluşturmaz ve bunun yerine sihirli adres 1'i kullanır. Bu, Rust'un farklı sürümleri arasındaki farkı açıklar.

_Çıkarım nedir ve neden davranış değişti?

Ham işaretçi kadrosunu her yaptığınızda, yalnızca bir bilgi parçasını değiştirebilirsiniz (başvuru veya ham işaretçi; değiştirilebilirlik; tür). Bu nedenle, bu kadroyu yaparsanız:

let ptr = &foo as *const _

bir başvurudan ham işaretçiye değiştiğiniz için, için çıkartılan türün değiştirilmemesi _ gerekir ve bu nedenle fooişlev için ifade edilemeyen bir tür olan türdür foo.

Bunu yapmak yerine, Rust sözdiziminde ifade edilebilen bir işlev işaretçisine doğrudan yayın yapabilirsiniz:

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

Neden değiştiğine gelince, bunu söylemek zor. Her gece yapılan yapıda bir hata olabilir. Rapor etmeye değer - bir hata olmasa bile, derleyici ekibinden gerçekte neler olduğu hakkında iyi bir açıklama alacaksınız!