[c++] 단락 평가

단락 평가(short-circuit evaluation)란,

논리 연산에서 왼쪽 피연산자의 값만으로 전체 표현식의 결과를 알 수 있는 경우 오른쪽 피연산자를 평가하지 않는 것을 말한다. 

 

 

• 논리 AND (&&) 연산자:
  • 왼쪽 피연산자가 false이면, 전체 표현식은 false가 되므로 오른쪽 피연산자를 평가하지 않는다. 
• 논리 OR (||) 연산자:
  • 왼쪽 피연산자가 true이면, 전체 표현식은 true가 되므로 오른쪽 피연산자를 평가하지 않는다. 

if (stk.top() == s[i] && !stk.empty())

 

 

내가 실수한 문제이다. 단락평가에 대해 정리해야겠다고 생각한 계기.. 사실 단락평가라는 것을 처음 알았다...ㅜ

(stk는 stack)

 

만약 내가 쓴 코드처럼 작동하려면 stk.top() == s[i]가 먼저 평가된다. 

• 하지만 stack이 비어있을 경우 stk.top()을 호출하면 오류가 발생한다. 왜냐하면, stk.empty()가 나중에 평가되기 때문이다. 
• 이렇게 되면 비어있는 stack에서 top()을 호출하려고 해서 segmentation fault가 발생한다. 

--> 그래서 내가 한 방법대로 하면 stk.top()인 경우를 호출하게 되기 때문에 오류가 발생하는 것이다. 

 

<결론>

if (!stk.empty() && stk.top() == s[i])

 

 

만약 stack이 비어있다면(stk.empty()가 true라면), 전체 표현식은 false가 된다. 

• • 이 경우, 오른쪽 피연산자인 stk.top() == s[i]를 평가하지 않는다.
  • 결국 stk.top()을 호출하지 않기 때문에 오류가 발생하지 않는다.