멜트다운 완화

Crystal에는 제어식이라는 것이 있어요. 제어식은 프로그램이 실행되는 방식을 제어하는 데 사용되고, 참 같은 값이나 거짓 같은 값을 가져요. 참 같은 값이나 거짓 같은 값을 만드는 데 쓸 수 있는 연산자들도 있는데, 이것을 동등 및 비교 연산자라고 해요.

어떤 코드가 실행되고 어떤 코드는 실행되지 않을지, 다시 말해 주어진 분기 중 어느 것이 실행될지를 제어하는 주요 제어식이 두 가지 있어요.

그 두 가지는 if와 unless 표현식이에요.

비교 연산자

비교 연산자는 값을 비교해서 true 또는 false 값을 반환하는 데 사용해요. 이 연산자들은 비교하려면 같은 타입의 값 두 개가 필요해요. 값의 타입이 다르면 컴파일러가 오류를 발생시켜요. 다음은 비교 연산자 목록과, 이 연산자들이 true 값을 내놓는 예시예요:

동등 연산자

동등 연산자는 비교 연산자와 비슷하지만, 두 값이 같은지 아닌지를 확인하는 데 사용해요.

== 연산자는 값의 타입을 포함해서 두 값이 같은지 확인해요. 값이 같으면 true를 반환하고, 그렇지 않으면 false를 반환해요. == 연산자는 어떤 타입의 값이든 다른 어떤 타입의 값과도 비교할 수 있어요. !=도 같은 방식으로 동작하지만, 값이 다르면 true를, 같으면 false를 반환해요.

if문

if문은 주어진 조건이 참 같은 값인지 거짓 같은 값인지 확인하는 데 사용해요. 조건이 참 같은 값이면 if문 안의 코드가 실행돼요. if문은 end 키워드로 끝나요.

if 1 == 1
  puts "1 is equal to 1"
end
# => 1 is equal to 1

if 1 > 2
  puts "1 is greater than 2"
end
# => no output

unless문

unless문은 if문과 아주 비슷하게 동작하지만, 조건이 거짓 같은 값일 때 unless문 안의 코드를 실행해요.

unless 1 == 1
  puts "1 is not equal to 1"
end
# => no output

unless 1 > 2
  puts "1 is not greater than 2"
end
# => 1 is not greater than 2

else문

else문은 if문과 unless문에 함께 사용할 수 있어요. else문은 if 분기나 unless 분기가 실행되지 않았을 때 실행돼요.

`else` 분기는 `unless,`와 함께 사용할 수 있지만, 가독성을 해치기 때문에 그렇게 하는 것은 권장하지 않아요.
대신 `else` 분기와 함께 `if !condition`을 사용하는 것을 권장해요.

if 1 == 1
  puts "1 is equal to 1"
else
  puts "1 is not equal to 1"
end
# => 1 is equal to 1

unless 1 < 2
  puts "1 is not greater than 2"
else
  puts "1 is greater than 2"
end
# => 1 is greater than 2

연쇄 if문

elsif문은 if문과 함께 사용할 수 있어요. elsif문은 if 분기가 실행되지 않았고 elsif문의 조건이 참 같은 값일 때 실행돼요. elsif문은 여러 개를 이어 붙일 수 있고, 처음으로 조건이 참이 되는 분기가 실행돼요. if문 끝에 else문을 둘 수도 있는데, 이는 앞의 조건들이 모두 참이 아니었을 때 실행돼요.

if 1 != 1
  puts "1 is not equal to 1"
elsif 1 > 2
  puts "1 is greater than 2"
else
  puts "1 is not equal to 1 and 1 is not greater than 2"
end
# => 1 is not equal to 1 and 1 is not greater than 2

조건문과 타입

변수에 서로 다른 타입이 대입되면, 변수는 두 타입을 모두 가지게 돼요. 컴파일러는 어느 분기가 실행될지 모르기 때문이에요. 이렇게 여러 타입이 함께 대입되는 것을 유니언이라고도 하는데, 이는 뒤의 개념에서 설명해요. 다음 예시에서 확인할 수 있어요:

if 1 == 1
  a = 1
else
  a = "1"
end

typeof(a) # => Int32 | String

삼항 연산자

Crystal에는 한 줄짜리 if-else문인 삼항 연산자가 있어요: condition ? expression_if_truthy : expression_if_falsey

1 == 1 ? puts("1 is equal to 1") : puts("1 is not equal to 1")
# => 1 is equal to 1