[이펙티브 자바] Item10 완벽공략. StackOverflowError

item10. equals는 기본 규약을 지켜 재정의하라. 

" p58. StackoverflowError"

 

 

[이펙티브 자바] Item10. equals는 일반 규약을 지켜 재정의하라. (추이성, 일관성, null-아님) (tistory.com)

[이펙티브 자바] Item10. equals는 일반 규약을 지켜 재정의하라. (추이성, 일관성, null-아님)

위에 게시글에서 추이성 위반에 대한 예제로 ColorPoint 클래스의 equals를 잘못 재정의한 코드가 있다. 

@Override
public boolean equals(Object obj)
{
   if (!(obj instanceof Point)) {
      return false;
   }
   
   // obj가 일반 Point이면 color를 무시하고 비교한다.
   if (!(obj instanceof ColorPoint)) {
      return obj.equals(this);
   }
   
   // obj가 ColorPoint이면 색상까지 비교한다.
   return super.equals(obj) && ((ColorPoint) obj).color == color;
   
}

이 방식은 추이성 위배 뿐만 아니라 Stackoverflow를 일으키는데 그 이유가 Point의 또 다른 하위 클래스를 만들고 equals를 위와 같이 재정의 한다면 무한 재귀에 빠진다. 

 

public class SmellPoint extends Point
{
   private String smell;
   public SmellPoint(int x, int y, String smell)
   {
      super(x, y);
      this.smell = smell;
   }
   
   @Override
   public boolean equals(Object obj)
   {
      if (!(obj instanceof Point)) {
         return false;
      }
      
      if (!(obj instanceof SmellPoint)) {
         return obj.equals(this);
      }
      
      return super.equals(obj) && ((SmellPoint) obj).smell == smell;
      
   }
}

Point의 하위 클래스로 SmellPoint를 정의하고,equals를 위에 ColorPoint와 같이 구현했다. 

 

public static void main(String[] args)
{
   SmellPoint smellPoint = new SmellPoint(0, 1, "sweat");
   ColorPoint colorPoint = new ColorPoint(0, 1, Color.RED);
   smellPoint.equals(colorPoint); // stackoverflowError 발생
}

그리고 이 둘을 equals로 비교하면 이때 StackOverflowError가 발생한다. 

smellPoint에서 equals를 호출하고, 그럼 이 colorPoint도 equals를 호출하고... 

무한 재귀에 빠져 

이런 에러를 보게 될 것이다. 

 

 

먼저 StackOverflowErorr를 보기 전에 스택 stack과 힙 heap 이 뭔지부터 알아야 한다. 

[JAVA] 11. 객체지향 프로그래밍2. return문, JVM 메모리 구조 (tistory.com)

[JAVA] 11. 객체지향 프로그래밍2. return문, JVM 메모리 구조

 

스택 stack 

- 메서드의 작업에 필요한 메모리 공간을 제공

- 지역 변수, 매개변수, 연산에 필요한 중간 결과 등을 저장하는데 사용 

- 해당 객체가 정의된 블록을 벗어날 때 소멸 

- 함수의 호출하는 위치도 저장 

 

 

힙 heap 

- 인스턴스가 생성되는 공간 

- 스택보다 큰 메모리를 할당받기 위해 사용 

- 동적 메모리 할당 (new) 

 

 

메서드 호출시, 스택에 스택 프레임이 쌓이게 되고, 스택 프레임에는 메서드에 전달하는 매개변수, 메서드 실행 끝내고 돌아갈 곳, 힙에 들어있는 객체에 대한 레퍼런스 등의 정보가 들어있다. 

 

그런데 여기서 더이상 스택 프레임을 쌓을 수 없을 때 발생하는 에러가 StackOverflowError이다.