유형 전환의 폴스루: 심층 설명

Go의 유형 전환을 사용하면 구체적인 유형에 따라 값을 효율적으로 처리할 수 있습니다. 그러나 표준 switch-case 문과 달리 스위치 유형에서는 fallthrough가 명시적으로 허용되지 않습니다. 이 디자인 선택은 그 이론적 근거에 대한 의문을 제기합니다.

이유 이해

Go 사양에는 유형 스위치에서 "fallthrough"가 허용되지 않는다고 명시되어 있습니다. 이러한 금지는 다음과 같은 여러 요소에서 비롯됩니다.

• 유형 불일치: 유형 스위치에서 평가되는 변수는 입력된 사례 분기에 따라 유형을 변경합니다. 예를 들어 변수에 한 분기에는 부울이 할당되고 다른 분기에는 문자열이 할당된 경우 fallthrough는 유형 불일치를 초래합니다.
• 혼란스러운 동작: 유형 스위치에서 fallthrough를 허용하면 모호한 결과가 발생합니다. 의미론. 이전 분기에서 변수에 부울이 할당된 스위치를 생각해 보세요. fallthrough가 허용되는 경우 후속 분기에서 변수를 어떻게 처리해야 하는지가 명확하지 않습니다. 부울로 남아 있어야 할까요, 아니면 부울이나 새로운 유형의 값을 보유하는 인터페이스가 되어야 할까요?

설명을 위한 예

설명하기 문제를 해결하려면 다음 코드를 고려하세요.

switch i := x.(type) {
case int:
    fmt.Printf("%T\n", i) // prints "int"
case bool:
    fmt.Printf("%T\n", i) // prints "bool"
    fallthrough
case string:
    fmt.Printf("%T\n", i)
}

fallthrough가 허용된 경우 문자열 케이스에 대해 어떤 유형이 인쇄될지는 확실하지 않습니다. 부울을 그대로 유지해야 할지, 아니면 부울과 문자열을 모두 포함하는 인터페이스로 만들어야 할지 모호합니다.

대체 솔루션

폴스루는 허용되지 않습니다. 유형 스위치의 경우 유사한 동작을 달성하는 다른 방법이 있습니다:

switch i := x.(type) {
case bool, string:
    if b, ok := i.(bool); ok {
        // b is a bool
    }
    // i is an interface{} that contains either a bool or a string
}

이 접근 방식을 사용하면 유형 불일치나 모호함 없이 다양한 유형을 보다 구체적으로 처리할 수 있습니다.