กำลังส่งการอ้างอิงฟังก์ชันที่สร้างตัวชี้ที่ไม่ถูกต้อง

ฉันกำลังติดตามข้อผิดพลาดในรหัสบุคคลที่สามและฉัน จำกัด ให้แคบลงเหลือบางอย่างตามลำดับ

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-beta.6) และส่งคืน '1' ทุกคืน ( สนามเด็กเล่น )

_การอนุมานคืออะไรและทำไมพฤติกรรมจึงเปลี่ยนไป

ฉันถือว่าวิธีที่ถูกต้องในการส่งแบบนี้จะเป็นไปได้foo as *const c_voidแต่นี่ไม่ใช่รหัสของฉัน

คำตอบนี้ขึ้นอยู่กับการตอบกลับในรายงานข้อผิดพลาดที่เกิดจากคำถามนี้

แต่ละฟังก์ชั่นใน Rust มีประเภทรายการฟังก์ชั่นซึ่งแตกต่างจากประเภทรายการฟังก์ชั่นของฟังก์ชั่นอื่น ๆ ด้วยเหตุผลนี้อินสแตนซ์ของประเภทรายการฟังก์ชั่นจึงไม่จำเป็นต้องเก็บข้อมูลใด ๆ เลย - ฟังก์ชั่นใดที่มันชี้ไปที่ชัดเจนจากประเภทของมัน ดังนั้นตัวแปร x ใน

let x = foo;

เป็นตัวแปรขนาด 0

ประเภทรายการฟังก์ชั่นบังคับโดยนัยกับประเภทตัวชี้ฟังก์ชั่นในกรณีที่จำเป็น ตัวแปร

let x: fn() = foo;

เป็นตัวชี้ทั่วไปของฟังก์ชันใด ๆ ที่มีลายเซ็นfn()ดังนั้นจึงจำเป็นต้องจัดเก็บตัวชี้ไปยังฟังก์ชันที่ชี้ไปที่จริงดังนั้นขนาดของxคือขนาดของตัวชี้

หากคุณใช้ที่อยู่ของฟังก์ชัน&fooคุณจะรับที่อยู่ของค่าชั่วคราวขนาดศูนย์ ก่อนหน้านี้ส่งมอบให้กับrustrepo ขมับขนาดศูนย์ใช้เพื่อสร้างการจัดสรรบนสแต็กและ&fooส่งคืนที่อยู่ของการจัดสรรนั้น ตั้งแต่การคอมมิชชันประเภท zero-size จะไม่สร้างการจัดสรรอีกต่อไปและใช้ magic address 1 แทนซึ่งจะอธิบายความแตกต่างระหว่างรุ่น Rust ที่แตกต่าง

_การอนุมานคืออะไรและทำไมพฤติกรรมจึงเปลี่ยนไป

แต่ละครั้งที่คุณทำการส่งตัวชี้แบบดิบคุณสามารถเปลี่ยนข้อมูลหนึ่งชิ้นเท่านั้น (การอ้างอิงหรือตัวชี้แบบดิบความไม่แน่นอนประเภท) ดังนั้นถ้าคุณทำแบบนี้:

let ptr = &foo as *const _

เมื่อคุณได้เปลี่ยนจากการอ้างอิงถึงตัวชี้ดิบชนิดอนุมานสำหรับ_ ต้องไม่เปลี่ยนแปลงและดังนั้นจึงเป็นชนิดของซึ่งเป็นบางประเภทอธิบายไม่ได้สำหรับฟังก์ชั่นfoofoo

แทนที่จะทำเช่นนั้นคุณสามารถส่งไปยังตัวชี้ฟังก์ชันโดยตรงซึ่งสามารถแสดงได้ในไวยากรณ์ของ Rust:

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

สำหรับเหตุผลที่เปลี่ยนไปมันยากที่จะพูด อาจเป็นข้อผิดพลาดในการสร้างยามค่ำคืน มันคุ้มค่าที่จะรายงานว่าแม้ว่ามันจะไม่ใช่ข้อผิดพลาดก็ตาม แต่คุณก็จะได้รับคำอธิบายที่ดีจากทีมคอมไพเลอร์เกี่ยวกับสิ่งที่เกิดขึ้นจริง!