파스칼 (스크립트) 및 예외 제어 흐름

Question

저는 PascalScript innosetup 설치 프로그램을 사용하고 있는데, 다음 블록의 제어가 어디로 흐르고 있는지 알지 못합니다.

function Foo(): String; 
begin 
    Result := 'foo'; 
    RaiseException('...'); 
end; 

procedure Test(); 
var 
    Z : String; 
begin 
    Z := ''; 
    try 
    Z := Foo(); 
    except 
    Log(Z); 
    end 
end; 

내 설치 Z가 Foo 함수의 Result으로 설정되는 것처럼 보입니다. '대부분의'프로그래밍 언어의 예외에 대한 나의 이해는 Z := Foo() 예외가 발생하지 않아야한다는 것을 나에게 알려준다.

Foo 함수가 발생하면 Z이 여전히 할당되어야합니까?

Answer 1

아마도 암시 적 첫 번째 인수로 참조로 결과 값을 처리합니다. 하지만 그런 일이 일어날 수 있습니다. 반환 값을 처리하는 일반적인 방법이기 때문에 특정 코드 생성/최적화의 법칙으로 간주 될 수 있습니다.

그러나 오브젝트 파스칼에서 델파이가 수행하는 테스트가 정확히 정의되지 않은 이유는 어두운 영역이므로 x86 및 x86_64 구현 만 있기 때문입니다. 그리고 델파이는 eax에서 값을 반환 할 것이므로 만약 당신이 그 논리를 따른다면 이것은 불법입니다.

내가 구조화 유형 델파이를 테스트하고,이 기준을 통과하면서, 그것을 통과하는 스택의 복사본을 생성한다

---

나중에 첨가.

이렇게하면 구조화 된 유형으로 코드를 최적화하는 것이 어려울 수 있지만 반환 유형 const를 선언하는 수정 자/속성이 필요하다면이를 수정할 수 있습니다.

Answer 2

델파이에서 결과 값 문자열은 var 매개 변수와 같이 처리됩니다.

procedure Foo(var Result: string); 
begin 
    Result := 'Foo'; 
    RaiseException(...); 
end; 

이 Z (기준 파라미터를 통해)이 즉시 값 'Foo' 할당 즉 전에 예외가 발생한다는 의미로 말해서, 푸 같은 함수는 실제로 컴파일된다.

즉, 함수 결과는 Result이라는 로컬 변수에 보관되지 않고 함수가 끝날 때 반환됩니다. 예외로 인해 방지 될 수 있습니다. 즉, 즉시 할당됩니다.

나는 PascalScript에서도 이러한 현상이 일어나고 있다고 가정합니다.