2025-08-24 13:28

• 상태 변화 연산은 프로그램의 데이터를 변경하는 모든 작업을 의미하며, 할당, 반복, 분기가 핵심입니다.

• 이러한 연산은 프로그램에 동적인 생명력을 불어넣지만, 무분별하게 사용하면 예측 불가능한 버그의 원인이 됩니다.

• 따라서 상태 변화의 원리를 이해하고 제어하는 것은 견고하고 신뢰성 있는 소프트웨어를 만드는 데 필수적입니다.

상태 변화 연산 A to Z 할당, 반복, 분기 완전 정복 핸드북

컴퓨터 프로그램의 세계를 하나의 거대한 연극 무대라고 상상해 봅시다. 이 무대 위에는 수많은 배우(데이터)들이 존재합니다. 만약 모든 배우가 처음 등장한 모습 그대로 아무런 변화 없이 가만히 서 있기만 한다면, 그 연극은 어떨까요? 아마 단 1초도 지루해서 볼 수 없을 겁니다. 연극이 흥미진진해지는 이유는 배우들이 서로 대사를 주고받고, 위치를 바꾸고, 소품을 활용하며 끊임없이 ‘상황’을 바꾸기 때문입니다.

프로그래밍에서 **상태(State)**란 바로 이 ‘상황’에 해당합니다. 특정 시점에 프로그램이 가지고 있는 모든 데이터의 총합, 즉 프로그램의 ‘기억’입니다. 그리고 **상태 변화 연산(State-Changing Operations)**은 이 기억을 바꾸는 모든 행위, 즉 연극의 스토리를 진행시키는 배우들의 ‘연기’와 같습니다.

이 핸드북에서는 프로그램에 생명력을 불어넣는 가장 핵심적인 세 가지 연기, **할당(Assignment), 반복(Iteration), 분기(Branching)**에 대해 깊이 있게 탐구해 보겠습니다. 이들이 왜 만들어졌고, 어떻게 작동하며, 어떤 잠재적 위험을 가지고 있는지 이해하는 것은 모든 개발자의 여정에 필수적인 과정입니다.

1. 상태(State)란 무엇인가? 모든 변화의 시작점

본격적인 탐험에 앞서, ‘상태’라는 개념을 명확히 해야 합니다.

**상태(State)**란, 특정 시점에서 프로그램의 메모리에 저장된 데이터 값들의 집합입니다.

쉽게 말해, 프로그램이 현재 “어떤 상황에 처해있는가”를 나타내는 정보의 스냅샷입니다.

• 변수 x의 값은 10이다.

• 사용자가 로그인한 상태이다.

• 장바구니 배열에는 3개의 상품이 담겨 있다.

• 현재 시각은 오후 3시 15분이다.

이 모든 것이 바로 프로그램의 상태입니다. 상태가 없다면 프로그램은 어떤 것도 기억할 수 없습니다. 사용자의 입력을 받아도 다음 순간 잊어버리고, 계산을 해도 결과를 저장할 수 없습니다. 상태가 있기에 프로그램은 과거를 기억하고 현재를 판단하며 미래를 준비할 수 있습니다.

체스 게임 비유: 체스 게임의 ‘상태’는 현재 각 기물이 보드의 어느 칸에 위치해 있는지를 나타냅니다. 플레이어가 말을 움직일 때마다(연산), 체스판의 ‘상태’는 변합니다. 이 상태 변화가 모여 하나의 게임 흐름을 완성하는 것과 같습니다.

상태 변화 연산의 역할은 바로 이 정적인 상태를 동적으로 바꾸는 것입니다.

2. 가장 근본적인 변화, 할당 연산 (Assignment)

상태를 변화시키는 가장 직접적이고 원초적인 방법은 할당 연산입니다. 대부분의 프로그래밍 언어에서 등호(=) 기호로 표현되는 이 연산은 특정 메모리 공간(변수)에 값을 집어넣는 행위입니다.

**할당(Assignment)**이란, 변수라는 이름표가 붙은 메모리 공간에 특정 값을 저장하거나 덮어쓰는 연산입니다.

수학에서 x = 5는 ‘x와 5는 같다’는 의미의 등식이지만, 프로그래밍에서 x = 5;는 **“x라는 상자에 5라는 값을 넣어라”**는 명령입니다. 이 작은 명령 하나가 상태 변화의 시작입니다.

let score = 0; // 1. 'score'의 상태는 0
console.log(score); // 출력: 0
 
score = 100; // 2. 할당 연산을 통해 'score'의 상태를 100으로 변경!
console.log(score); // 출력: 100
 
let username = "Guest"; // 'username'의 상태는 "Guest"
username = "Alice";    // 'username'의 상태를 "Alice"로 변경

할당 연산이 없다면 변수는 초기값 그대로 영원히 머물러 있어야 합니다. 사용자의 이름을 입력받아 username 변수에 저장하고, 게임 점수를 얻어 score 변수를 업데이트하는 모든 행위의 기반에는 할당 연산이 있습니다.

값에 의한 할당 vs. 참조에 의한 할당

중요한 점은 데이터의 종류에 따라 할당의 방식이 달라진다는 것입니다.

