try와 catch unreachable 비교는 서로 다른 두 프로그램 비교다

같게 맞출 항목에 할당자도 넣어야 한다. 한 후보는 동적 배열을 배치 사이에 재사용한다. 다른 후보는 임시 저장 공간에 만들고 배치마다 비운다. 입력은 같아도 저장 공간의 수명이 다르고, 측정 시간은 그 차이를 말없이 삼킨다. 배열은 만들 때의 할당자를 계속 쥐고 있으니 실행 사이에 컨텍스트를 바꿔도 배열에는 아무 영향이 없다. 컨테이너마다 어떤 할당자를 쥐고 있는지, 어디서 비우는지 적어 둔다. 할당을 측정 구간에 넣든 빼든 그건 작업 부하 설명에 들어가야 한다.

목록에 있는 소유권 조건은 실패하는 실행에도 적용되어야 합니다. 첫 번째 버퍼를 얻은 뒤 두 번째에서 실패하는 연산은 오류를 반환하기 전에 첫 번째 버퍼를 해제해야 합니다. 두 후보가 같은 정리 작업을 해야 하며, 그렇지 않으면 실패 측정은 서로 다른 정리 과정을 비교하게 됩니다.

여기서 자주 확대 해석되는 C 규칙이 하나 있습니다. free(NULL)은 아무 일도 하지 않도록 정의되어 있습니다. 그 규칙은 널 포인터에만 적용됩니다. 첫 번째 버퍼를 두 번 해제하는 것은 정의되지 않은 동작이며, 널 검사로는 유효한 널 아닌 포인터와 이미 해제된 포인터를 구별할 수 없습니다.

게다가 어느 할당이든 실패할 수 있다면 입력이 유효하다는 것은 catch unreachable의 근거가 되지 못합니다. try는 오류를 위로 넘길 뿐 첫 번째 버퍼는 할당된 채로 남겨 두며, 그것이 바로 errdefer가 맡는 일입니다.