[RUST언어] RUST 언어의 시작 (2) - 변수의 종류

 

RUST 언어의 변수형의 유형 

Rust에서는 다양한 변수 형을 제공합니다. 가장 일반적인 변수 형은 다음과 같습니다:

1)  불변 변수 (Immutable 변수) : let x = 10;

  - let 키워드로 선언되며, 값이 변경되지 않는 변수입니다. 한 번 초기화된 후에는 값을 변경할 수 없습니다.

 

2)  가변 변수(Mutable 변수): let mut x = 10;

  - let mut 키워드로 선언되며, 값이 변경 가능한 변수입니다. 선언 이후에도 값을 변경할 수 있습니다.

 

3) 정적 변수 (static 변수):  static x: i32 = 10;

 - 전역 범위에서 사용되며, 프로그램의 수명과 동일한 수명을 가지는 변수입니다. 한 번 초기화된 후에는 값을 변경할 수 없습니다.

 

4) 참조자 (Reference) : 

 - 참조자는 값을 소유하지 않고 다른 변수의 값을 참조하는 데 사용됩니다. Rust에서는 불변 참조자(&T)와 가변 참조자(&mut T)로 구분됩니다. 참조자를 사용하여 변수를 빌림(Borrowing)하고, 값을 읽거나 변경하는 등의 작업을 수행할 수 있습니다.

 

5) 가변 참조자 (Mutable  References) : &mut x

 - Mutable 변수에 대한 가변 참조자입니다. 가변 참조자를 통해 변수의 값을 변경할 수 있습니다.

6) 불변 참조자(Immutable References): &x

 - Immutable 변수에 대한 불변 참조자입니다. 불변 참조자를 통해 변수의 값을 읽을 수 있지만 변경할 수는 없습니다.

 

7)  매개변수: fn foo(x: i32) { ... }

함수 정의에서 매개변수로 사용되는 변수입니다. 함수 호출 시에 인자로 값을 전달하여 함수 내부에서 사용합니다.
매개변수를 통해 함수와 상호작용하고, 함수의 동작에 영향을 줄 수 있습니다.

 

8) 패턴 매칭 변수 (Pattern Matching Variables):  match x { Some(val) => { ... }, None => { ... } }

패턴 매칭에서 사용되는 변수입니다. 패턴에 따라 값을 바인딩하거나 추출하여 사용합니다.
match 표현식에서 Some(val) 패턴을 사용하여 val에 값을 바인딩할 수 있습니다.

 

Rust는 변수에 대한 타입 추론을 지원하기 때문에, 변수의 타입을 직접 명시할 수도 있고, 컴파일러가 타입을 추론하도록 할 수도 있습니다. 예를 들어, let x = 10;에서 x의 타입은 컴파일러가 i32로 추론합니다.

이러한 다양한 변수 형을 통해 Rust는 안전하고 효율적인 프로그래밍을 지원하며, 가변성과 불변성을 명확하게 구분하여 메모리 안전성을 유지합니다.