• 원시 타입 (Primitive Types, 예: 숫자, 문자열, 불리언): 변수에 실제 값(value) 자체가 복사되어 할당됩니다. 따라서 할당 후 두 변수는 서로에게 아무런 영향을 주지 않습니다.

  let a = 10;
  let b = a; // b에 a의 '값'인 10이 복사됨
   
  b = 20; // b의 상태만 20으로 변경
   
  console.log(a); // 출력: 10 (영향 없음)
  console.log(b); // 출력: 20

• 참조 타입 (Reference Types, 예: 객체, 배열): 변수에는 실제 데이터가 아닌, 데이터가 저장된 메모리의 **주소(reference)**가 할당됩니다. 따라서 여러 변수가 같은 주소를 가리키는 상황이 발생할 수 있습니다.

  let objA = { value: 10 };
  let objB = objA; // objB에 objA의 '주소'가 복사됨 (같은 객체를 가리킴)
   
  objB.value = 20; // objB를 통해 객체의 상태를 변경
   
  console.log(objA.value); // 출력: 20 (objA도 영향을 받음!)
  console.log(objB.value); // 출력: 20

이처럼 할당 연산은 단순해 보이지만, 데이터 타입에 따라 프로그램의 상태에 미치는 영향이 달라지므로 정확한 이해가 필수적입니다.

3. 변화를 증폭시키는 엔진, 반복 연산 (Iteration)

만약 1부터 100까지 더한 결과를 얻고 싶다고 가정해 봅시다. 할당 연산만 사용한다면 아래와 같이 100줄의 코드를 작성해야 할 것입니다.

let sum = 0;
sum = sum + 1;
sum = sum + 2;
// ... 97번 더 반복 ...
sum = sum + 100;

이는 매우 비효율적입니다. 반복 연산은 이처럼 유사한 상태 변화를 여러 번 수행해야 할 때, 그 과정을 자동화하여 변화를 증폭시키는 강력한 엔진입니다.

**반복(Iteration)**이란, 특정 조건이 만족되는 동안 코드 블록을 여러 번 실행하여 상태를 점진적으로 또는 반복적으로 변경하는 연산입니다.

대표적인 반복문으로는 for와 while이 있습니다.

공장 조립 라인 비유: 반복문은 공장의 컨베이어 벨트와 같습니다. 벨트 위로 부품(초기 상태)이 지나가면, 로봇 팔(코드 블록)이 용접, 조립 등의 작업(상태 변화)을 반복적으로 수행하여 최종 제품(최종 상태)을 만들어냅니다.

// for 문을 사용한 1부터 100까지의 합
let sum = 0; // 초기 상태
 
for (let i = 1; i <= 100; i++) {
  // i가 1부터 100까지 1씩 증가하며 100번 반복
  // 반복할 때마다 sum의 상태가 변함
  sum = sum + i;
}
 
console.log(sum); // 출력: 5050 (최종 상태)

이 코드에서 sum과 i라는 두 변수의 상태가 반복 과정 내내 역동적으로 변하는 것을 볼 수 있습니다. i는 1에서 시작해 100이 될 때까지 계속 자신의 상태를 1씩 증가시키고, sum은 그 i의 값을 받아 자신의 상태를 계속 누적하여 변화시킵니다. 이처럼 반복문은 작은 상태 변화 규칙을 정의하여 거대한 상태 변화를 효율적으로 만들어내는 핵심 도구입니다.

4. 변화의 흐름을 제어하는 조타수, 분기 연산 (Branching)

프로그램이 항상 정해진 순서대로만 상태를 변화시킨다면 매우 멍청할 것입니다. “만약 사용자가 성인이라면” 주류 메뉴를 보여주고, “아니라면” 음료수 메뉴를 보여주는 것처럼, 조건에 따라 다른 상태 변화를 일으켜야 합니다. 분기 연산은 바로 이처럼 프로그램의 흐름을 나누는 조타수 역할을 합니다.

**분기(Branching)**란, 주어진 조건(Condition)의 참/거짓 여부에 따라 실행할 코드 블록을 결정하여, 상황에 맞는 각기 다른 상태 변화를 유도하는 연산입니다.

대표적인 분기문으로는 if-else와 switch가 있습니다.

기차 선로 변경기 비유: 분기문은 기차의 선로 변경기와 같습니다. 변경기 자체는 기차를 움직이지 않지만, 어떤 선로로 보낼지 결정합니다. 선택된 선로에 따라 기차의 최종 목적지(프로그램의 최종 상태)가 달라집니다.

let age = 25;
let beverage; // 상태가 아직 정해지지 않음
 
if (age >= 19) {
  // 조건이 참이므로 이 블록이 실행됨
  beverage = "맥주"; // 분기 흐름에 따라 'beverage'의 상태가 "맥주"로 할당됨
} else {
  // 이 블록은 실행되지 않음
  beverage = "콜라";
}
 
console.log(`당신에게 추천하는 음료는 ${beverage}입니다.`); // 출력: 당신에게 추천하는 음료는 맥주입니다.

