[java] 무효가 아닌 메소드 컴파일에서 누락 된 리턴 문

왜 언어를 사용하면 무한 루프를 가지고 있고 아무것도 반환하지 않는 비 공백 메소드를 가질 수 있습니까?

무효가 아닌 메소드의 규칙 은 리턴하는 모든 코드 경로가 값을 리턴해야 하며 해당 규칙이 프로그램에서 충족되는 것입니다. 리턴하는 0 개의 코드 경로 중 0은 값을 리턴합니다. 이 규칙은 “모든 비 공백 메소드는 리턴하는 코드 경로를 가져야합니다”는 아닙니다.

이를 통해 다음과 같은 스텁 메소드를 작성할 수 있습니다.

IEnumerator IEnumerable.GetEnumerator() 
{ 
    throw new NotImplementedException(); 
}

그것은 무효가 아닌 방법입니다. 그것은 갖는 인터페이스를 충족하기 위해 비 공간있어서한다. 그러나이 구현을 아무것도 반환하지 않기 때문에 불법으로 만드는 것은 어리석은 것처럼 보입니다.

당신의 방법은 때문에의 도달 끝 지점을 가지고 goto(A는 기억 while(true)쓰기 단지 더 즐거운 방법입니다 goto대신의) throw(의 또 다른 형태 인 goto) 관련이 없습니다.

컴파일러가 무언가를 반환하는 것에 대해 경고하지 않는 이유는 무엇입니까?

컴파일러는 코드가 잘못되었다는 좋은 증거가 없기 때문입니다. 누군가가 글을 썼는데 while(true), 그 일을 한 사람이 자신이하는 일을 알고있을 것 같습니다.

C #의 도달 가능성 분석에 대한 자세한 내용은 어디서 볼 수 있습니까?

주제에 대한 내 기사를 참조하십시오.

ATBG : 사실상 그리고 법적인 접근성

그리고 C # 사양을 읽는 것도 고려할 수 있습니다.

답변

public int get() {
   if(someBoolean) {   
     return 10;
   }
   else {
     return 5;
   }
   // there is no need of say, return 11 here;
}

// Define other methods and classes here
public int doNotReturnAnything() {
    var x = true;

    while(x == true) {
        //do something
    }
    //no return statement - won't compile
}