이전 글: [ES6] let, const와 블록 레벨 스코프 (1)

ECMA Script 6: let, const와 블록 레벨 스코프

1. const

const는 상수(변하지 않는 값)를 위해 사용한다. 하지만 반드시 상수만을 위해 사용하지는 않는다. const의 특징은 let과 대부분 동일하다. let과 다른 점만 살펴보겠다.

1. 선언과 초기화

let은 재할당이 자유로우나 const는 재할당이 금지된다.

const FOO = 123;
FOO = 456; // TypeError: Assignment to constant variable

주의할 점은 const는 반드시 선언과 동시에 할당이 이루어져야 한다는 것이다. 그렇지 않으면 다음처럼 문법 에러(SyntaxError)가 발생한다.

const FOO; // SyntaxError: Missing initailizer in const declaration

또한, const는 let과 마찬가지로 블록 레벨 스코프를 갖는다.

{
  const FOO = 10;
  console.log(FOO); // 10
}
console.log(FOO); // ReferenceError: FOO is not defined

2. 상수

상수는 가독성과 유지보수의 편의를 위해 적극적으로 사용해야 한다. 적절한 네이밍으로 상수를 선언하면 가독성과 유지보수성이 향상된다.

// 10의 의미를 알기 어렵기 때문에 가독성이 좋지 않다.
if (rows > 10) {
}

// 값의 의미를 명확히 기술하여 가독성 향상
const MAXROWS = 10;
if (rows > MAXROWS) {
}

const는 객체에도 사용할 수 있다. 물론 이때도 재할당은 금지

const obj = { foo: 123 };
obj = { bar: 456 }; // TypeError: Assignment to constant variable

3. const와 객체

const는 재할당이 금지된다. 이는 const 변수의 타입이 객체인 경우, 객체에 대한 참조를 변경하지 못한다는 것을 의미한다. 하지만 이때 객체의 프로퍼티는 보호되지 않는다. 다시 말하자면 재할당은 불가능하지만 할당된 객체의 내용(프로퍼티의 추가, 삭제, 변경)을 변경할 수 있다.

const user = { name: 'Kim' };

// const 변수는 재할당이 금지
// user = {}; // TypeError: Assignment to constant variable

// 객체의 내용은 변경할 수 있다.
user.name = 'Lee';

console.log(user); // { name: 'Lee' }

객체의 내용이 변경되더라도 객체 타입 변수에 할당된 주소값은 변경되지 않는다. 따라서 객체 타입 변수 선언에는 const를 사용하는 것이 좋다. 만약에 명시적으로 객체 타입 변수의 주소값을 재할당하여야 한다면 let을 사용한다.

3. var vs let vs const

- 변수 선언에는 기본적으로 const를 사용하고 let은 재할당이 필요한 경우에 한정하여 사용하는 것이 좋다.

- 원시 값의 경우, 가급적 상수를 사용하는 편이 좋다. 

- 객체를 재할당하는 경우는 흔하지 않기 때문에 const 키워드를 사용하여 의도치 않은 재할당을 방지하여 안전하게 사용하자.

- ES6를 사용한다면 var 키워드는 사용하지 않는다.

- 재할당이 필요한 경우에 한정해 let 키워드를 사용한다. 이때 변수의 스코프는 최대한 좁게 만든다.

- 변경이 발생하지 않아 재할당이 필요없는 원시 값과 객체에는 const 키워드를 사용한다. const 키워드만 재할당을 금지하므로 var, let보다 안전하다.

# 변경 가능성을 최소화하라.

## 불변 클래스(Immutable Class) ?

- 해당 객체의 내부적인 값들을 변경할 수 없는 클래스를 의미한다. 불변 클래스는 해당 객체가 파괴되는 순간까지 절대 달라지지 않는다.

- 불변 클래스는 가변 클래스보다 설계하고 구현하기 쉽고, side-effect로부터 안전

- 예) String, Wrapper Class, BigInteger, BigDecimal - 설계 구현 사용이 쉽다.

- 오류의 여지가 적고 안전하다.

## 1. 불변 클래스의 5가지 규칙

1) 객체의 상태를 변경하는 메서드(변경자, setter)를 제공하지 않는다.

2) 클래스를 확장할 수 없게 한다. - extend (X)

3) 모든 필드를 final로 선언한다.

4) 모든 필드를 private로 선언한다.

5) 자신 외에는 내부의 가변 컴포넌트에 접근할 수 없도록 한다.

## 2. 불변 객체의 장점

0) 단순

- 불변 객체는 생성된 시점부터 파괴될 때까지 그대로 유지한다.

1) 근본적으로 스레드에 안전

- 여러 스레드가 동시에 사용해도 불변 객체이기 때문에 다른 스레드에 영향을 주지 않아 안전하게 공유하고 사용할 수 있다.

- 동기화할 필요가 없다.

2) 불변 객체는 안심하고 공유가 가능

- 스레드 간 영향을 주고 받을 수 없기 때문

- 방어적 복사도 필요없다> clone 메서드 복사 생성자 필요 없다.

- String 클래스의 복사 생성자는 되도록 사용하지 말자