if문 자체는 beverage의 상태를 직접 바꾸지 않았습니다. 하지만 age >= 19라는 조건을 판단하여, 상태를 바꾸는 beverage = "맥주";라는 할당문이 실행되도록 흐름을 제어했습니다. 이처럼 분기문은 어떤 상태 변화 코드를 실행할지 선택하는 ‘결정권자’로서, 프로그램의 지능적인 동작을 가능하게 합니다.

연산 종류	역할	핵심 키워드	비유
할당 (Assignment)	변수에 값을 저장하여 상태를 직접 변경	저장, 덮어쓰기, =	상자에 물건 담기
반복 (Iteration)	유사한 상태 변경을 여러 번 자동 실행	for, while, 점진적 변화	공장 조립 라인
분기 (Branching)	조건에 따라 상태 변경 흐름을 제어	if, else, switch, 선택	기차 선로 변경기

---

5. 심화: 상태 변화가 야기하는 도전 과제들

지금까지 살펴본 세 가지 연산은 프로그래밍에 필수적인 강력한 도구입니다. 하지만 이 ‘변화’라는 특성은 동전의 양면과 같아서, 잘못 사용하면 예측 불가능하고 디버깅하기 어려운 코드를 만드는 주범이 되기도 합니다.

부수 효과 (Side Effect)

함수가 자신의 범위(스코프)를 넘어서 외부에 있는 상태를 변경할 때, 이를 부수 효과라고 합니다.

let globalTax = 0.1;
 
function calculatePrice(price) {
  // 이 함수는 계산만 하는 척하지만, 외부 상태를 변경하는 부수 효과를 일으킨다!
  if (price > 10000) {
    globalTax = 0.2; // 전역 변수(외부 상태)를 직접 수정
  }
  return price + (price * globalTax);
}

calculatePrice 함수는 이제 단순히 가격을 계산하는 함수가 아닙니다. 어떤 가격이 입력되느냐에 따라 프로그램 전역의 globalTax 상태를 바꿔버릴 수 있는 ‘시한폭탄’이 되었습니다. 다른 곳에서 globalTax를 사용하고 있었다면, 이 함수 호출 한 번으로 전혀 예상치 못한 버그가 발생할 수 있습니다. 이렇게 부수 효과가 많은 코드는 상태 변화를 추적하기 어렵게 만듭니다.

불변성 (Immutability)

이러한 부수 효과의 위험을 줄이기 위한 패러다임이 바로 불변성입니다. 데이터를 직접 수정(mutate)하는 대신, 변화가 필요할 때마다 원본은 그대로 두고 변화가 적용된 새로운 복사본을 만드는 방식입니다.

// 직접 수정 (Mutable)
let user = { name: "Alice", age: 30 };
user.age = 31; // 원본 객체의 상태를 직접 변경 (부수 효과 발생 가능성)
 
// 불변성 유지 (Immutable)
const user2 = { name: "Bob", age: 40 };
const updatedUser2 = { ...user2, age: 41 }; // 원본(user2)은 그대로 두고, age가 바뀐 새 객체를 생성

불변성을 지키면 데이터의 변화가 명시적으로 일어나고, 원본 데이터가 멋대로 바뀌는 것을 막을 수 있어 프로그램의 예측 가능성이 크게 향상됩니다.

동시성 (Concurrency)

만약 여러 작업(스레드, 프로세스)이 동시에 같은 상태에 접근하여 변경하려고 하면 어떻게 될까요? 은행 계좌에 10,000원이 있는 상태에서, 두 개의 출금 요청이 정확히 동시에 ‘잔액 확인’을 하고 각각 8,000원을 출금하려 한다면 끔찍한 결과가 발생할 수 있습니다. 이를 **경쟁 상태(Race Condition)**라고 하며, 제어되지 않은 상태 변화가 동시성 환경에서 얼마나 위험한지를 보여주는 대표적인 예입니다.

맺음말

할당, 반복, 분기는 프로그램의 정적인 데이터를 살아 움직이는 결과물로 만들어내는 마법과 같은 연산입니다. 이들은 프로그램의 논리를 구성하고 스토리를 만들어가는 필수적인 존재입니다.

하지만 그 강력함에는 책임이 따릅니다. 상태 변화는 프로그램의 복잡도를 높이는 주된 요인이며, 무분별한 상태 변경은 추적하기 어려운 버그의 온상이 됩니다.

훌륭한 개발자는 단순히 이 연산들을 ‘사용하는’ 것을 넘어, 이들이 만들어내는 ‘상태의 흐름’을 명확하게 ‘제어’할 줄 아는 사람입니다. 언제, 어디서, 왜 상태가 변해야 하는지 명확한 의도를 가지고 코드를 작성하고, 부수 효과를 최소화하며, 데이터의 불변성을 지키려는 노력을 통해 우리는 훨씬 더 안정적이고, 예측 가능하며, 유지보수하기 쉬운 소프트웨어를 만들 수 있습니다.

이 핸드북이 여러분의 코드 속에서 일어나는 수많은 ‘변화’들을 더 깊이 이해하고 다루는 데 도움이 되기를 바랍니다.

레퍼런스(References)

명령어