코드 행으로 돌아가서 호출 스택을 복원하는 방법은 무엇입니까?

Question

나에게 asked a question earlier,하지만 난 내가 바라던 대답의 종류에 대해 충분히 명확하다고 생각, 그래서 내가 좀 더 구체적인 예를 제공하지 않습니다

을 :

이

class Program 
{ 
    private static bool State; 

    static void Main(string[] args) 
    { 
     State = false; 
     Console.WriteLine(And()); 
     Console.ReadLine(); 
    } 

    static bool And() 
    { 
     return Or() && C(); 
    } 

    static bool Or() 
    { 
     return A() || AB(); 
    } 

    static bool C() 
    { 
     return State; 
    } 

    static bool A() 
    { 
     return true; 
    } 

    static bool AB() 
    { 
     State = true; 
     return true; 
    } 
} 

이 프로그램의 흐름 모습을

1. 그리고()는
2. 라고 그리고 (이) 전화를 걸거나()
3. 또는()가()
4. 을 (호출)가 true
를 반환됩니다
5. 흐름) (true를 반환 또는(), (게으른 평가)
6. 흐름 (로 복귀(), 그리고) C()를 호출
이
7. C()가 false
8. 흐름에 반환하고 반환에 반환 , 이는

것은 지금이 아니면()가 게으른 평가 (나는 |||로 변경) 수행하지 않은 프로그램이 true를 돌려줍니다 경우 false를 반환합니다. 그러나 전체 구문 분석의 결과가 실패하지 않는 한 AB()가 실행되는 것을 원하지 않습니다. And()는 false를 반환합니다.

그래서 내가 뭘하고 싶은지, Or() 함수에, And()가 false를 반환하면 스택에서 항목을 팝 할 수 있도록 스택 (정적 변수)에 현재 상태를 저장합니다. 대안을 시도하십시오.

어떻게하면 C#에서이 작업을 수행 할 수 있습니까?

Answer 1

그것은 상당히 trivial- 그냥 통화 재 배열로서 저를 친다 :

static void Main(string[] args) 
{ 
    State = false; 
    Console.WriteLine(Or()); 
    Console.ReadLine(); 
} 

static bool Or() 
{ 
    return A() && C() || AB() && C(); 
} 

을 아니면 내가 뭔가를 놓친 거지? 어쩌면 C()에는 두 번 호출해서는 안되는 부작용이 있습니까?

편집 : 이제 당신이하려는 일을 이해합니다. 너 스스로 부탁해라. 얻은 제안을 듣거나 GPPG 사본을 얻거나 ANTLR (아마도 훨씬 간단합니다)을 ANTLRWorks과 함께 사용하십시오. 입니다. 따라서 파서를 손으로 돌리는 것보다 훨씬 쉽고 오류가 발생하기 쉽고, 결국 C#을 얻습니다.

Answer 2

문제는 || 운영자. 문제는 실패한 Parse로 되돌아가는 것을 잊었다는 것입니다. Parse가 false를 반환하면 i 및 다른 상태 변수를 원래 값으로 복원하여 다음 파서가 시도 할 수있게해야합니다. C#은 목표 추구 언어가 아닙니다. 역 추적을 원하면 직접해야합니다. (또는 Prolog와 같은 역 추적 기능이있는 언어로 전환하십시오.)