유효하지 않은 포인터를 생성하는 함수 참조를 캐스트?

타사 코드에서 오류를 추적하고 있으며 그 줄을 따라 무언가를 좁혔습니다.

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 in

let x = foo;

크기가 0 인 변수입니다.

함수 아이템 타입 은 필요한 경우 함수 포인터 타입으로 암시 적으로 강제됩니다 . 변수

let x: fn() = foo;

은 signature 가 있는 모든 함수에 대한 일반적인 포인터 fn()이므로 실제로 가리키는 함수에 대한 포인터를 저장해야하므로 x크기는 포인터의 크기입니다.

함수의 주소를 사용하면 &foo실제로 크기가 0 인 임시 값의 주소를 사용하게됩니다. repo에 커밋rust 하기 전에 스택에서 할당을 생성하는 데 사용되는 0 크기의 임시 &foo는 해당 할당의 주소를 반환했습니다. 이 커밋 이후 크기가 0 인 유형은 더 이상 할당을 생성하지 않고 대신 매직 주소 1을 사용합니다. 이는 다른 버전의 Rust의 차이점을 설명합니다.

_추론 은 무엇 이며 왜 행동이 바뀌 었습니까?

원시 포인터 캐스트를 수행 할 때마다 하나의 정보 (참조 또는 원시 포인터, 가변성, 유형) 만 변경할 수 있습니다. 따라서이 캐스트를 수행하는 경우 :

let ptr = &foo as *const _

참조에서 원시 포인터 로 변경 했으므로 유추 된 유형 은 변경되지 _ 않아야 하므로 유형은 foo함수에 대해 표현할 수없는 유형입니다 foo.

그렇게하는 대신 Rust 구문으로 표현할 수있는 함수 포인터로 직접 캐스트 할 수 있습니다.

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

왜 바뀌 었는지 말하기는 어렵습니다. 야간 빌드의 버그 일 수 있습니다. 그것은 가치가 보고를 - 그것은 버그가없는 경우에도, 당신은 가능성이 실제로 무슨 일이 일어나고 있는지에 대한 컴파일러 팀에서 좋은 설명을 얻을 것이다!