Skip to content

Commit

Permalink
revise ch03
Browse files Browse the repository at this point in the history
  • Loading branch information
rinthel committed May 21, 2023
1 parent 299e5f8 commit cd67f52
Show file tree
Hide file tree
Showing 13 changed files with 218 additions and 217 deletions.
1 change: 1 addition & 0 deletions book.toml
Original file line number Diff line number Diff line change
@@ -1,6 +1,7 @@
[book]
title = "The Rust Programming Language"
authors = ["Steve Klabnik", "Carol Nichols", "Contributions from the Rust Community"]
language = "ko"

[output.html]
additional-css = ["ferris.css", "theme/2018-edition.css"]
Expand Down
2 changes: 1 addition & 1 deletion src/appendix-01-keywords.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

다음 목록은 러스트 언어에서 현재 또는 미래에 사용하기 위해 예약된
키워드입니다. 따라서 키워드는 식별자로 사용할 수 없습니다.
([원시 식별자 (Raw Identifiers)][raw-identifiers]<!-- ignore --> 절에서
([원시 식별자 (Raw Identifiers)][raw-identifiers]<!-- ignore --> 절에서
설명할 원시 식별자는 예외입니다.) 식별자는 함수, 변수, 매개변수,
구조체 필드, 모듈, 크레이트, 상수, 매크로, 정적 값, 속성, 타입,
트레잇, 또는 라이프타임의 이름입니다.
Expand Down
2 changes: 1 addition & 1 deletion src/ch02-00-guessing-game-tutorial.md
Original file line number Diff line number Diff line change
Expand Up @@ -120,7 +120,7 @@ Listing 2-1의 코드를 *src/main.rs* 에 작성하세요.
이 코드는 게임에 대한 설명하여 사용자의 입력을 요청하는 프롬프트를
출력하고 있습니다.

### 값을 변수에 저장하기
### 변수에 저장하기

다음으로, 아래와 같이 사용자의 입력값을 저장할 *변수(variable)* 를 생성합니다.

Expand Down
20 changes: 10 additions & 10 deletions src/ch03-00-common-programming-concepts.md
Original file line number Diff line number Diff line change
@@ -1,23 +1,23 @@
# 일반적인 프로그래밍 개념

장은 거의 모든 프로그래밍 언어에서 나타나는 개념들과 그 개념들이
러스트에서 어떻게 다루어지는지 소개합니다. 많은 프로그래밍 언어들은
핵심이 비슷합니다. 이 장에서는 러스트 고유의 특성은 소개하지 않겠지만,
러스트의 맥락에서 논의하고 이러한 개념 사용과 관련된 관례들을
장에서는 거의 모든 프로그래밍 언어에 등장하는 개념들과 그 개념들이
러스트에서 어떻게 작동하는지 소개합니다. 많은 프로그래밍 언어들의
핵심에는 많은 공통점이 있습니다. 이 장에서 소개하는 개념 중 러스트 고유의
개념은 없지만, 러스트의 맥락에서 논의하고 이러한 개념 사용과 관련된 규칙을
설명하겠습니다.

특히 여러분은 변수, 기본 타입, 함수, 주석, 제어문에 대해서 배울 것입니다.
기초는 모든 러스트 프로그램에 사용될 것이며, 이들을 일찍 익히는 것은
여러분에게 강한 초기 기반을 가져다 줄 것입니다.
특히 변수, 기본 타입, 함수, 주석, 그리고 제어 흐름에 대해서 배우게 됩니다.
이러한 기초는 모든 러스트 프로그램에 사용될 것이며, 이를 일찍 배우면
강력한 기반을 바탕으로 시작할 수 있게 할 것입니다.

> #### 키워드
>
> 러스트 언어는 대부분의 다른 언어들과 마찬가지로
> 이 언어만 사용 가능한 *키워드*라는 집합이 있습니다. 키워드는
> 함수명이나 변수명으로 사용할 수 없음을 알아두세요. 대부분의 키워드들은
> 특수한 의미가 있으며, 러스트 프로그램의 다양한 일들을 처리하기 위해 사용할
> 특별한 의미가 있으며, 러스트 프로그램의 다양한 일들을 처리하기 위해 사용할
> 것입니다. 몇몇은 아직 아무 기능도 없지만 추후에 추가될 기능들을
> 위해 예약되어 있습니다. 키워드 목록은 [부록 A][appendix_a]<!-- ignore -->
> 에서 확인할 수 있습니다.
> 위해 예약되어 있습니다. 키워드 목록은 [부록 A][appendix_a]<!-- ignore -->에서
> 확인할 수 있습니다.
[appendix_a]: appendix-01-keywords.md
112 changes: 56 additions & 56 deletions src/ch03-01-variables-and-mutability.md
Original file line number Diff line number Diff line change
@@ -1,14 +1,14 @@
## 변수와 가변성

[“변수에 값 저장하기”][storing-values-with-variables]<!-- ignore -->
에서 언급했듯이, 변수는 기본적으로 불변입니다. 이것은 러스트가
제공하는 안정성과 쉬운 동시성이라는 이점을 얻을 수 있는 방향으로
코드를 쓰게 하는 강제사항(nudge) 중 하나입니다. 하지만 여러분은
여전히 변수를 가변으로 만들 수 있습니다. 어떻게 하는지 살펴보고
왜 러스트가 불변성을 권하는지와 어떨 때 가변성을 써야 하는지
알아봅시다.

변수가 불변일 때, 한번 값이 묶이면 그 값은 바꿀 수
에서 언급했듯이, 변수는 기본적으로 불변 (immutable) 입니다. 이것은
러스트가 제공하는 안정성과 쉬운 동시성을 활용하는 방식으로 코드를 작성할
수 있도록 하는 넛지 (nudge, 슬며시 선택을 유도하기) 중 하나입니다.
하지만 여러분은 여전히 변수를 가변 (mutable) 으로 만들 수 있습니다.
어떻게 하는지 살펴보고 왜 러스트가 불변성을 권하는지와 어떨 때 가변성을
써야 하는지 알아봅시다.

변수가 불변일 때, 어떤 이름에 한번 값이 묶이면 그 값은 바꿀 수
없습니다. 이를 표현하기 위해, `cargo new variables`
*projects* 디렉토리 안에 *variables*라는 프로젝트를 만들어 봅시다.

Expand All @@ -31,30 +31,30 @@
이 예시는 컴파일러가 프로그램의 에러 찾기를 어떻게 도와주는지 보여줍니다.
컴파일러 에러가 실망스러울 수도 있겠지만, 컴파일러는 그저 여러분의 프로그램이 아직은
원하는 대로 안전하게 동작하지 않는다고 할 뿐입니다. 컴파일러는 여러분이 좋은 프로그래머가
아니라고 한 적이 *없습니다*! 경험이 많은 러스타시안들조차 컴파일러 에러가 발생합니다.
아니라고 한 적이 *없습니다!* 경험이 많은 러스타시안들에게조차 컴파일러 에러가 발생합니다.

여러분은 ``불변 변수 `x`에 두 번 값을 할당할 수 없다`` 라는 에러 메세지를
받게 됩니다. 불변 변수 `x`에 두 번째 값을 할당하려고 했기 때문이죠.
``불변 변수 `x`에 두 번 값을 할당할 수 없다`` 라는 내용의 에러 메세지를
받았습니다. 불변 변수 `x`에 두 번째 값을 할당하려고 했기 때문이죠.

불변으로 지정한 값을 변경하려고 하는 바로 이 상황이 버그로 이어질 수
있기 때문에, 컴파일-타임 에러가 발생하는 것은 중요합니다.
있기 때문에, 컴파일 타임 에러가 발생하는 것은 중요합니다.
만약 코드의 한 부분이 변수 값은 변하지 않는다는 전제 하에
작동하고 코드의 다른 부분이 그 값을 바꾼다면, 부분의 코드는
작동하고 코드의 다른 부분이 그 값을 바꾼다면, 부분의 코드는
원래 지정된 일을 못할 가능성이 생깁니다. 이런 류의 버그는 발생
후 추적하는 것이 어려운데, 특히 코드의 두 번째 부분이 값을
*가끔 바꿀 때* 그렇습니다. 러스트 컴파일러는 여러분이 변수가
변하지 않는다고 지정하면 컴파일러가 이를 보증합니다. 이 말은
코드를 읽고 쓸 때 값이 어디서 어떻게 변할 지 쫓을 필요가 없다는
*가끔씩만* 바꿀 때 그렇습니다. 러스트 컴파일러는 값이 바뀌지 않을
것이라고 여러분이 지정하면 실제로 그렇도록 보증합니다. 이 말은
코드를 읽고 쓸 때 값이 어디서 어떻게 바뀔지 추적할 필요가 없다는
것입니다. 따라서 여러분의 코드는 흐름을 따라가기 쉬워집니다.

하지만 가변성은 아주 유용할 수 있고, 코드 작성을 더 편하게 해줍니다.
변수는 기본적으로 불변이더라도, 여러분이
[2장][storing-values-with-varilables]<!-- ignore -->에서 했던
[2장][storing-values-with-variables]<!-- ignore -->에서 했던
것처럼 변수명 앞에 `mut`을 붙여서 가변으로 만들 수 있습니다.
이 변수에게 값이 변할 수 있도록 하는 것에 더해, 다른 부분의 코드에서
이 변수의 값이 변할 것이라는 의미를 미래의 독자들에게 전달합니다.
`mut`를 추가하는 것은 또한 미래에 코드를 읽는 이들에게 코드의 다른
부분에서 이 변수의 값이 변할 것이라는 의도를 전달합니다.

예를 들어, *src/main.rs*를 다음과 같이 바꿉시다.
예를 들어, *src/main.rs*를 다음과 같이 바꿉시다:

<span class="filename">Filename: src/main.rs</span>

Expand All @@ -68,28 +68,28 @@
{{#include ../listings/ch03-common-programming-concepts/no-listing-02-adding-mut/output.txt}}
```

우리는 `mut`를 사용해 `x`의 값을 `5`에서 `6`으로 바꿀 수 있었습니다.
궁극적으로 가변성을 사용할지 말지는 여러분의 몫이고 상황에서 여러번이
생각하는 가장 명확한 상태가 어떤 것이냐에 따라 달려있습니다.
`mut`를 사용해 `x`의 값을 `5`에서 `6`으로 바꿀 수 있었습니다.
궁극적으로 가변성을 사용할지 말지는 여러분의 몫이고, 특정 상황에서
가장 명확하다고 생각하는 것이 어떤 것이냐에 따라 달라집니다.

### 상수 (Constants)
### 상수

*상수 (constant)* 는 불변 변수와 비슷한데, 어떤 이름에 묶여 있는
값이고 값을 바꾸는 것이 허용되지 않지만, 변수와는 약간 다른 점들이
있습니다.

먼저, `mut` 상수를 함께 사용할 수 없습니다. 상수는
먼저, 상수는 `mut`와 함께 사용할 수 없습니다. 상수는
기본적으로 불변인 것이 아니고, 항상 불변입니다. 상수는 `let`
키워드 대신 `const` 키워드로 선언하며, 값의 타입은 *반드시*
명시되어야 합니다. 다음 절 [“데이터 타입”][data-types]<!-- ignore -->
에서 타입과 타입 명시에 대해 다룰 예정이므로, 자세한 사항은 아직 걱정하지
명시되어야 합니다. 다음 절 [“데이터 타입”][data-types]<!-- ignore -->에서
타입과 타입 명시에 대해 다룰 예정이므로, 자세한 사항은 아직 걱정하지
않아도 됩니다. 항상 타입 명시를 해야 한다는 것만 알아두세요.

상수는 전역 스코프를 포함한 어느 스코프에서도 선언 가능한데,
이는 코드의 많은 부분에서 알 필요가 있는 값들에 유용합니다.
상수는 전역 스코프를 포함한 어떤 스코프에서도 선언 가능하므로
코드의 많은 부분에서 알 필요가 있는 값에 유용합니다.

마지막 차이점은, 상수는 반드시 상수 표현식이어야 하고
런타임에서만 계산될 수 있는 결과 값은 안된다는 것입니다.
마지막 차이점은, 상수는 반드시 상수 표현식으로만 설정될 수 하고
런타임에서만 계산될 수 있는 결과값으로는 안된다는 것입니다.

아래에 상수 선언의 예제가 있습니다:

Expand All @@ -102,7 +102,7 @@ const THREE_HOURS_IN_SECONDS: u32 = 60 * 60 * 3;
알아둘 필요가 있는 시간의 숫자)를 모두 곱한 값입니다.
러스트의 이름 짓기 관례에서 상수는 단어 사이에 밑줄을 사용하고
모든 글자를 대문자로 쓰는 것입니다. 컴파일러는 컴파일 타임에
제한된 연산을 수행할 수 있는데, 이는 이런 상수값을 10,800으로
제한된 연산을 수행할 수 있는데, 이런 상수값을 10,800으로
쓰는 대신 이해하고 검사하기 더 쉽게 작성할 방법을 제공해줍니다.
[상수값 평가에 대한 러스트 레퍼런스 절][const-eval]에서 상수 선언에
사용될 수 있는 연산이 어떤 것이 있는지 더 많은 정보를 찾을 수
Expand All @@ -119,15 +119,15 @@ const THREE_HOURS_IN_SECONDS: u32 = 60 * 60 * 3;
또한 나중에 업데이트될 하드코드된 값을
단 한 군데에서 변경할 수 있게 해줍니다.

### 덮어쓰기
### 쉐도잉

[2장][comparing-the-guess-to-the-secret-number]<!-- ignore -->에서
다른 추리 게임에서 보았듯이, 여러분은 새 변수를 이전 변수명과 같은
이름으로 선언할 수 있습니다. 러스타시안들은 첫 번째 변수가 두 번째 변수에
의해 *가려졌다 (shadowed)*라고 표현하며, 이는 여러분이 해당 변수의
이름을 사용할 때 컴파일러가 두번째 번수라는 것을 알게 될 것이라는
다른 추리 게임에서 보았듯이, 새 변수를 이전 변수명과 같은 이름으로
선언할 수 있습니다. 러스타시안들은 첫 번째 변수가 두 번째 변수에
의해 *가려졌다 (shadowed)* 라고 표현하며, 이는 해당 변수의
이름을 사용할 때 컴파일러가 두번째 번수를 보게될 것이라는
의미입니다. 사실상 두번째 변수는 첫번째 것을 가려서, 스스로를 다시
가리거나 스코프가 끝날때까지 변수명의 사용을 가져가버립니다. 우리는
가리거나 스코프가 끝날때까지 변수명의 사용을 가져가 버립니다.
아래처럼 똑같은 변수명과 let` 키워드의 반복으로 변수를 가릴 수
있습니다:

Expand All @@ -137,39 +137,39 @@ const THREE_HOURS_IN_SECONDS: u32 = 60 * 60 * 3;
{{#rustdoc_include ../listings/ch03-common-programming-concepts/no-listing-03-shadowing/src/main.rs}}
```

이 프로그램은 1차로 `x``5`라는 값을 묶습니다. 다음으로 `let x = `
반복해 새로운 변수 `x`를 만들고, 원래 값에 `1`을 더한 값을 대입하여
`x`의 값은 `6`이 됩니다. 그 후 중괄호를 사용하여 만들어진 안쪽 스코프
이 프로그램은 먼저 `x``5`라는 값을 묶어 넣습니다. 다음으로 `let x = `
반복해 새로운 변수 `x`를 만들고, 원래 값에 `1`을 더한 값을 대입해서
`x`의 값은 이제 `6`이 됩니다. 그 후 중괄호를 사용하여 만들어진 안쪽 스코프
내에 있는 세 번째 `let` 구문 또한 `x`를 가리고 새로운 변수를 만드는데,
이전 값에 `2`를 곱해 `x`에 할당해서 `x`의 최종값은 `12`가 됩니다.
이 스코프가 끝나면 안쪽의 가림은 끝나서 `x`는 다시 `6`으로 돌아옵니다.
이 스코프가 끝나면 안쪽의 쉐도잉은 끝나서 `x`는 다시 `6`으로 돌아옵니다.
우리가 이 프로그램을 실행하면 다음과 같이 출력될 것입니다:

```console
{{#include ../listings/ch03-common-programming-concepts/no-listing-03-shadowing/output.txt}}
```

덮어쓰기는 변수를 `mut`로 표시하는 것과는 다릅니다.
`let` 키워드 없이 값을 재할당 하려고 한다면
컴파일-타임 에러가 발생하기 때문입니다.
`let`을 사용하면, 값을 이전하면서 불변으로
유지할 수 있습니다.
쉐도잉은 변수를 `mut`로 표시하는 것과는 다릅니다.
실수로 `let` 키워드 없이 변수에 값을 재할당 하려고
한다면 컴파일 타임 에러가 발생하기 때문입니다.
`let`을 사용하면, 값을 변형하면서 변형이 완료된 후에는
불변으로 유지할 수 있습니다.

`mut`덮어쓰기의 또다른 차이점은,
같은 변수명으로 다른 타입의 값을 저장할 수 있다는 것입니다.
예를 들어, 프로그램이 사용자에게 글 사이에
몇 개의 공백을 넣고 싶은지 입력하도록 하고,
우리는 이 값을 숫자로써 보관하고 싶다 칩시다:
`mut`쉐도잉의 또다른 차이점은 다시금 `let` 키워드를 사용하여 새로운
변수를 만드는 것이기 때문에 같은 변수명으로 다른 타입의 값을 저장할
수 있다는 것입니다. 예를 들어, 프로그램이 사용자에게 어떤 텍스트
사이에 몇 개의 공백을 넣고 싶은지 공백문자를 입력하도록 요청하고,
이 값을 숫자로 저장하고 싶다 칩시다:

```rust
{{#rustdoc_include ../listings/ch03-common-programming-concepts/no-listing-04-shadowing-can-change-types/src/main.rs:here}}
```

첫번째 `spaces`는 문자열 타입이고 두번째 `spaces`는 숫자 타입입니다.
따라서 변수명 가리기는 `spaces_str``spaces_num` 같이 구분되는
변수명을 쓸 필요가 없도록 여유를 줍니다. 그 대신 우리는 더 간단한
`spaces`라는 이름을 재사용할 수 있습니다. 그런데 여기에서 `mut`
사용하려 한다면, 보시다시피 컴파일-타임 에러가 발생합니다:
따라서 쉐도잉은 `spaces_str``spaces_num` 같이 구분되는
변수명을 쓸 필요가 없도록 여유를 줍니다; 즉, 더 간단한 `spaces`라는
이름을 재사용할 수 있게 해줍니다. 그런데 여기에서 `mut` 사용하려
한다면, 보시다시피 컴파일 타임 에러가 발생합니다:

```rust,ignore,does_not_compile
{{#rustdoc_include ../listings/ch03-common-programming-concepts/no-listing-05-mut-cant-change-types/src/main.rs:here}}
Expand Down
Loading

0 comments on commit cd67f52

Please sign in to comment.