생략 규칙
수명을 추론하는 경우
생략 규칙은(는) CoddyKit의 무료 Learn Rust Coding 강의입니다. 이것은 4개 중 4번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 Learn Rust Coding 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. Learn Rust Coding 강의에는 총 4개의 강의가 포함되어 있습니다.
직접 작성하지 않는 수명
많은 함수가 수명 주석 없이 참조를 받고 반환하지만 정상적으로 컴파일됩니다. 이는 수명 생략 때문입니다. 컴파일러가 명확한 수명을 대신 추론합니다.
생략은 단순한 지름길입니다
생략이 수명을 없애는 것은 아닙니다. 컴파일러는 몇 가지 결정적인 규칙을 사용해 내부적으로 수명을 채웁니다. 규칙이 해당 경우에 적용되면 주석을 생략할 수 있습니다.
생략된 함수
이 함수에는 명시적인 수명이 없지만, 컴파일러는 반환된 참조가 입력에서 빌린 것임을 이해합니다. 규칙이 이를 모호하지 않게 만들어 줍니다.
fn first_word(s: &str) -> &str {
s.split(' ').next().unwrap_or("")
}
fn main() {
let phrase = String::from("rust is fun");
println!("{}", first_word(&phrase));
}규칙 1: 각 입력에 고유한 수명 부여
첫 번째 규칙은 다음과 같습니다. 매개변수에서 생략된 각 수명에는 서로 다른 수명이 부여됩니다. 참조 매개변수가 두 개라면 서로 별개의 수명을 갖습니다.
규칙 2: 입력 하나, 출력 하나
두 번째 규칙은 다음과 같습니다. 입력 수명이 정확히 하나라면 그 수명이 모든 출력 수명에 할당됩니다. 이는 참조 하나를 받아 참조 하나를 반환하는 first_word 같은 함수에 적용됩니다.
fn trim_start(s: &str) -> &str {
s.trim_start()
}
fn main() {
println!("[{}]", trim_start(" hi"));
}규칙 3: 메서드와 &self
세 번째 규칙은 다음과 같습니다. 메서드에 &self 또는 &mut self가 있으면 self의 수명이 모든 출력 수명에 할당됩니다. 따라서 메서드에는 주석이 거의 필요하지 않습니다.
struct Holder { value: String }
impl Holder {
fn get(&self) -> &str {
&self.value
}
}
fn main() {
let h = Holder { value: String::from("stored") };
println!("{}", h.get());
}생략이 적용되지 않을 때
세 규칙을 모두 적용한 뒤에도 출력 수명을 알 수 없다면 컴파일러는 명시적으로 주석을 작성하라고 요구합니다. longest 함수가 대표적인 경우로, 입력이 두 개이고 출력이 모호합니다.
다시 보는 longest 함수
참조 입력이 두 개이고 참조 출력이 하나인 경우를 생각해 보겠습니다. 입력이 두 개 이상이므로 규칙 2는 적용되지 않고 self도 없습니다. 따라서 수명을 주석으로 명시해야 합니다.
fn longest<'a>(x: &'a str, y: &'a str) -> &'a str {
if x.len() > y.len() { x } else { y }
}
fn main() {
println!("{}", longest("abcd", "ab"));
}여러 입력과 self에서 나온 출력
매개변수가 여러 개인 메서드라도 다른 참조 매개변수가 존재하는 경우에 관계없이 규칙 3에 따라 출력 수명을 self에서 가져옵니다.
struct Doc { body: String }
impl Doc {
fn announce(&self, _note: &str) -> &str {
&self.body
}
}
fn main() {
let d = Doc { body: String::from("content") };
println!("{}", d.announce("ping"));
}이러한 규칙이 존재하는 이유
이 세 규칙은 실제 코드의 압도적인 다수를 다루므로 대부분의 함수에는 수명 문법이 전혀 필요하지 않습니다. 의도가 정말 모호할 때만 주석을 작성하면 됩니다.
빠른 확인 목록
수명 생략이 적용되는지 판단하려면 다음을 확인하세요:
- 입력 참조가 정확히 하나인가요? 출력은 그 참조에서 빌립니다.
&self가 있나요? 출력은 self에서 빌립니다.- 그 외의 경우에는 명시적으로 주석을 작성합니다.
빠른 확인
수명 생략 규칙에 대한 이해도를 확인해 보세요.
복습
수명이 추론되는 경우를 배웠습니다:
- 규칙 1: 각 입력 참조에는 고유한 수명이 부여됩니다
- 규칙 2: 입력 수명 하나가 모든 출력에 매핑됩니다
- 규칙 3: 메서드에서는
&self가 출력 수명을 제공합니다 - 출력이 여전히 모호하면 수명을 명시적으로 주석 처리합니다
자주 묻는 질문
“생략 규칙” 강의는 무료인가요?
네 — “생략 규칙” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 Learn Rust Coding 강의 전체를 잠금 해제할 수 있습니다. Learn Rust Coding 강의에는 총 4개의 강의가 포함되어 있습니다.
“생략 규칙”에서 뭘 배우나요?
수명을 추론하는 경우 브라우저에서 직접 실행하는 실습 코드로 Learn Rust Coding을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
Learn Rust Coding을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 Learn Rust Coding은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 4번째 강의입니다.
“생략 규칙” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 Learn Rust Coding 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 Learn Rust Coding 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.