[Rust 입문] 2. 변수, 함수 기초

변수의 선언

let i = 10;
let f = 3.14;
let c = 'a';
let i_type: u32 = 1_000_000;
let f_type: f32 = 3.14;
let c_type: char = 'a';
// let [변수명] = 값
// let [변수명]: [타입명] = 값

rust의 변수 타입

Scalar와 Primitive의 차이는 문맥상 유사하게 사용될 수 있지만 분명 다른 값이다. Scaler ↔ Compound 관계는 쪼갤 수 없는 단일 값과 단일 값들이 뭉친 복합적인 값을 의미한다. Primitive ↔ Reference 관계는 Primitive 타입 자체로써 값을 가지는 것을 의미하며 Reference는 메모리에 저장된 다른 값을 참조하는 변수를 의미한다. 참조 - https://stackoverflow.com/questions/6623130/scalar-vs-primitive-data-type-are-they-the-same-thing

Scalar Type

• 정수 타입
• 부호가 있으면 접두사로 i가 붙으며 부호가 없으면 u가 붙는다.
• 8비트, 16비트, 32비트, 64비트, 128비트, cpu의 아키텍쳐에 의존적인 비트(size)를 지원한다.
• 예 : u128 (부호 없는 128비트 정수), i8 (부호 있는 - 2의 보수를 따르는 8비트 정수), usize (64비트 컴퓨터 환경에서는 64비트 크기의 부호없는 정수)
• 리터럴은 10, 16 (0x 접두사), 8 (0o 접두사), 2(0b 접두사)진수 표기법과 바이트(b'[아스키 문자열])를 지원한다.
• 예 : 1_000_000 , 0b10101010, b'a'

• 부동 소수점 (IEEE 754) 타입
• 부종 소수점은 f32 , f64 만 사용한다. (32와 64는 비트 수이다.)

• 논리 타입
• bool 을 사용하며 리터럴은 true와 false가 있다.

• 문자 타입
• char 로 표기한다.
• 문자 타입은 rust가 다른 언어와 좀 다른 특성이 있는데 rust에서 문자는 유니코드 타입으로 저장한다. 그래서 1바이트가 아니다.
• 기존 아스키 문자나 이모지, 한자, 한국어(한 글자)를 char로 저장할 수 있다.

Compound Type

• Tuple
• 튜플은 여러가지 타입을 하나의 타입으로 묶는 데 주로 사용한다.
• 괄호로 여러 타입을 묶어서 정의한다.

• 배열
• 동일 타입으로만 구성되어 있다.
• 대괄호로 정의한다.

let tup: (i32, char) = (2021, '😈');
println!("year : {}, emoji : {}", tup.0, tup.1);
let (tup_year, tup_emoji) = tup;
println!("tup_year : {}, tup_emoji : {}", tup_year, tup_emoji);
let arr_ten: [i32; 11] = [0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10];
let arr_ten_1 = [0i32; 11];
let mut index = 2;
println!("arr_ten[{}] : {}", index, arr_ten[index]);
index = 20;
println!("arr_ten[-1] : {}", arr_ten[index]);

immutable

mutable

// 불변성을 지닌 let 선언
let val_immut_x = 10;
println!("val_immut_x : {}", val_immut_x);

// 가변성을 지닌 let 선언
let mut val_mut_x = 5;
println!("val_mut_x (before) : {}", val_mut_x);
val_mut_x = 6;
println!("val_mut_x (after) : {}", val_mut_x);

불변성과 상수의 차이

• 상수를 선언할 때에는 반드시 값의 타입을 같이 선언해야 한다.

• 상수의 명칭은 모두 대문자로 선언하여야 한다.

• 상수는 어느 영역에서도 선언될 수 있다. (글로벌 영역에서도 선언 가능하다.)

• 상수는 쉐도잉 (뒤에 설명)이 불가능하다.

• 상수의 값은 컴파일 타임에 결정되어야 한다.

const CONST_MAX: u32 = 1024;
println!("CONST_MAX : {}", CONST_MAX);

쉐도잉

let spaces = "     ";
println!("spaces : {}", spaces);
let spaces = spaces.len();
println!("spaces : {}", spaces);

let spaces = "     ";
{
    println!("spaces : {}", spaces);
    let spaces = spaces.len();
    println!("spaces : {}", spaces);
}
println!("spaces : {}", spaces);

함수의 정의

문장과 표현식

let x = 5; // 여기서 "let x = 5;"는 구문이며 구문의 부분인 리터럴 "5" 는 표현식이다.
let y = { // 중괄호 전체가 표현식이 된다.
    let x = x + 1; // 구문이다.
    x * 2 // 표현식이다. 세미콜론을 붙이면 구문으로 바뀐다.
};
println!("x : {}, y : {}", x, y);

함수 정의 예

fn subfunc() {
    println!("hello my name is subfunc!");
}

fn subfunc_arg(arg: i32) {
    println!("arg : {}", arg);
}

fn is_odd(arg: u64) -> bool { // 이렇게 리턴되는 값이 있을 경우 화살표와 형식을 적어주어야 한다.
    arg % 2 == 1
}

fn rtntest(arg: i64) -> i64 {
    if arg > 10 {
        return 230; // 중간에 리턴해야 할 경우엔 return 키워드로 리턴한다.
    }
    100
}