문제의 역사:
Rust에서 모듈 시스템은 파일과 모듈 간의 계층 및 종속성을 엄격하게 제어합니다. 프로젝트가 커지면 코드의 여러 부분 간에 복잡한 종속성을 구성해야 할 문제가 종종 발생합니다 (예를 들어, 한 모듈의 타입이 다른 모듈에서 필요할 경우). 다른 언어들 (예: C/C++)에서는 이러한 상황이 순환 종속성, 암묵적 충돌 및 컴파일 시간 오류를 초래할 수 있습니다.
문제:
Rust에서는 직접적인 순환 종속성을 생성할 수 없습니다 (각 모듈은 계층 구조를 위 또는 아래로만 참조할 수 있습니다). 예를 들어, mod_a 모듈의 타입 A가 mod_b의 타입 B를 사용할 때, mod_b가 타입 A를 사용하고자 하면 교착 상태가 발생합니다. 잘못된 구성은 프로젝트를 독립적인 구성 요소로 나누지 못하게 하거나 코드 중복으로 이어질 수 있습니다.
해결책:
Rust는 공통 타입과 트레이트를 별도의 모듈 또는 크레이트에 도입하고, 그들 간의 종속성은 외부 참조 (fully qualified paths)를 사용하도록 권장합니다. 때때로 인터페이스 (trait)를 별도의 중간 연결 지점으로 옮기는 것이 도움이 됩니다. 이렇게 하면 종속성이 한 방향으로 되며, 컴파일 단계에서 더 쉽게 분석할 수 있습니다.
코드 예시:
// src/common.rs pub trait Drawable { fn draw(&self); } // src/shapes/mod.rs use crate::common::Drawable; pub struct Circle { pub r: f64 } impl Drawable for Circle { fn draw(&self) { /* ... */ } } // src/scene.rs use crate::common::Drawable; pub struct Scene<T: Drawable> { pub items: Vec<T> }
주요 특징:
pub use를 사용하여 순환 종속성을 우회하고 모듈을 자기 자신에서 가져올 수 있습니까?
아니요, pub use는 순환 종속성에 대한 해결책이 아닙니다: 이미 정의된 요소를 재내보내는 데만 작동합니다. 컴파일되지 않았거나 선언되지 않은 모듈을 pub use하려고 하면 컴파일 오류가 발생합니다.
C/C++와 같은 모듈의 전방 선언이 허용되지 않는 이유는 무엇입니까?
Rust에는 타입이나 모듈을 미리 선언하는 메커니즘이 없습니다: 모든 모듈, 타입 및 상수는 컴파일 단계에서 선언되고 정의되어야 합니다. 이는 컴파일러가 타입 계층을 완전히 검사하고 예기치 않은 충돌을 방지할 수 있게 합니다. 전방 선언은 타입 시스템의 무결성 보장을 약화시킬 수 있습니다.
Box나 Rc를 통해 두 모듈 사이의 구조체들 간의 상호 참조를 구현할 수 있습니까?
예, 타입이 종속성에 대해 조정된다면 (예: trait 또는 공통 enum을 통해) 구조체 간에 간접 참조 (Box, Rc, Arc)를 사용할 수 있습니다. 그러나 이 또한 실제로 순환 모듈을 생성하지 않는 범위에서 선언해야 한다는 요구 사항을 없애지는 않습니다.
프로젝트에서 shapes/mod.rs와 render/mod.rs라는 분리된 모듈을 생성했지만, 두 모듈 모두 서로의 타입을 직접 사용하기 시작했습니다. 순환 종속성이 발생하고, 컴파일러는 unresolved import 오류를 발생시킵니다.
장점:
단점:
공통 타입을 common 모듈로 이동하고, 트레이트도 분리하여 종속성이 일방향으로 되었습니다 (scene은 shapes에 의존하고, shapes와 scene은 common에 의존).
장점:
단점: