<div id="readability-page-1" class="page"><div id="post-body-7957626391686726701">
Java나 C++ 같은 언어에서는 <a href="https://blog.seulgi.kim/2020/06/loop.html#2020-06-loop-conditional-loop" target="_blank">조건 반복문</a>과 <a href="https://blog.seulgi.kim/2020/06/loop.html#2020-06-loop-for-each-loop" target="_blank">for-each 반복문</a>에 같은 <code>for</code> 키워드를 사용한다. 하지만, <a href="https://www.rust-lang.org/" target="_blank">Rust</a>는 조건 반복문에는 <code><a href="https://doc.rust-lang.org/stable/rust-by-example/flow_control/while.html" target="_blank">while</a> 키워드</code>을 for-each 반복문에는 <code><a href="https://doc.rust-lang.org/stable/rust-by-example/flow_control/for.html" target="_blank">for</a></code> 키워드를 사용한다.

Rust는 여기에 하나의 반복문을 더 제공한다. <code><a href="https://doc.rust-lang.org/stable/rust-by-example/flow_control/loop/return.html" target="_blank">loop</a></code> 반복문이다. 이는 <code>while true</code>라고 쓰는 것과 같이 같은 코드를 무한히 실행한다. 실제로 무한 반복이 필요한 경우에도 사용되고, 반복문의 조건을 하나의 표현식으로 서술하기 힘들어 <code>break</code>문으로 뺄 때에도 사용된다.

하지만 <code>loop</code>가 while true와 완전히 같은 코드는 아니다. <code>loop</code>는 <code>while</code>문과 다르게 그 자체로 값을 가진다. <code>break</code>문 뒤에 값을 적으면 이 값이 반복문 전체의 값이 된다. 그렇다면 다른 반복문은 값을 가지지 않는데 <code>loop</code>문만 값을 가지는 이유는 무엇일까?

일반적으로 반복문이 끝나는 데는 두 가지 조건이 있다. 주어진 조건이 끝나는 것과 <code>break</code>문을 만나는 것이다. 평범한 반복문에서도 같은 문법을 써서 <code>break</code>문을 만났을 때의 값은 정하게 할 수는 있지만, 조건이 끝나 반복문이 종료되는 경우 값을 지정할 수 없다. 그래서 일반적으로 반복문은 값을 가지지 않는다. 하지만 <code>loop</code>문은 종료 조건이 없기 때문에 끝나기 위해서는 항상 <code>break</code>문을 만나야 한다. 이런 특징 덕분에 <code>loop</code>는 다른 반복문과 다르게 구문 자체가 값을 가질 수 있다.Rust에서는 for-each 반복문을 for-in 반복문이라고 부른다. 실제로 <code>for value in values</code>라고 코드를 작성하기 때문이다. 그렇다면 여기서 <code>values</code>에 들어갈 수 있는 값은 어떤 값일까? 내가 만든 타입을 for-in 반복문에 사용하고 싶으면 어떻게 해야 할까?

값을 순회할 수 있는 타입은 모두 for-in 반복문에 사용할 수 있다. 따라서 무엇을 for-in 반복문에 사용할 수 있는지 알고 싶다면 Rust가 생각하는 순회할 수 있는 값이 무엇인지 알아야 한다.

<code><a href="https://doc.rust-lang.org/std/iter/trait.Iterator.html" target="_blank">Iterator</a></code>는 순회할 수 있는 타입을 의미한다. 따라서 <code>Iterator</code>를 구현한 타입도 for-in 반복문에 사용할 수 있다. 하지만 for-in 반복문을 사용하려면 <code>Iterator</code>를 구현해야 한다는 표현은 정확하지 않다.

Rust가 생각하는 순회할 수 있는 타입은 <code>Iterator</code>로 변환할 수 있는 타입이다. 구체적으로는 <code><a href="https://doc.rust-lang.org/std/iter/trait.IntoIterator.html" target="_blank">IntoIterator</a></code>를 구현한 타입은 for-in 반복문에 사용할 수 있다. <code>Iterator</code>를 구현한 타입은 자동으로 <code>IntoIterator</code>도 구현하기 때문에 <code>Iterator</code>를 구현한 타입도 for-in 반복문에 사용할 수 있다. 하지만 <code>Iterator</code>를 구현하지 않아도, <code>IntoIterator</code>를 구현한 타입은 for-in 반복문에 사용할 수 있다.