3) 한번 만든 인스턴스는 최대한 재활용이 가능

- 자주 사용하는 인스턴스를 생성하여, 정적 팩터리를 제공할 수 있다.

4) 불변 객체는 자유롭게 공유할 수 있음은 물론, 불변 객체끼리는 내부 데이터를 공유할 수 있음

5) 객체를 만들 때 다른 불변 객체들을 구성요소로 사용하면 이점이 많다.

- 구조가 복잡해도 불변식 유지가 수월

6) 불변 객체는 그 자체로 실패 원자성을 제공한다.

- 실패 원자성: 메서드에서 예외가 발생한 후에도 그 객체는 메서드 호출 전 상태와 같은 유효한 상태를 가진다.

## 3. 불변 객체의 단점

- 값이 다르면 반드시 독립된 객체로 만들어야 한다. 값의 가짓수가 많으면 이를 모두 만드는데 큰 비용이 필요하다.

1) 흔히 쓰일 다단계 연산들이 예측이 될 때

- 다단계 연산 속도를 높여주는 가변 동반 클래스를 package-privated로 둔다.

- BigInteger는 연산 속도를 높여주는 동반 클래스로 package-privated로 되어있는 MutableBigInteger/SignedMutableBigInteger/BigSieve를 사용할 것으로 예상

2) 예측이 되지 않을 때

- 다단계 연산 속도를 높여주는 가변 동반 클래스를 public으로 둔다.

- 예) StringBuilder/StringBuffer: String 클래스의 연산 속도를 높이기 위함

## 4. 불변 클래스를 만드는 설계 방법

1. final 클래스로 상속을 막는다.

2. 정적 팩터리를 제공하는 방법

- 모든 생성자를 private 혹은 package-private로 만들고 public 정적 팩터리를 제공한다. (캐싱 기능 추가도 가능하다.) public이나 protected 생성자가 없으니 다른 패키지에서는 이 클래스를 확장하는 게 불가능하기 때문이다.

## 정리

- 모든 클래스를 불변으로 만들 수는 없기 때문에 클래스라도 변경 가능한 부분을 최소한으로 줄이는 것이 좋다.

- 클래스가 꼭 필요한 경우가 아니면 불변이어야 한다.

- 다른 합당한 이유가 없다면 모든 필드는 private final이어야 한다.

- 생성자는 불변식 설정이 모두 완료된 초기화가 완벽히 끝난 상태의 객체를 생성해야 한다.

# public 클래스에서는 public 필드가 아닌 접근자 메서드를 사용하라.

## 1. public 클래스의 가변 필드

- 절대 가변 필드를 public으로 노출하면 안된다.

* 캡슐화의 이점을 제공하지 못한다.
* API를 수정하지 않고는 내부 표현을 바꿀 수 없다.
* 불변식을 보장할 수 없다.
* 외부에서 필드에 접근할 때 부수 작업을 수행할 수 없다.

- 패키지 바깥에서 접근할 수 있는 클래스라면 접근자(getter)를 제공하자.
- 클래스 내부의 표현 방식을 언제든 바꿀 수 있다.

- package-private 클래스, private 중첩 클래스는 데이터 필드를 노출해도 괜찮다.
* package-private: 패키지 바깥 코드를 손대지 않고 데이터 표현 방식을 바꿀 수 있다.
* private 중첩: 이 클래스를 포함하는 외부 클래스까지로 제한한다.

## 2. public 클래스의 불변 필드

- 직접 노출할 때의 단점이 줄어들긴 하지만 좋은 방법은 아니다.
- 단점1. API를 변경하지 않고는 표현방식을 바꿀 수 없다.
- 단점2. 필드를 읽을 때 부수적인 작업을 수행할 수 없다.
- 장점1. 불변식을 보장할 수 있다.

# 클래스와 멤버의 접근 권한을 최소화하라. => 정보 은닉/캡슐화

- 잘 설계된 컴포넌트: 클래스 내부 데이터와 내부 구현 정보를 외부 컴포넌트로부터 얼마나 잘 숨겼는가/ 오직 API를 통해서만 다른 컴포넌트와 소통 [정보 은닉/캡슐화]

## 1. 정보 은닉의 장점: 개발 속도, 디버깅, 성능의 최적화, 재사용성, 동작 검증

1. 시스템 개발 속도를 높인다. 여러 컴포넌트를 병렬로 개발할 수 있기 때문

2. 각 컴포넌트를 빠르게 파악하여 디버깅 기능, 다른 컴포넌트로 교체하는데 부담도 적다.

3. 정보 은닉이 성능을 높여주지는 않지만, 성능의 최적화에는 도움이 된다.

4. 재사용성을 높여준다. 외부에 의존하지 않고 독자적으로 동작할 수 있는 컴포넌트라면, 그 컴포넌트와 함께 개발되지 않은 환경에서도 유용하게 쓰일 가능성이 크다.

5. 시스템 전체가 개발되지 않은 상태에서도 개별 컴포넌트의 동작을 검증할 수 있다.

## 2. 정보 은닉의 기본 원칙

1) 모든 클래스와 멤버의 접근성을 가능한 좁혀라.

