02 이상한 나라의 객체 (1)

객체지향 패러다임은 지식을 추상화하고 추상화한 지식을 객체 안에 캡슐화함으로써 실세계 문제에 내재된 복잡성을 관리하려고 한다. 객체를 발견하고 창조하는 것은 지식과 행동을 구조화하는 문제다.

---

01 객체 지향과 인지 능력

인간은 본능적으로 세상을 독립적이고 식별 가능한 객체의 집합으로 바라본다.

세상을 더 작은 객체로 분해하는 것 : 본질적으로 세상이 포함하고 있는 복잡성을 극복하기 위한 인간의 작은 몸부림

인간은 좀 더 단순한 객체들로 주변을 분해함으로써 자신이 몸담고 있는 세상을 이해하려고 노력한다.

즉, 객체란? 인간이 분명하게 인지하고 구별할 수 있는 물리적인 또는 개념적인 경계를 지닌 어떤 것이다.

 

객체지향 패러다임의 목적 : 현실 세계를 모방하는 것이 아니라 현실 세계를 기반으로 새로운 세계를 창조하는 것이다.

 

---

02  객체, 그리고 이상한 나라

• 앨리스는 상태를 가지며 상태는 변경 가능하다.
• 앨리스의 상태를 변경시키는 것은 앨리스의 행동이다.
  • 행동의 결과는 상태에 의존적이며 상태를 이용해 서술할 수 있다.
  • 행동의 순서가 결과에 영향을 미친다.
• 앨리스는 어떤 상태에 있더라도 유일하게 식별 가능하다.

---

03  객체, 그리고 소프트웨어 나라

객체의 다양한 특성을 효과적으로 설명하기 위해서는 객체를 상태(state), 행동(behavior), 식별자(identity)를 지닌 실체로 보는 것이 가장 효과적이다.

소프트웨어 안에 창조되는 객체 역시 상태, 행동, 식별자를 지닌다.

객체란 식별 가능한 개체 또는 사물이다. 객체는 자동차처럼 만질 수 있는 구체적인 사물일 수도 있고, 시간처럼 추상적인 개념일 수도 있다. 객체는 구별 가능한 식별자, 특징적인 행동, 변경 가능한 상태를 가진다. 소프트웨어 안에서 객체는 저장된 상태와 실행 가능한 코드를 통해 구현된다.

 

03 - 1  상태

모든 객체의 상태는 단순한 값과 객체의 조합으로 표현 가능하다.

 

이때, 객체의 상태를 구성하는 모든 특징을 통틀어 객체의 프로퍼티(property)라고 한다. (ex: 앨리스의 property -> 키, 위치, 음료)

property는 변경되지 않고 고정되기 때문에 '정적'이다.

반면, 프로퍼티 값(property value)은 시간이 흐름에 따라 변경되기 때문에, '동적'이다.

 

객체와 객체 사이의 의미를 연결 : 링크(link)

-> 객체와 객체 사이에는 링크가 존재해야만 요청을 보내고 받을 수 있다.

-> 즉, 객체의 링크를 통해서만 메시지를 주고받을 수 있다.

 

(객체 간의 선으로 표현되는 링크와 달리) 객체를 구성하는 단순한 값 : 속성(attribute)

-> 앨리스의 키와 위치는 단순한 값으로 표현되기 때문에 속성이다.

-> 객체의 property는 단순한 값인 속성과 다른 객체를 가르키는 링크라는 두 가지 종류의 조합으로 표현할 수 있다.

상태는 특정 시점에 객체가 가지고 있는 정보의 집합으로 객체의 구조적 특징을 표현한다.
객체의 상태는 객체에 존재하는 정적인 프로퍼티와 동적인 프로퍼티 값으로 구성된다.
객체의 프로퍼티는 단순한 값과 다른 객체를 참조하는 링크로 구분할 수 있다.

 

03 - 2  행동

객체가 취하는 행동은 객체 자신의 상태를 변경시킨다.

객체의 행동에 의해 객체의 상태가 변경된다는 것은 행동이 부수 효과(side effort)를 초래한다는 것을 의미한다.

 

ex )

앨리스가 케이크를 먹는 행위 -> 앨리스의 키를 작게 변화시키고, 케이크의 양을 줄이는 부수 효과를 야기

앨리스가 문을 통과하는 행위 -> 앨리스의 위치를 변화시키는 부수효과를 초래

 

객체의 행동은 객체의 상태를 변경시키지만 행동의 결과는 객체의 상태에 의존적이다.

