Member Contracts

멤버 함수는 상태 변경 여부와 소속으로 나뉜다

일반 멤버 함수, const 멤버 함수, static 멤버는 모두 클래스 안에 선언되지만 객체 상태와 this 포인터를 대하는 방식이 다릅니다.

object

멤버 변수

radius, balance처럼 객체가 유지해야 하는 현재 상태입니다.

객체마다 별도 값

생성자에서 초기화

mutate

일반 멤버 함수

deposit, setRadius처럼 객체 상태를 읽고 바꿀 수 있습니다.

this로 현재 객체 접근

불변식 검증 담당

read

const 멤버 함수

getX, display처럼 상태를 바꾸지 않는다고 함수 시그니처에 약속합니다.

const 객체에서 호출 가능

비정적 멤버 변경 차단

class

static 멤버

객체 하나가 아니라 클래스 자체에 속한 값이나 기능입니다.

객체 없이 클래스명으로 호출

this 포인터 없음

값만 보여준다 getBalance, display처럼 상태를 읽기만 하면 const를 붙입니다. 상태를 바꾼다 setRadius, withdraw처럼 값을 검증하고 갱신하면 일반 멤버 함수입니다. 객체가 필요 없다 공유 카운터나 유틸리티처럼 개별 상태와 무관하면 static 후보입니다.
선언을 읽는 법

멤버를 볼 때는 먼저 이 코드가 현재 객체의 상태를 바꾸는지, 읽기만 하는지, 아예 객체 없이 동작하는지부터 구분하면 됩니다.