Rust로 기본으로 돌아가기: 파트 2

에서 계속합니다. 이제 선언에 더 많은 생각을 하신 것 같습니다. 코드를 작성할 때 한 프로그래밍 언어에서 다른 프로그래밍 언어로 이동할 때 많이 변경되지 않기 때문에 용어와 분류를 이해하는 것도 좋습니다. 이 기사에서는 변수 선언(1 에서 7 까지 주석 행 사용) 및 분류에 대해 계속 자세히 설명합니다. 분류한다는 것은 기본 유형에 대해 이야기하는 것을 의미합니다. 원시 데이터 유형은 스칼라 유형과 복합 유형의 두 가지로 나뉩니다.

댓글 행 번호를 보면 1 : 아래 선언된 변수는 스칼라 유형의 예입니다.

스칼라 유형은 단일 값을 나타냅니다. 예: 문자, 정수, 부동 소수점 및 부울.

주석 라인 번호 2 ~ 7는 복합 유형의 예입니다.

복합 유형은 여러 값을 나타냅니다. 예를 들어 배열과 튜플.

fn main() {
    // Scalar -----------------------------------------  1 
    let s_char : char = 's';
    let is_bool : bool = true;

    // Compound ---------------------------------------- 2
    let mut array: [i32; 3] = [0; 3]; // --------------- 3
    array[0] = 1; // ----------------------------------- 4
    let array: [i32; 3] = [0, 1, 2]; // ---------------- 5

    let (tu, ple): (i32, char) = (32, 'a'); //---------- 6
    let tuple: (i32, char) = (32, 'a'); //-------------- 7
}

복합 유형 선언:

주석 라인 번호 3 및 5는 배열입니다.

배열은 유형이 유사한 값의 고정된 크기 모음입니다.

한 번 선언하면 성장할 수 없습니다.

댓글 번호 3 위의:

[i3; 3]는 배열이 크기가 3인 i32 유형이 될 것임을 나타냅니다(크기는 항상 양수 값임).

[0; 3]는 [x; N]은 [0, 0, 0]의 배열을 생성하는 반복 표현식이라고 합니다.

mut는 배열이 변경 가능함을 의미합니다. 배열 내부의 값을 변경하거나 대체할 수 있습니다.

코멘트 번호. 4 :

0 안의 array[0]는 인덱스를 나타내며, 인덱스는 0부터 시작하여 [length - 1]에서 끝납니다.

예: 배열 [0, 0, 0] 인덱스는 0에서 시작하여 2에서 끝납니다

.

은 array[4]와 같이 더 큰 인덱스를 지정하면 index out of bounds: the len is 3 but the index is 4가 될 수 있습니다.

댓글을 보니. 5 및 3 , 거의 동일하며 둘 다 [i32; 3]로 선언됩니다.

유일한 차이점은 댓글 번호입니다. 5 는 반복 표현식이 아닌 정수 모음, 즉 [0, 1, 2] 를 가집니다.

도 3와 5가 같은 이름을 가지고 있습니다(둘 다 array라고 함). 그 개념을 Shadowing라고 합니다.

섀도잉

은 3 및 5와 같이 이전 변수와 동일한 이름으로 새 변수를 선언하는 것입니다.

주석 번호 아래에서 array[0] = 1;를 시도하면 컴파일러는 첫 번째 변수 의미를 무시합니다. 5 , 아래 오류가 발생합니다.

error[E0594]: cannot assign to `array[_]`, as `array` is not declared as mutable

`

왜 그림자를 사용합니까?

아름다운 코드를 위해 array_one 및 array_two를 사용하는 대신 (일부는 동의하지 않을 수 있음).

유형을 변경하려는 경우 주조용입니다.

여러 개의 범위 또는 클로저가 있는 경우 섀도잉이 유용할 수 있습니다(나중에 자세히 설명).

주석 행 번호 6 및 7: 튜플입니다.

튜플은 서로 다르거나 유사한 유형으로 구성된 값의 모음으로 정의됩니다(튜플은 이기종임).

튜플은 주석 번호를 보면 길이가 있습니다. 6 및 7 튜플의 길이는 2

튜플에도 시퀀스가 ​​있습니다.

코멘트 번호. 6 tu는 첫 번째 시퀀스이고 ple은 두 번째 시퀀스입니다

.

코멘트 번호. 7 첫 번째 시퀀스를 호출할 때 tuple.0를 사용합니다.

녹doc을 방문하면 내가 다루지 않은 never와 같은 프리미티브 유형에 대한 자세한 정보를 얻을 수 있습니다.