객체 지향 프로그래밍의 특징

절차 지향과 객체 지향의 차이

 

절차 지향 프로그램은 다수의 프로시저들이 데이터를 공유하는 방식으로 만들어지기 때문에 자연스럽게 데이터를 중심으로 구현하게 된다. 그러다보니 프로그램의 규모가 커졌을 때, 프로시저간에 서로 공유되는 데이터의 타입이 변경되거나 데이터를 서로 다른 의미로 사용하고 있다면 코드의 유지 보수가 매우 어려워지기 시작한다.

 

객체 지향 프로그램은 절차 지향 프로그램과 다르게 데이터 뿐만 아니라 관련된 프로시저를 묶어서 객체라는 단위로 만든다. 객체는 자신만의 데이터와 프로시저를 가지고 자신만의 기능을 제공한다. 각 객체들은 서로 연결되어 다른 객체가 제공하는 기능을 사용할 수 있고 이때 프로시저는 자신이 속한 객체의 데이터에만 접근할 수 있으며 다른 객체에 속한 데이터에는 접근할 수 없다. (캡슐화)

 

객체 지향 프로그래밍에서 가장 중요한 것은 객체가 어떤 데이터를 가지고 있는지가 아니라 객체가 어떤 메세지를 주고 받는가이다.

 

객체 지향 프로그래밍의 4가지 특징

 

캡슐화

객체가 기능을 어떻게 구현하는지를 감추는 것이다.

내부의 기능 구현이 변경되더라도 그 기능을 사용하는 코드는 영향을 받지 않도록 만들어준다. 즉, 내부 구현 변경의 유연함을 주는 기법인 셈이다.

 

캡슐화는 하고싶다고 해서 자동으로 이뤄지는 것이 아니다.

그래서 캡슐화를 위한 2가지 규칙을 숙지하면 캡슐화된 코드를 작성하는 데 도움이 된다.

 

◾ Tell, Don't Ask. 데이터를 요구하지 말고 기능을 처리해 달라고 요청한다.

if (REGULAR == acc.getMembership()) { ... }

위와 같이 데이터를 받아서 처리하면 동일한 코드가 많아질 수록 기능변경시 문제가 된다.

if (acc.hasRegularPermission()) { ... }

데이터를 받아서 처리하는 대신에 판단을 요청해서 처리하면 기능을 변경하더라도 해당 함수의 구현부만 수정하면 되기 때문에 유지보수에 매우 용이해진다.

 

◾ Demeter's Law. 해당 객체의 메소드만 호출해야 한다. 해당 객체가 어떤 데이터를 가지고 있는지 몰라야 한다.

(메서드에서 생성한 객체, 파라미터로 받은 객체, 멤버로 참조하는 객체)

acc.getExpData().isAfter(now);

위와 같은 코드는 호출하는 객체의 내부 데이터 구조를 알기때문에 작성할 수 있는 코드이다.

acc.isExpired();

대신 이렇게 수정해서 해당 객체의 메소드만 호출하도록 한다.

 

디미터 법칙을 어기는 전형적인 증상은 연속된 get 메서드를 호출하거나 임시 변수의 get 호출이 많은 경우이다. 이 증상들이 보인다면 디미터 법칙을 어기고 있을 가능성이 높고 캡슐화를 약화시켜서 코드 변경을 어렵게 만드는 원인이 될 수 있다.

 

참고로 컨테이너와 같은 자료 구조의 경우에는 적용할 필요가 없다.

 

상속

상위 클래스의 기능을 물려받으면서 기능을 변경하거나 추가할 수 있도록 해주는 방법이다. 재사용이 쉽지만 대신 몇 가지 단점이 존재한다.

 

◾ 상위 클래스의 변경이 어렵다

상위 클래스를 변경하면 의존하는 하위 클래스들도 영향을 받기 때문에 시간이 지날수록 하나의 거대한 단일 구조처럼 만들어지는 결과가 발생할 수 있다.

 

◾ 클래스의 불필요한 증가가 발생한다

단순한 기능이더라도 경우의 수가 많아지거나 조합이 다양해질수록 파생 클래스가 계속 생성된다.

 

◾ 상속의 오용이 발생할 수 있다

예를 들어 STL 컨테이너를 상속 받아서 구현하는 경우에 필요하지 않은 메소드들까지 모두 상속될 뿐만 아니라 외부에서 잘못 사용할 여지가 생긴다.

 

상속 대신 컴포지션으로 구현하면 단점을 많이 상쇄시킬 수 있다.

또한 상속은 컴파일 타임에만 알고리즘을 변경할 수 있지만 컴포지션은 런타임에 교체가 가능해진다.

 

그렇다면 상속은 언제 사용하는게 좋을까?

재사용이라는 관점이 아니라 기능의 확장이라는 관점에서 사용하는 것이 좋다. 그리고 명확한 IS-A 관계일 때 적용하는 것이 옳다. 즉, 명확한 IS-A 관계에서 기능을 점진적으로 확장시켜 나가고 싶을 때 사용하면 된다.

 

다형성

한 객체가 여러 가지 타입을 가지는 것을 의미한다. 다형성을 구현하려면 상속을 이용해야 한다.

크게 구현 상속, 인터페이스 상속으로 나눌 수 있다.

구현 상속은 보통 상위 클래스에 정의된 기능을 재사용하기 위한 목적으로 사용되고 인터페이스 상속은 기능의 구현을 강제하기 위한 목적으로 사용된다.

 

추상화

데이터나 프로세스 등을 의미가 비슷한 개념이나 표현으로 정의하는 과정이다. 좀 더 쉽게 얘기하면 공통 분모를 찾아서 하나로 묶는 것이다. 그렇기에 상속 및 다형성의 개념이 자연스럽게 포함된다.

뿐만 아니라 많은 책임을 가진 객체로부터 책임을 분리하는 촉매제가 되기도 한다.

 

요구 사항이 바뀔 때 변화하는 부분을 추상화시키면 향후 유연하게 대처할 수 있는 가능성이 높아진다.