새로 정의한 타입을 for-in 반복문에서 사용하게 만들 때 기억해야 할 것이 있다. <code>IntoIterator</code>를 구현할 때 원하는 타입뿐 아니라 그 타입의 레퍼런스와 mutable 레퍼런스도 <code>IntoIterator</code>를 구현해야 한다. 예를 들어 List라는 타입을 만들었을 때, List뿐 아니라 &amp;List와 &amp;mut List에도 IntoIterator를 구현해야 한다.

이는 for-in 반복문을 3가지 형태로 사용할 수 있기 때문이다. 예를 들어 <code>list</code>라는 자료구조를 순회할 때 <code>for x in list</code>라고 써서 <code>list</code> 자체를 move하여 순회할 수도 있지만, <code>for x in &amp;list</code>라는 식으로 <code>list</code>의 원소의 레퍼런스에 대해 순회할 수도 있고, <code>for x in &amp;mut list</code>라는 식으로 사용하여 반복문 안에서 <code>list</code>의 원소를 수정하게 할 수도 있다. 따라서 <code>IntoIterator</code>를 레퍼런스와 mutable 레퍼런스에도 의미에 맞게 구현해야 한다.

여기서 "의미에 맞게"라는 것은 <code>IntoIterator</code>의 <code><a href="https://doc.rust-lang.org/std/iter/trait.IntoIterator.html#Item.t" target="_blank">Item</a></code> 타입이 적절한 타입을 가지는 것을 말한다. 사람들은 <code>for x in &amp;list</code>라는 코드를 쓸 때 <code>x</code>로 <code>list</code>의 원소를 별도의 복사 없이 레퍼런스로 접근할 수 있다고 예상한다. 따라서 <code>&amp;List</code>의 <code>IntoIterator</code>의 <code>Item</code>은 레퍼런스 타입이어야 한다. 비슷하게 <code>for x in &amp;mut list</code>라는 코드를 쓸 때는 <code>x</code>를 수정하여 <code>list</code>의 원소를 수정할 수 있을 것으로 생각하기 때문에 <code>&amp;mut List</code>의 <code>IntoIterator</code>는 <code>list</code>의 원소를 가리키는 mutable 레퍼런스여야 한다.

앞에서 말했듯이 <code>Iterator</code>도 <code>IntoIterator</code>를 구현한다. 따라서 <a href="https://doc.rust-lang.org/std/iter/index.html#adapters" target="_blank">iterator adapter</a>라고 불리는 다양한 <code>Iterator</code>들도 for-in 반복문에 사용할 수 있다. 이에 대해서는 다음 기회에 iterator adapter를 소개하면서 더 자세히 다뤄보도록 하겠다.
</div></div>

슭의 개발 블로그

Java나 C++ 같은 언어에서는 조건 반복문과 for-each 반복문에 같은 for 키워드를 사용한다. 하지만, Rust는 조건 반복문에는 while 키워드을 for-each 반복문에는 for 키워드를 사용한다.
 Rust는 여기에 하나의 반복문을 더 제공한다. loop 반복문이다. 이는 while true라고 쓰는 것과 같이 같은 코드를 무한히 실행한다. 실제로 무한 반복이 필요한 경우에도 사용되고, 반복문의 조건을 하나의 표현식으로 서술하기 힘들어 break문으로 뺄 때에도 사용된다.
 하지만 loop가 while true와 완전히 같은 코드는 아니다. loop는 while문과 다르게 그 자체로 값을 가진다. break문 뒤에 값을 적으면 이 값이 반복문 전체의 값이 된다. 그렇다면 다른 반복문은 값을 가지지 않는데 loop문만 값을 가지는 이유는 무엇일까?
 일반적으로 반복문이 끝나는 데는 두 가지 조건이 있다. 주어진 조건이 끝나는 것과 break문을 만나는 것이다. 평범한 반복문에서도 같은 문법을 써서 break문을 만났을 때의 값은 정하게 할 수는 있지만, 조건이 끝나 반복문이 종료되는 경우 값을 지정할 수 없다. 그래서 일반적으로 반복문은 값을 가지지 않는다. 하지만 loop문은 종료 조건이 없기 때문에 끝나기 위해서는 항상 break문을 만나야 한다. 이런 특징 덕분에 loop는 다른 반복문과 다르게 구문 자체가 값을 가질 수 있다.
