[Rust] if let, while let 구문. refutable 패턴

if let 구문은 아래의 형식을 가진다.
if let 패턴 = 값

값이 해당 패턴에 대응된다면 패턴식을 수행하고 분기로 접어든다.
아래 코드는 Option 값을 갖다가 매칭시키는 간단한 코드다.

while let도 동일한 구조를 가진다.
아래의 코드는 무한루프를 발생시킨다.

근데 유의해둘 점이 있다.
if let이나 while let의 패턴에는 반박될 수 있는(refutable) 패턴만이 들어갈 수 있다는 것이다.
위에서 썼던 코드는 refutable 패턴이었다. 전체 코드가 어쨌건간에 컴파일러가 다 분석할 수는 없고, 잠재적으로 해당 패턴은 실패를 할 가능성을 내포한다는 것이다. num의 값이 Some인지 None인지 컴파일러가 어찌 알겠는가?

그렇다면 반박될 수 없는(irrefutable) 패턴은 무엇일까?
간단하다. 이런거다.

let val = 5422란 패턴은 무조건 성공할 수밖에 없다. 그러므로 반박(실패)가 불가능하다. 이런데다가 분기를 끼워두면 당연히 무의미한 분기가 될 것이다...
쓸데없는 코드를 예방하기 위해 설치해둔 간단한 안전장치라 할 수 있다.

그렇다.

참조
https://doc.rust-lang.org/book/ch18-02-refutability.html#refutability-whether-a-pattern-might-fail-to-match