타입 추론

Coddy Rust 여정의 Fundamentals 섹션에 포함된 레슨 — 75개 중 12번째.

Rust에서 타입 추론은 컴파일러가 변수의 값과 사용법을 바탕으로 변수의 타입을 자동으로 추론할 수 있게 해줍니다. 이는 변수를 선언할 때 타입을 명시적으로 지정할 필요가 없는 경우가 많음을 의미하며, 코드를 더 간결하고 읽기 쉽게 만들어 줍니다.

예를 들어:

let x = 5;
// Rust는 x가 i32라고 추론합니다

let y = 3.14;
// Rust는 y가 f64라고 추론합니다

let message = "Hello, world!";
// Rust는 message가 &str (문자열)이라고 추론합니다

let is_true = true;
// Rust는 is_true가 bool이라고 추론합니다

이 예제들에서, 우리는 x, y, message, 그리고 is_true의 타입을 지정하지 않았습니다. Rust 컴파일러는 할당된 값들을 바탕으로 이들의 타입을 자동으로 추론했습니다.

타입 추론은 편리할 뿐만 아니라 오류를 방지하는 데에도 도움이 됩니다. 컴파일러는 변수가 어떻게 사용되는지 확인하고 추론된 타입이 코드 전체에서 일관되게 유지되도록 보장합니다. 충돌이 발생하면 컴파일러는 오류를 생성합니다.

챌린지

초급

타입 추론을 보여주는 Rust 프로그램을 작성하세요. 명시적인 타입 어노테이션 없이 다음 변수들을 선언하고 초기화하세요:

값이 10인 quantity라는 이름의 변수.
값이 99.99인 price라는 이름의 변수.
값이 "Coddy is awesome!"인 message라는 이름의 변수.
값이 true인 is_available이라는 이름의 변수.

이 변수들을 선언한 후, println!()을 사용하여 콘솔에 그 값들을 출력하세요. Rust가 값에 따라 이 변수들의 타입을 어떻게 추론하는지 관찰해 보세요.

치트 시트

Rust의 타입 추론을 통해 컴파일러는 값에 따라 변수 타입을 자동으로 유추할 수 있으며, 많은 경우 명시적인 타입 어노테이션의 필요성을 제거해 줍니다.

let x = 5;        // Rust는 i32로 추론합니다
let y = 3.14;     // Rust는 f64로 추론합니다
let message = "Hello, world!";  // Rust는 &str로 추론합니다
let is_true = true;  // Rust는 bool로 추론합니다

컴파일러는 타입 일관성을 보장하기 위해 변수 사용을 확인하며, 충돌이 발생할 경우 에러를 생성합니다.

직접 해보기

fn main() {
    // 여기서 변수를 선언합니다
    
    
    // 값을 출력합니다
    println!("Quantity: {}", quantity);
    println!("Price: {}", price);
    println!("Message: {}", message);
    println!("Is available: {}", is_available);
}