객체지향 프로그래밍 (OOP)

객체지향 프로그래밍(Object-Oriented Programming, OOP)은 프로그램을 데이터와 그 데이터를 다루는 동작을 하나로 묶은 객체(Object)들의 협력으로 구성하는 프로그래밍 패러다임이다. 객체지향 프로그래밍은 캡슐화, 상속, 다형성, 추상화라는 네 가지 특성을 통해 현실의 개념을 코드로 모델링하고, 변경에 유연하며 재사용 가능한 구조를 만드는 것을 목표로 한다. 자바(Java), C++, 파이썬(Python), 코틀린(Kotlin) 등 주류 언어 대부분이 이 패러다임을 지원한다.

절차지향과 무엇이 다른가

절차지향 프로그래밍은 프로그램을 순서대로 실행되는 함수들의 흐름으로 보고, 데이터는 함수들 사이를 오가는 대상으로 다룬다. 규모가 작을 때는 단순하고 효율적이지만, 프로그램이 커지면 어떤 함수가 어떤 데이터를 언제 바꾸는지 추적하기 어려워지고, 데이터 구조가 바뀌면 그 데이터를 만지는 모든 함수를 찾아 고쳐야 하는 문제가 커진다. 객체지향은 관점을 뒤집어 데이터와 동작을 한 객체 안에 두고, 외부에는 동작(메시지)만 노출한다. 데이터의 내부 표현이 바뀌어도 그 영향이 객체 내부에 갇히므로 변경 비용이 줄어든다.

구분	절차지향	객체지향
구성 단위	함수와 데이터의 분리	데이터와 동작을 묶은 객체
변경 파급	데이터 구조 변경이 넓게 전파	캡슐화로 내부에 국한
재사용	함수 단위 재사용	클래스, 상속, 조합으로 재사용
적합한 영역	단순한 스크립트, 시스템 프로그래밍	도메인이 복잡한 대규모 애플리케이션

네 가지 특성

캡슐화(Encapsulation)

객체의 내부 상태를 숨기고 공개된 메서드로만 접근하게 하는 것이다. 핵심은 정보 은닉이 아니라 불변식(Invariant)의 보호다. 예를 들어 잔액이 음수가 될 수 없다는 규칙은, 잔액 필드를 외부에서 직접 수정할 수 없고 출금 메서드가 검증을 강제할 때만 지켜진다. 모든 필드에 기계적으로 게터와 세터를 만드는 것은 캡슐화가 아니라 캡슐화의 우회다.

상속(Inheritance)

기존 클래스의 속성과 동작을 물려받아 확장하는 것이다. 코드 재사용 수단으로 소개되지만, 본질적인 가치는 부모 타입으로 자식 객체를 다룰 수 있게 하는 타입 계층의 형성에 있다. 상속은 부모의 구현에 자식이 강하게 결합되는 비용이 있어, 재사용만이 목적이라면 다른 객체를 부품으로 품는 조합(Composition)이 권장된다. 이를 "상속보다 조합"이라고 부른다.

다형성(Polymorphism)

같은 메시지가 객체의 실제 타입에 따라 다르게 동작하는 성질이다. 호출하는 쪽은 인터페이스만 알면 되고, 어떤 구현이 실행될지는 실행 시점에 결정된다. 조건 분기 없이 새로운 타입을 추가할 수 있게 하는 객체지향 유연성의 핵심이다. 메서드 재정의(Overriding)를 통한 동적 다형성과, 같은 이름에 다른 매개변수를 허용하는 오버로딩(Overloading) 같은 정적 다형성으로 나뉜다.

추상화(Abstraction)

대상의 본질적인 특징만 남기고 불필요한 세부 사항을 감추는 것이다. 인터페이스(Interface)나 추상 클래스로 "무엇을 하는가"를 정의하고 "어떻게 하는가"는 구현체에 맡긴다.

interface Notifier {
    void send(String message);
}

class EmailNotifier implements Notifier {
    public void send(String message) { /* 이메일 발송 */ }
}

class SlackNotifier implements Notifier {
    public void send(String message) { /* 슬랙 발송 */ }
}

class OrderService {
    private final Notifier notifier;

    OrderService(Notifier notifier) {  // 구현이 아닌 추상에 의존한다
        this.notifier = notifier;
    }

    void complete(Order order) {
        // 주문 처리 로직
        notifier.send("주문이 완료되었습니다");
    }
}

OrderService는 알림 수단이 무엇인지 모른 채 동작하며, 새 알림 채널이 생겨도 이 클래스는 수정할 필요가 없다. 다형성과 추상화, 그리고 의존성 주입(Dependency Injection)이 결합된 전형적인 형태다.

네 가지 특성을 각각 외우는 것보다 중요한 것은 이들이 향하는 하나의 관점이다. 객체지향의 창시자 앨런 케이(Alan Kay)는 객체지향의 본질이 클래스가 아니라 메시징(Messaging)이라고 강조했다. 좋은 객체지향 코드는 객체에게 데이터를 꺼내 달라고 묻고 밖에서 판단하는 대신, 일을 해 달라고 시킨다. 이를 "묻지 말고 시켜라(Tell, Don't Ask)" 원칙이라고 부르며, 게터로 상태를 꺼내 외부에서 조건 분기하는 코드가 늘어난다면 책임이 잘못된 곳에 있다는 신호다.