Đúc một tham chiếu hàm tạo ra một con trỏ không hợp lệ?

Tôi đang theo dõi một lỗi trong mã của bên thứ ba và tôi đã thu hẹp nó thành một cái gì đó dọc theo dòng.

use libc::c_void;

pub unsafe fn foo() {}

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

Chạy ổn định 1.38.0, điều này in con trỏ hàm, nhưng beta (1.39.0-beta.6) và trả về hàng đêm '1'. ( Sân chơi )

Điều gì _được suy luận và tại sao hành vi đã thay đổi?

Tôi giả sử cách chính xác để thực hiện điều này chỉ đơn giản là foo as *const c_void, nhưng đây không phải là mã của tôi.

Câu trả lời này dựa trên các câu trả lời trên báo cáo lỗi được thúc đẩy bởi câu hỏi này .

Mỗi chức năng trong Rust có loại mục chức năng riêng biệt, khác với loại mục chức năng của mọi chức năng khác. Vì lý do này, một thể hiện của loại mục chức năng hoàn toàn không cần lưu trữ bất kỳ thông tin nào - chức năng mà nó trỏ đến là rõ ràng từ loại của nó. Vậy biến x trong

let x = foo;

là một biến có kích thước 0.

Các loại mục chức năng ngầm ép buộc các loại con trỏ hàm khi cần thiết. Biến

let x: fn() = foo;

là một con trỏ chung cho bất kỳ hàm nào có chữ ký fn()và do đó cần lưu trữ một con trỏ tới hàm mà nó thực sự trỏ tới, vì vậy kích thước của xlà kích thước của một con trỏ.

Nếu bạn lấy địa chỉ của hàm, &foothực tế bạn đang lấy địa chỉ của giá trị tạm thời có kích thước bằng không. Trước khi cam kết với rustrepo , các tạm thời có kích thước bằng không được sử dụng để tạo phân bổ trên ngăn xếp và &footrả về địa chỉ của phân bổ đó. Vì cam kết này, các loại có kích thước bằng 0 không tạo phân bổ nữa và thay vào đó sử dụng địa chỉ ma thuật 1. Điều này giải thích sự khác biệt giữa các phiên bản khác nhau của Rust.

Điều gì _được suy luận và tại sao hành vi đã thay đổi?

Mỗi khi bạn thực hiện một con trỏ thô, bạn chỉ có thể thay đổi một phần thông tin (tham chiếu hoặc con trỏ thô; khả năng biến đổi; loại). Do đó, nếu bạn làm diễn viên này:

let ptr = &foo as *const _

vì bạn đã thay đổi từ một tham chiếu thành một con trỏ thô, loại được suy ra cho _ phải không thay đổi và do đó là loại foo, một loại không thể diễn tả được cho hàm foo.

Thay vì làm điều đó, bạn có thể truyền trực tiếp vào một con trỏ hàm, có thể biểu thị theo cú pháp Rust:

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

Về lý do tại sao nó đã thay đổi, thật khó để nói. Nó có thể là một lỗi trong xây dựng hàng đêm. Nó đáng để báo cáo nó - ngay cả khi nó không phải là một lỗi, bạn có thể sẽ nhận được một lời giải thích tốt từ nhóm biên dịch về những gì đang thực sự xảy ra!