봉인된 타입의 완전한 switch
컴파일 시 완전성을 확인합니다
봉인된 타입의 완전한 switch은(는) CoddyKit의 무료 Java Academy 강의입니다. 이것은 4개 중 4번째 강의입니다. 아래에서 전체 강의를 무료로 읽을 수 있으며, 내장 코드 에디터와 24/7 AI 튜터와 함께 브라우저에서 직접 실습할 수 있습니다. 이 강의는 Java Academy 학습 경로의 일부이며, 진행 상황이 웹과 CoddyKit 앱에 동기화됩니다. Java Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
모든 경우를 처리하는 전환문
봉인 타입을 대상으로 switch를 사용하면 컴파일러가 허용된 모든 하위 타입을 알고 있습니다. 모든 하위 타입을 처리하면 해당 전환문은 모든 경우를 처리하는 전환문이 되므로 기본 분기가 필요하지 않습니다.
타입 패턴 전환문
전환식은 타입 패턴을 사용하여 봉인된 값의 실행 시 타입과 일치시킬 수 있습니다.
public class Main {
sealed interface Shape permits Circle, Square {}
record Circle(double radius) implements Shape {}
record Square(double side) implements Shape {}
static String describe(Shape s) {
return switch (s) {
case Circle c -> "circle r=" + c.radius();
case Square sq -> "square s=" + sq.side();
};
}
public static void main(String[] args) {
System.out.println(describe(new Circle(2)));
System.out.println(describe(new Square(3)));
}
}기본 경우 불필요
Circle과 Square가 허용된 유일한 하위 타입이므로 컴파일러는 전환문이 완전하다고 판단합니다. default를 추가하면 중복될 뿐입니다.
컴파일 시점의 완전성
나중에 새로운 허용 하위 타입을 추가하고 이를 처리하는 것을 잊으면, 모든 완전한 전환문이 컴파일되지 않습니다. 이를 통해 여러 런타임 버그를 컴파일 오류로 바꿀 수 있습니다.
Result 계산하기
모든 경우를 처리하는 전환식은 값을 area와 같은 결과로 접는 데 유용합니다.
public class Main {
sealed interface Shape permits Circle, Square {}
record Circle(double radius) implements Shape {}
record Square(double side) implements Shape {}
static double area(Shape s) {
return switch (s) {
case Circle c -> Math.PI * c.radius() * c.radius();
case Square sq -> sq.side() * sq.side();
};
}
public static void main(String[] args) {
System.out.printf("%.2f%n", area(new Circle(1)));
System.out.printf("%.2f%n", area(new Square(2)));
}
}전환문과 전환식 비교
모든 경우를 처리해야 하는 규칙은 값을 생성하는 전환 식과 봉인 타입에서 화살표 형식을 사용하는 전환문에 적용됩니다. 컴파일러가 모든 경우를 처리했는지 강제합니다.
널 처리
기본적으로 참조를 대상으로 하는 전환문은 값이 널이면 NullPointerException을 발생시킵니다. 이를 명시적으로 처리하려면 case null 레이블을 추가할 수 있습니다.
public class Main {
sealed interface Shape permits Circle, Square {}
record Circle(double radius) implements Shape {}
record Square(double side) implements Shape {}
static String describe(Shape s) {
return switch (s) {
case null -> "no shape";
case Circle c -> "circle";
case Square sq -> "square";
};
}
public static void main(String[] args) {
System.out.println(describe(null));
System.out.println(describe(new Circle(1)));
}
}가드가 있어도 완전성은 유지됩니다
when 가드를 추가하여 경우를 더 구체화할 수 있지만, 가드가 있는 경우 하나만으로는 타입을 처리한 것으로 간주되지 않습니다. 모든 경우를 처리하려면 각 하위 타입에 가드가 없는 경우를 여전히 하나씩 지정해야 합니다.
public class Main {
sealed interface Shape permits Circle, Square {}
record Circle(double radius) implements Shape {}
record Square(double side) implements Shape {}
static String size(Shape s) {
return switch (s) {
case Circle c when c.radius() > 10 -> "big circle";
case Circle c -> "small circle";
case Square sq -> "square";
};
}
public static void main(String[] args) {
System.out.println(size(new Circle(20)));
System.out.println(size(new Circle(2)));
}
}봉인 클래스에서 전환문 사용하기
모든 경우를 처리하는 규칙은 인터페이스뿐 아니라 봉인 클래스에도 동일하게 적용됩니다.
public class Main {
sealed static abstract class Token permits Word, Number {}
static final class Word extends Token { final String text; Word(String t){text=t;} }
static final class Number extends Token { final int value; Number(int v){value=v;} }
static String show(Token t) {
return switch (t) {
case Word w -> "word:" + w.text;
case Number n -> "num:" + n.value;
};
}
public static void main(String[] args) {
System.out.println(show(new Word("hi")));
System.out.println(show(new Number(7)));
}
}강력한 이유
모든 경우를 처리하는 전환문과 봉인 타입을 함께 사용하면 안전하고 발전시키기 쉬운 코드를 만들 수 있습니다. 경우의 집합이 한곳에 문서화되고, 모델이 확장될 때 컴파일러가 어떤 경우도 빠뜨리지 않았는지 보장합니다.
완전한 예제
여기서는 봉인된 결과 타입을 모든 경우를 처리하여 메시지로 접습니다.
public class Main {
sealed interface Result permits Ok, Err {}
record Ok(int value) implements Result {}
record Err(String message) implements Result {}
static String render(Result r) {
return switch (r) {
case Ok ok -> "value = " + ok.value();
case Err err -> "error: " + err.message();
};
}
public static void main(String[] args) {
System.out.println(render(new Ok(10)));
System.out.println(render(new Err("bad input")));
}
}빠른 확인
모든 경우를 처리하는 전환문에 대한 이해도를 테스트해 보십시오.
복습
봉인 타입에서 모든 경우를 처리하는 전환문을 사용하는 방법을 배웠습니다.
- 허용된 모든 하위 타입을 처리하면 전환문이 모든 경우를 처리하므로
default가 필요하지 않습니다. - 새 하위 타입을 누락하면 컴파일 오류가 됩니다.
case null은 널을 명시적으로 처리합니다.- 가드는 경우를 구체화하지만 가드가 없는 경우를 대신할 수는 없습니다.
AI 튜터와 함께 Java을(를) 배우세요 — 무료
브라우저에서 실제 코드를 작성하고 실행하며, 24/7 AI 튜터로부터 즉각적인 도움을 받고, 웹이나 앱에서 중단한 부분부터 계속 학습하세요.
- 코스
- 104
- 레슨
- 374
자주 묻는 질문
“봉인된 타입의 완전한 switch” 강의는 무료인가요?
네 — “봉인된 타입의 완전한 switch” 전체 내용을 이 웹사이트에서 무료로 읽을 수 있습니다. 인터랙티브하게 실습하려면(내장 코드 에디터와 24/7 AI 튜터), CoddyKit PRO로 업그레이드하면 Java Academy 강의 전체를 잠금 해제할 수 있습니다. Java Academy 강의에는 총 4개의 강의가 포함되어 있습니다.
“봉인된 타입의 완전한 switch”에서 뭘 배우나요?
컴파일 시 완전성을 확인합니다 브라우저에서 직접 실행하는 실습 코드로 Java Academy을(를) 배우며, 24/7 AI 튜터가 강의를 진행하면서 질문에 답변해줍니다.
Java Academy을(를) 시작하는 데 경험이 필요한가요?
사전 경험은 필요하지 않습니다. CoddyKit의 Java Academy은(는) 초급자부터 고급 학습자까지를 위해 구성되어 있으므로, 여기서 시작하거나 처음부터 시작할 수 있으며 자신의 속도대로 진행할 수 있습니다. 이것은 4개 중 4번째 강의입니다.
“봉인된 타입의 완전한 switch” 강의는 얼마나 걸리나요?
대부분의 CoddyKit 강의는 약 5~10분이 소요됩니다. 각 강의는 간결하고 인터랙티브하여 꾸준한 진행이 가능하며, 웹과 앱에서 중단한 부분부터 바로 시작할 수 있습니다.
이 Java Academy 강의에서 코드를 작성하고 실행할 수 있나요?
네. 모든 Java Academy 강의에는 내장 코드 에디터가 포함되어 있으므로, 브라우저에서 바로 실제 코드를 작성하고 실행한 후 즉시 AI 피드백을 받을 수 있습니다 — 로컬 설정이 필요 없습니다.