'continue'문이 'finally'블록 안에있을 수없는 이유는 무엇입니까?

나는 문제가 없습니다. 그냥 궁금 해요. 다음 시나리오를 상상해보십시오.

foreach (var foo in list)
{
    try
    {
         //Some code
    }
    catch (Exception)
    {
        //Some more code
    }
    finally
    {
        continue;
    }
}

컴파일러 오류 CS0157이 발생하므로 컴파일되지 않습니다 .

제어는 finally 절의 본문을 벗어날 수 없습니다.

왜?

finally블록은 예외 발생 여부에 관계없이 실행됩니다. 예외가 발생하면 도대체 continue어떻게할까요? 잡히지 않은 예외가 다른 함수로 제어를 이전하기 때문에 루프 실행을 계속할 수 없습니다.

예외가 발생하지 않더라도 finally는 try / catch 블록 내의 다른 제어 전송 문이 실행될 때 실행됩니다 ( return예 : 같은 문제가 발생하는).

요컨대, finally그것 의 의미론으로 인해 finally블록 내부 에서 외부 로 제어를 전송하는 것은 의미 가 없습니다 .

의도 된 동작을 더 명확하게 만드는 간단한 해결 방법이 있기 때문에 일부 대체 의미 체계로이를 지원하는 것은 도움이되는 것보다 더 혼란 스러울 것입니다. 따라서 오류가 발생하고 문제에 대해 올바르게 생각해야합니다. C #에서 계속되는 것은 일반적인 "성공의 구덩이에 던져 넣는"아이디어입니다.

예외를 무시하고 (나쁜 생각이 아닌 경우가 많음) 루프를 계속 실행하려면 catch all 블록을 사용하십시오.

foreach ( var in list )
{
    try{
        //some code
    }catch{
        continue;
    }
}

continue포착되지 않은 예외가 발생하지 않을 때만 원하는 경우 continuetry-block 외부에 두십시오 .

다음은 신뢰할 수있는 출처입니다.

continue 문은 finally 블록을 종료 할 수 없습니다 (섹션 8.10). finally 블록 내에서 continue 문이 발생하면 continue 문의 대상은 동일한 finally 블록 내에 있어야합니다. 그렇지 않으면 컴파일 타임 오류가 발생합니다.

MSDN, 8.9.2 에서 가져온 것입니다 . continue 문 .

문서는 다음과 같이 말합니다.

finally 블록의 문은 제어가 try 문을 떠날 때 항상 실행됩니다. 제어 전송이 정상적인 실행의 결과로 발생하거나 break, continue, goto 또는 return 문을 실행 한 결과로 발생하거나 또는 try 문에서 예외를 전파 한 결과로 발생하는 경우에 해당됩니다. finally 블록을 실행하는 동안 예외가 발생하면 예외는 다음 엔 클로징 try 문으로 전파됩니다. 전파중인 다른 예외가있는 경우 해당 예외가 손실됩니다. 예외를 전파하는 프로세스는 throw 문에 대한 설명에서 자세히 설명합니다 (섹션 8.9.5).

여기에서 8.10 try 문 .

말이된다고 생각할 수도 있지만 실제로 는 말이되지 않습니다 .

foreach (var v in List)
{
    try
    {
        //Some code
    }
    catch (Exception)
    {
        //Some more code
        break; or return;
    }
    finally
    {
        continue;
    }
}

예외가 발생할 때 중단 또는 계속 을 수행 할 의도는 무엇입니까 ? C # 컴파일러 팀은 break또는 continue. 대신, 그들은 개발자 상황이 .NET에서 제어권을 이전하는 것이 모호하다고 불평하기로 결정했습니다 finally block.

따라서 컴파일러가 다른 것을 가정하는 것보다 자신이하려는 일을 명확하게 밝히는 것이 개발자의 임무입니다.

이것이 컴파일되지 않는 이유를 이해하기를 바랍니다!

다른 사람들이 말했듯이 예외에 초점을 맞추는 것은 실제로 제어 전송의 모호한 처리에 관한 것입니다.

당신은 아마도 다음과 같은 시나리오를 생각하고있을 것입니다.

public static object SafeMethod()
{
    foreach(var item in list)
    {
        try
        {
            try
            {
                //do something that won't transfer control outside
            }
            catch
            {
                //catch everything to not throw exceptions
            }
        }
        finally
        {
            if (someCondition)
                //no exception will be thrown, 
                //so theoretically this could work
                continue;
        }
    }

    return someValue;
}

이론적으로는 제어 흐름을 추적하고 "좋아"라고 말할 수 있습니다. 예외가 발생하지 않으며 제어가 전송되지 않습니다. 그러나 C # 언어 디자이너는 다른 문제를 염두에 두었습니다.

던진 예외

public static void Exception()
{
    try
    {
        foreach(var item in list)
        {
            try
            {
                throw new Exception("What now?");
            }
            finally
            {
                continue;
            }
        }
    }
    catch
    {
        //do I get hit?
    }
}

공포의 고토

public static void Goto()
{
    foreach(var item in list)
    {
        try
        {
            goto pigsfly;
        }
        finally
        {
            continue;
        }
    }

    pigsfly:
}

반환

public static object ReturnSomething()
{
    foreach(var item in list)
    {
        try
        {
            return item;
        }
        finally
        {
            continue;
        }
    }
}

헤어짐

