Rust 프로젝트 목표: 이동 불가 타입과 소멸자 실행 보장

모든 값이 이동되거나 mem::forget으로 소멸자 실행 없이 잊힐 수 있다는 Rust의 전제를 완화해, 타입이 이동과 망각을 거부할 수 있도록 하는 2026~2027년 프로젝트가 승인됨 새로운 자동 트레이트 Move·Destruct·Forget 으로 이동, 암묵적 드롭, 망각 가능 여부를 명시하고 각 역량을 계층적으로 부여함 !Move는 자기 참조 타입의 주소가 생존 기간 내내 고정되도록 하며, 이동 불가를 장소의 속성으로 표현하는 Pin의 복잡성을 줄이는 대안임 !Forget은 소멸자 실행을 보장해 작업 핸들의 소멸자가 join을 수행하는 안전한 비동기 범위 지정 spawn 같은 패턴을 가능하게 함 컴파일러 MVP와 RFC, Linux 커널 검증, 소멸자 보장 설계에 집중하되 Future 변경과 Pin 마이그레이션은 별도 프로젝트로 남겨둠 프로젝트 목표와 범위 Rust 타입이 이동되거나 소멸자 실행 없이 잊힐 수 있는지를 표현하는 새 트레이트를 도입하며, 상태는 Accepted, 기간은 2026~2027년임 컴파일러 MVP와 RFC를 만들고 실제 Linux 커널 코드에서 설계의 실현 가능성을 검증함 Just add async와 Rust for Linux 로드맵에 속함 진행 상황은 프로젝트 목표 이슈 #635와 rust-lang/rust #149607에서 추적함 현재 Rust가 가진 두 가지 전제 모든 값은 이동할 수 있음 Rust는 대입할 때 값을 메모리의 다른 위치로 이동할 수 있다고 가정함 많은 비동기 future가 자기 참조 구조를 필요로 하지만, 자기 참조 타입은 안전하게 이동할 수 없음 현재의 Pin은 이동 불가를 타입이 아닌 장소(place)의 속성으로 표현해 상당한 복잡성을 유발함 The Safe Pinned Initialization Problem은 Linux 커널 같은 시스템에서 Pin으로 자기 참조 타입을 안전하게 표현하기 어려운 문제를 다룸 모든 값은 잊힐 수 있음 안전한 함수인 mem::forget은 소멸자를 실행하지 않고 값을 잊을 수 있어, Rust는 특정 타입의 소멸자 실행을 보장할 수 없음 Transaction은 정리 전에 commit() 또는 rollback()을 요구할 수 있고, 범위 지정 작업 핸들은 범위를 벗어나기 전에 작업을 join해야 할 수 있음 비동기 범위 지정 spawn에서 생성된 작업이 부모 범위의 값을 빌렸다면, 핸들을 잊는 순간 작업이 범위보다 오래 살아남...