JavaScript - if 문 Truthy 와 Falsy 평가 방식

 

예시

 

조건문의 평가 방식

 

타입스크립트로 자료구조를 구현하고 있는데, 다른 예시에서 node의 next 값이 존재하면 수정하는 그런 로직이 있었다.

?!!?!?!?!?!?!?!?!?!?!?!

if (node.next !== null) {
	//이게 아니고 아래가 된다고?
}

if (node.next) {
  node.next.prev = node.prev;
}

 

node는 ListNode<TValue> | null 으로 타입을 추론할 수 있었다. 근데 if () 조건문에 boolean 값이 아닌 객체나 null 이 들어간다는 것에 충격을 받았다. 왜 저게 컴파일 에러가 안생기지?!

찾아보니 자바스크립트는 조건문 안에는 반드시 boolean 값만 들어가야 한다는 규칙이 존재하지 않았다.(노근본... 아니냐고....)

 

TypeScript(또는 JavaScript)에서 조건문(if)은 내부적으로 값의 truthy 또는 falsy 여부를 평가하여 실행된다. 따라서 객체, null, undefined 등이 들어올 수 있다.

---

Truthy 값

if 조건이 truthy로 평가되면 블록 내부의 코드가 실행된다.

 

Truthy로 평가되는 값

1. 객체 ({}, [], 함수 등)
2. 문자열 ("string", " " 등, 빈 문자열 "" 제외)
3. 숫자 (1, -1, Infinity 등, 0 제외)
4. true

---

Falsy 값

if 조건이 falsy로 평가되면 블록 내부의 코드는 실행되지 않는다.

 

Falsy로 평가되는 값

1. null
2. undefined
3. false
4. 0
5. NaN
6. 빈 문자열 ("")

---

결론

if (node.next) {
  node.next.prev = node.prev;
}

 

따라서 위 조건문은 결국 node.next가 truthy일 때 조건문이 실행된다.

즉 ListNode<TValue> 타입일때, 객체인 경우 조건문이 실행된다.

node.next가 null 또는 undefined일 경우, 조건문은 실행되지 않는다.

 

 

ECMAScript 사양에 따른 조건문 평가 과정

 

1. 조건식 평가
   • 조건식이 Expression으로 평가된다.
   • 이 평가된 결과는 GetValue를 통해 얻는다.
2. 추상 연산 ToBoolean 수행
   • 조건식의 결과 값은 내부적으로 ToBoolean 추상 연산에 의해 처리된다.
   • ToBoolean은 값을 truthy 또는 falsy로 변환한다.
3. 결과에 따라 분기 실행
   • ToBoolean 결과가 true이면 if 블록을 실행
   • false이면 else 블록(또는 아무것도 실행하지 않음)

ECMAScript 사양을 흉내낸 JavaScript 코드

function toBoolean(value) {
  switch (value) {
    case undefined:
    case null:
    case false:
    case 0:
    case -0:
    case NaN:
    case "":
      return false; // Falsy 값
    default:
      return true;  // Truthy 값
  }
}

// 조건문 평가 로직 흉내
function evaluateIfCondition(condition) {
  const booleanValue = toBoolean(condition);
  if (booleanValue) {
    console.log("Condition is truthy");
  } else {
    console.log("Condition is falsy");
  }
}

// 테스트
evaluateIfCondition(null);     // Condition is falsy
evaluateIfCondition(1);        // Condition is truthy
evaluateIfCondition("");       // Condition is falsy
evaluateIfCondition({});       // Condition is truthy
evaluateIfCondition(undefined); // Condition is falsy

 

 

https://tc39.es/ecma262/multipage/abstract-operations.html#sec-toboolean

ECMAScript® 2025 Language Specification