Rust에서는 for-each 반복문을 for-in 반복문이라고 부른다. 실제로 for value in values라고 코드를 작성하기 때문이다. 그렇다면 여기서 values에 들어갈 수 있는 값은 어떤 값일까? 내가 만든 타입을 for-in 반복문에 사용하고 싶으면 어떻게 해야 할까?
 값을 순회할 수 있는 타입은 모두 for-in 반복문에 사용할 수 있다. 따라서 무엇을 for-in 반복문에 사용할 수 있는지 알고 싶다면 Rust가 생각하는 순회할 수 있는 값이 무엇인지 알아야 한다.
 Iterator는 순회할 수 있는 타입을 의미한다. 따라서 Iterator를 구현한 타입도 for-in 반복문에 사용할 수 있다. 하지만 for-in 반복문을 사용하려면 Iterator를 구현해야 한다는 표현은 정확하지 않다.
 Rust가 생각하는 순회할 수 있는 타입은 Iterator로 변환할 수 있는 타입이다. 구체적으로는 IntoIterator를 구현한 타입은 for-in 반복문에 사용할 수 있다. Iterator를 구현한 타입은 자동으로 IntoIterator도 구현하기 때문에 Iterator를 구현한 타입도 for-in 반복문에 사용할 수 있다. 하지만 Iterator를 구현하지 않아도, IntoIterator를 구현한 타입은 for-in 반복문에 사용할 수 있다.
 새로 정의한 타입을 for-in 반복문에서 사용하게 만들 때 기억해야 할 것이 있다. IntoIterator를 구현할 때 원하는 타입뿐 아니라 그 타입의 레퍼런스와 mutable 레퍼런스도 IntoIterator를 구현해야 한다. 예를 들어 List라는 타입을 만들었을 때, List뿐 아니라 &List와 &mut List에도 IntoIterator를 구현해야 한다.
 이는 for-in 반복문을 3가지 형태로 사용할 수 있기 때문이다. 예를 들어 list라는 자료구조를 순회할 때 for x in list라고 써서 list 자체를 move하여 순회할 수도 있지만, for x in &list라는 식으로 list의 원소의 레퍼런스에 대해 순회할 수도 있고, for x in &mut list라는 식으로 사용하여 반복문 안에서 list의 원소를 수정하게 할 수도 있다. 따라서 IntoIterator를 레퍼런스와 mutable 레퍼런스에도 의미에 맞게 구현해야 한다.
 여기서 "의미에 맞게"라는 것은 IntoIterator의 Item 타입이 적절한 타입을 가지는 것을 말한다. 사람들은 for x in &list라는 코드를 쓸 때 x로 list의 원소를 별도의 복사 없이 레퍼런스로 접근할 수 있다고 예상한다. 따라서 &List의 IntoIterator의 Item은 레퍼런스 타입이어야 한다. 비슷하게 for x in &mut list라는 코드를 쓸 때는 x를 수정하여 list의 원소를 수정할 수 있을 것으로 생각하기 때문에 &mut List의 IntoIterator는 list의 원소를 가리키는 mutable 레퍼런스여야 한다.
 앞에서 말했듯이 Iterator도 IntoIterator를 구현한다. 따라서 iterator adapter라고 불리는 다양한 Iterator들도 for-in 반복문에 사용할 수 있다. 이에 대해서는 다음 기회에 iterator adapter를 소개하면서 더 자세히 다뤄보도록 하겠다.

Rust의 반복문

댓글