ex ) 음료를 마신 후의 앨리스의 키는 음료를 마시지 전의 앨리스의 키보다 작아져야 한다.

       -> 음료를 마시는 행동의 결과가 앨리스의 키에 의존한다.

 

상태와 행동 사이의 관계

1. 객체의 행동은 상태에 영향을 받는다. -> 상호작용이 현재의 상태에 어떤 방식으로 의존하는가

2. 객체의 행동은 상태를 변경시킨다.     -> 상호작용이 어떻게 현재의 상태를 변경시키는가

 

객체가 다른 객체와 협력하는 유일한 방법은 다른 객체에게 요청을 보내는 것이다.

-> 요청을 수신한 객체는 요청을 처리하기 위해 적절한 방법에 따라 행동한다.

-> 따라서, 객체의 행동은 객체가 협력에 참여할 수 있는 유일한 방법이다.

 

객체의 행동으로 발생하는 결과

1. 객체 자신의 상태 변경

2. 행동 내에서 협력하는 다른 객체에 대한 메세지 전송

 

행동이란 외부의 요청 또는 수신된 메시지에 응답하기 위해 동작하고 반응하는 활동이다.
행동의 결과로 개체는 자신의 상태를 변경하거나 다른 객체에게 메시지를 전달할 수 있다.
객체는 행동을 통해 다른 객체와의 협력에 참여하므로 행동은 외부에 가시적이어야 한다.

 

03 - 3  식별자

객체란 인간의 인지 능력을 이용해 식별 가능한 경계를 가진 모든 사물을 의미한다.

-> 객체가 식별 가능하다는 것은 객체를 서로 구별할 수 있는 특정한 property가 객체 안에 존재한다는 것을 의미한다.

-> 이 property를 식별자라고 한다.

-> 모든 객체는 식별자를 가지며 식별자를 이용해 객체를 구별할 수 있다.

 

값과 객체의 차이점

1. 값 : 식별자를 가지지 않는다.

2. 객체 : 식별자를 가진다.

 

값 value

숫자, 문자열, 날짜, 시간, 금액 등과 같이 변하지 않는 양을 모델링한다.

값의 상태는 변하지 않기 때문에 불변 상태(immutable state)라고 한다.

 

값의 경우, 두 인스턴스의 상태가 같다면 두 인스턴스를 같은 것으로 판단한다.

-> 상태를 이용해 두 값이 같은지 판단할 수 있는 성질을 동등성(equality)이라고 한다.

-> 상태를 이용해 동등성을 판단할 수 있는 이유? 값의 상태가 변하지 않기 때문

-> 값은 오직 상태만을 이용해 동등성을 판단하기 때문에 인스턴스를 구별하기 위한 별도의 식별자를 필요로 하지 않는다.

 

객체 object

시간에 따라 변경되는 상태를 포함하며, 행동을 통해 상태를 변경한다. -> 가변 상태(mutable state)

 

타입이 같은 두 객체의 상태가 완전히 똑같더라도 두 객체는 독립적인 별개의 객체로 다뤄야 한다.

ex ) 이름이 앨리스이고 키가 동일한 두 사람이 함께 있다고 하더라도 두 사람은 완전히 별개의 인격체이다.

 

두 객체의 상태가 다르더라도 식별자가 같다면 두 객체를 같은 객체로 판단할 수 있다.

-> 식별자를 기반으로 객체가 같은지를 판단할 수 있는 성질 : 동일성(identical)

 

식별자란 어떤 객체를 다른 객체와 구분하는 데 사용하는 개체의 프로퍼티다.
값은 식별자를 가지지 않기 때문에 상태를 이용한 동등성 검사를 통해 두 인스턴스를 비교해야 한다.
객체는 상태가 변경될 수 있기 때문에 식별자를 이용한 동일성 검사를 통해 두 인스턴스를 비교할 수 있다.

 

- 참조 객체(reference object), 엔티티(entity) : 식별자를 지닌 전통적인 의미의 객체를 가리키는 용어

- 값 객체(value object) : 식별자를 가지지 않는 값을 가리키는 용어

 

---

• 객체는 상태를 가지며 상태는 변경 가능하다.
• 객체의 상태를 변경시키는 것은 객체의 행동이다.
  • 행동의 결과는 상태에 의존적이며 상태를 이용해 서술할 수 있다.
  • 행동의 순서가 실행 결과에 영향을 미친다.
• 객체는 어떤 상태에 있더라도 유일하게 식별 가능하다.