null 원시 포인터를 역 참조 해제하는 동작이 왜 발생합니까?

Question

Rust reference 상태 : 원시 포인터 매달려/널을 역 참조

• :

  • 안전하지 않은 블록과 안전하지 않은 함수 내에 포함한 모든 녹 코드에서 금지 행동의 목록입니다

이 질문은 전적으로 널 부분에 대해서. 주소 공간에 명확하지만 알 수없는 주소를 액세스 할 수 없도록 요구하는 고유 한 이유는 없습니다. 그게 내 논문입니다 (null 포인터의 대부분 구현이하는 것입니다). 그래서 it seems merely ancient C cruft 이후로 이러한 발자국에서는 왜 Rust를 따르고 있습니까?

내가 들어 여러 가지 이야기 (example는 another, another) (, 구현에 따라서 등)이 같은 포인터를 액세스 할 필요가 있었다, 그래서 왜 스펙을 허용 내 경력에 다시 길을 얻으려면?

어셈블리 출력과 많은 질문이 나오는 문맥이 in the C++ Reddit thread입니다. 그것도이 Rust Reddit thread에서 자랐습니다.

위에서 언급 한 많은 "전쟁 이야기"에도 불구하고 실제로 나를 괴롭히는 것은 그 영역이 아니라 추상적 인 것입니다. 하드웨어에서 제공되는 주소 공간 액세스를 언어의 명세는 모든 하드웨어/OS/아키텍처를 선험적으로 사용한다.

Answer 1

null 포인터는 언어의 다른 곳에서 이미 특수하게 처리됩니다. 예를 들어 Option<Box<T>> (여기서 T: Sized)은 None을 나타내는 데 null 포인터가 사용되므로 두 개가 아닌 한 단어 만 사용합니다. null 포인터를 따르는 코드를 허용하지 않는 것은이 아이디어와 일치합니다.

광범위한 의미에서 Rust는 이국적인 아키텍처를 C로 지원하는 데 많은주의를 기울이지 않았습니다. 이는 악의가 아니며 단지 설계 과정에서의 우선 순위에 불과합니다. 이 언어는 modern web browser으로 작성되었으며, 모두 – 이후에 x86 또는 ARM에서 사용자 모드로 실행되는 응용 프로그램입니다. 이러한 문제가 발생하는 유스 케이스가 아닙니다. 아마도 누군가 1.0 이전 버전을 가져온 경우 다르게 진행되었을 수 있습니다.