public static void Break()
{
    foreach(var item in list)
    {
        try
        {
            break;
        }
        finally
        {
            continue;
        }
    }
}

이 동안 그래서 결론적으로, 그래, 이다 약간의 사용 a의 가능성 continue제어가 전송되지 않는 상황에서,하지만 좋은 거래 (대부분?)의 경우는 예외 또는 포함 return블록. 언어 디자이너는 이것이 너무 모호하고 컴파일 타임 에 제어 흐름이 전송되지 않는 경우 에만continue 사용 된다는 것을 보장하기가 불가능하다고 느꼈습니다 .

일반적으로 블록 continue에서 사용할 때 의미가 없습니다 finally. 이것 좀보세요 :

foreach (var item in list)
{
    try
    {
        throw new Exception();
    }
    finally{
        //doesn't make sense as we are after exception
        continue;
    }
}

"이것은 컴파일되지 않을 것이며 완전히 말이되는 것 같습니다."

글쎄, 그렇지 않다고 생각합니다.

말 그대로 있으면 catch(Exception)finally (그리고 아마도)가 필요하지 않습니다 continue.

더 현실적 catch(SomeException)일 때 예외가 포착되지 않으면 어떻게해야합니까? 당신 continue은 한 방향으로 가고 싶어하고, 예외는 다른 것을 처리합니다.

finally 블록의 본문을 떠날 수 없습니다. 여기에는 중단, 반환 및 귀하의 경우 계속 키워드가 포함됩니다.

finally블록 예외 재 throw 기다리고으로 실행될 수있다. continue예외를 다시 던지지 않고 (또는 다른 방법으로) 블록을 종료 할 수 있다는 것은 실제로 이치에 맞지 않습니다 .

무슨 일이 있어도 루프를 계속하려면 finally 문이 필요하지 않습니다. 예외를 포착하고 다시 던지지 마십시오.

finally포착되지 않은 예외가 발생하는지 여부에 관계없이 실행됩니다. 다른 사람들은 이것이 왜 continue비논리적으로 만드는지 이미 설명 했지만, 여기에이 코드가 요구하는 것처럼 보이는 정신을 따르는 대안이 있습니다. 기본적으로 다음과 finally { continue; }같이 말합니다.

1. 예외가 발견되면 계속
2. 포착되지 않은 예외가있는 경우 예외가 발생하도록 허용하지만 계속 진행합니다.

(1) continue각 끝에 배치 하여 만족시킬 수 있으며 catch(2) 나중에 던질 잡히지 않은 예외를 저장하여 만족시킬 수 있습니다. 다음과 같이 작성할 수 있습니다.

var exceptions = new List<Exception>();
foreach (var foo in list) {
    try {
        // some code
    } catch (InvalidOperationException ex) {
        // handle specific exception
        continue;
    } catch (Exception ex) {
        exceptions.Add(ex);
        continue;
    }
    // some more code
}
if (exceptions.Any()) {
    throw new AggregateException(exceptions);
}

사실, finally잡혔거나 잡히지 않은 예외가 전혀 발생하지 않은 세 번째 경우에서도 실행되었을 것입니다. 원하는 경우, 물론 continue각 내부 대신 try-catch 블록 뒤에 하나를 배치 할 수 catch있습니다.

기술적으로 말하면 기본 CIL의 제한 사항입니다. 로부터 언어 사양 :

제어 전송은 예외 처리 메커니즘을 통하지 않는 한 catch 핸들러 또는 finally 절에 들어갈 수 없습니다.

과

보호 영역 밖으로 제어 전송에만 예외 명령을 허용 ( leave, end.filter, end.catch, 또는 end.finally)

br지침에 대한 문서 페이지에서 :

try, catch, filter 및 finally 블록에 대한 제어 전송은이 명령으로 수행 할 수 없습니다.

이 마지막에 대한 사실이 보유하고 있는 모든 분기 명령을 포함 beq, brfalse등

언어의 설계자는 제어 전송에 의해 종료되는 finally 블록의 의미에 대해 추론하고 싶지 않았거나 할 수 없었습니다.

한 가지 문제 또는 아마도 핵심 문제는 finally블록이 일부 비 로컬 제어 전송 (예외 처리)의 일부로 실행 된다는 것 입니다. 제어 전송의 대상은 둘러싸는 루프가 아닙니다. 예외 처리는 루프를 중단하고 계속해서 풀립니다.

우리가 밖으로 제어 전송하는 경우 finally정리 블록을, 다음 원래 컨트롤 전송은 "납치"되고있다. 취소되고 제어가 다른 곳으로 이동합니다.

의미론을 해결할 수 있습니다. 다른 언어에도 있습니다.

C #의 설계자는 단순히 정적이고 "고토와 같은"컨트롤 전송을 허용하지 않기로 결정하여 작업을 다소 단순화했습니다.

그러나 그렇게하더라도 동적 전송이 a에서 시작되면 어떻게되는지에 대한 질문을 해결하지 못합니다 finally. finally 블록이 함수를 호출하고 해당 함수가 throw되면 어떻게됩니까? 그러면 원래 예외 처리가 "도용"됩니다.

이 두 번째 형태의 하이재킹의 의미를 알아 내면 첫 번째 유형을 추방 할 이유가 없습니다. 그것들은 실제로 똑같습니다. 제어 전송은 동일한 어휘 범위이든 아니든간에 제어 전송입니다.