switch 문 안에 임의의 레이블을 허용하는 이유는 무엇입니까?

Question

다음 코드는 컴파일 :

int a = 0; 

switch (a) 
{ 
    case 1: 
     return; 
    defau1t:  // note the typo 
     return; 
} 

defau1t 때문에이 goto 레이블로 해석됩니다. 다음과 같은 경우에 그러나

는 :

오류 CS1525 : 예기치 않은 기호 defau1t', expecting} ', case', or 기본'

왜

switch (a) 
{ 
    defau1t: 
     return; 
} 

컴파일러 올바르게 실수를 식별 그게 뭐야? switch 문에서 임의의 레이블을 허용하는 이유는 (겉으로보기에) 일관성없는 동작으로 연결되는 경우 무엇입니까?

사이드 노트 : C++ 및 Java와 유사한 조각으로 동일한 문제가 발생할 수 있습니다.

Answer 1

나는 이것이 잘못된 길을보고 있다고 생각합니다. 그것을 허용하는 특별한 예외가 만들어진 것이 아니라, 그것을 허용하는 특별한 예외가 없다는 것입니다.

블록은 블록이 case 또는 default 레이블로 시작해야하지만 그 외의 유효한 코드는 블록의 일부일 수 있습니다.

다른 레이블 포함.

이것을 허용하지 않으면 언어를 이해하기가 더 복잡해지고 컴파일러를 작성하기가 어려워지고 이점은 미미하며 그 이점은 미미합니다.

Answer 2

C#은 이것이 사양에 나와 있으므로이 방법으로 작동합니다. C# 사양의 섹션 8.7.2에서는 switch 문의 문법을 정의합니다. 특히 스위치 블록이 비어 있지 않으면 스위치 섹션을 포함해야하며 스위치 섹션은 스위치 레이블 (case <constant expression>: 또는 default:)로 시작해야합니다. 두 번째 예에서는 비어 있지 않은 스위치 블록이 있는데이 스위치 블록에는 유효한 스위치 섹션이 없으므로 유효한 명령문이 아닙니다.

Eric Lippert에게 약간의 채널을 허용하려면 스위치 블록 내에서 레이블이있는 명령문을 허용하지 않는 것은 잉태, 제안, 설계, 지정, 개발, 테스트, 문서화 및 배송해야하는 언어 기능입니다. 내 생각에이 기능은 아마도 과거에 잉태 된 적이 없었을 것입니다.