- 클래스와 멤버의 접근 제한자를 private 등으로 낮은 접근 수준을 부여하는 것이다.

- 우리가 가장 많이 사용하는 클래스에는 public과 package-private 두 가지를 가장 많이 사용한다. Top Level Class 나 Interface를 public으로 선언하면 공개 API가 되지만 package-private로 선언하면 해당 패키지안에서만 사용 가능하다.

- 패키지 외부에서 클래스를 사용할 일이 없다면 package-private로 선언하여 API가 아닌 내부에서 언제든지 수정할 수 있게 한다.

2) 멤버에 부여할 수 있는 접근 제한자

- 멤버: 필드, 메서드, 중첩 클래스, 중첩 인터페이스

- private/ package-private/ protected/ public

1. private: 해당 멤버를 선언한 클래스에서만 접근이 가능.

2. package-private(default): 해당 멤버가 소속된 패키지 안의 모든 클래스에서 접근할 수 있다. 접근 제한자를 명시하지 않았을 때 적용되는 default 접근 제한자. (단, interface는 default public이다.)

3. protected: package-private의 범위를 포함하고, 해당 멤버를 선언한 클래스를 상속받은 하위 클래스에서도 접근이 가능한 접근 제한자.

4. public: 모든 곳에서 접근이 가능한 접근 제한자.

* 주의: public 클래스의 protected 멤버는 공개 API

## 3. 멤버 접근성의 제약

상위 클래스의 메서드를 재정의할 때 상위보다 좁게 설정할 수 없다.

## 4. 주의점

- 코드 테스트만을 위해 클래스, 인터페이스, 멤버를 공개 API로 만들면 안된다.

1) public 클래스의 인스턴스 필드는 되도록 public이 아니어야 한다.

- 필드가 가변 객체를 참조하거나, final이 아닌 인스턴스 필드를 public으로 선언하면 그 필드에 값을 제한할 수 없기 때문에 불변성을 보장할 수 없게 된다. 또한 필드가 수정될 때 다른 작업을 할 수 없게 되기 때문에, public 가변 필드를 갖는 클래스는 일반적으로 스레드로부터 안전하지 않다.

- 또한, 필드가 final이면서 불변 객체를 참조하더라도 문제는 발생할 수 있다. 이유는 final이기 때문에 다른 객체를 참조하도록 변경할 수 없지만, 이미 참조하고 있는 참조된 객체 자체는 수정될 수도 있다.

2) 정적 필드에서의 public 필드 예외

- public static final 필드 공개는 허용한다. 이런 필드는 반드시 기본 타입 값이나 불변 객체를 참조해야 한다.

3) 클래스에서 public static final 배열 필드를 두거나 이 필드를 반환하는 접근자 메서드를 제공해서는 안된다.

- 클라이언트에서 배열의 배용을 수정할 수 있기 때문이다.

[권장 방법]

1. public 불변 리스트를 추가

private static final Thing[] PRIVATE_VALUES = {...};
public static final List<Thing> VALUES = Collections.unmodifiableList(Arrays.asList(PRIVATE_VALUES));

2. 복사본을 반환하는 public 메서드를 추가: 방어적 복사

private static final Thing[] PRIVATE_VALUES = {...};
public static final Thing[] values() {
	return PRIVATE_VALUES.clone();
}

- 타입과 성능에 따라서 사용

## 5. Java9: 모듈 시스템 개념의 도입

- 패키지: 클래스의 묶음

- 모듈: 패키지의 묶음, 자신이 속하는 패키지 중 공개(export)할 것을 module-info.java 파일에 선언한다. 클래스를 외부에 공개하지 않으면서도 같은 모듈을 이루는 패키지 사이에서 자유롭게 공유할 수 있다.

- 암묵적 접근 수준: public, protected 수준의 효과가 모듈 내부로 한정된다.

1) 모듈에 적용되는 새로운 두 접근 수준은 주의해야 한다.

- 모듈의 *.jar 파일을 모듈 경로가 아니라 애플리케이션 클래스 패스에 두면, 모듈 안 패키지가 모듈이 없는 것처럼 행동

- JDK: 자바 라이브러리에서 공개하지 않은 패키지는 모듈 밖에서 접근할 수 없다.

2) 모듈의 장점을 누리기 위한 조치

- 패키지를 모듈 단위로 묶는다.

- 모듈 선언에 패키지들의 의존성을 명시한다.

- 소스 트리 재배치

- 모듈 안으로부터(모듈 시스템을 적용하지 않는) 일반 패키지로의 모든 접근에 특별한 조치를 취해야 한다.

summary

1. 접근성은 가능한 최소한으로

2. 꼭 필요한 정보들만 public API로 설계

3. class, interface, field가 의도치 않게 public으로 공개되지 않도록

4. public 클래스는 상수용 public static final 필드 외에는 public 필드 없이

5. public static final이 참조하는 객체가 가변인지 불변 객체인지 확인

How to list database tables using the "rails console"?

Rails console을 이용해서 데이터베이스 테이블 확인하는 방법

> ActiveRecord::Base.connection.tables

간단하지만 매번 까먹어서 적어놓는다.