쇠막대기 풀이 질문

안녕하세요,

첫번째 else 문에서 바로 pop을 해줘도 오류가 나지 않는 이유, 두번째 if문에서 stack.isEmpty() 체크를 해주지 않는 이유가

무조건 처음 한번은 '(' 괄호가 들어가기 때문인가요?

        for (int i = 0; i < arr.length; i++) {
            if (arr[i] == '(')
                stack.push(arr[i]);
            else {
                stack.pop();
                if (arr[i - 1] == '(')
                    answer += stack.size();
                else
                    answer++;
            }
        }

import java.util.*;

public class Main {
    public int solution(String str) {
        int answer = 0;
        Stack<Character> stack = new Stack<>();
        char[] arr = str.toCharArray();

        for (int i = 0; i < arr.length; i++) {
            if (arr[i] == '(')
                stack.push(arr[i]);
            else {
                stack.pop();
                if (arr[i - 1] == '(')
                    answer += stack.size();
                else
                    answer++;
            }
        }


        return answer;
    }

    public static void main(String[] args) throws Exception {
        Main T = new Main();
        Scanner kb = new Scanner(System.in);

        String str = kb.next();

        System.out.println(T.solution(str));
    }
}