O(logN)초기 설정시 왼/오 끝, 중간 인덱스 초기화 필요반복문 탈출 조건mid가 양 끝값 중 하나와 만날 때left ≤ right를 벗어날 때이미 정렬된 배열에서 특정 원소를 찾을 때 효과적배열의 요소가 1개일 때 → mid와 target 같은지 검사예외사항을 제