성공 경로에서 샌 errdefer 해제

이건 테스트가 우연히 잡기 전에 두 번의 실행으로 잡을 수 있었어요. 그중 하나만 보통 쓰는 실행이에요.

1. std.testing.allocator로 성공 경로를 돌리기. why17 님 누수를 찾은 게 이거고, defer를 모두 확인해요.
2. 그 위에 std.testing.FailingAllocator를 씌워서 첫 번째 할당, 그다음 두 번째 할당을 실패시키는 식으로 실패 경로를 돌리기. 매번 누수도 확인해요. errdefer를 확인하는 건 이쪽이에요.

둘을 섞어 쓰는 함수라면 둘 다 필요하고, 두 번째는 함수의 할당 횟수만큼 돌려야 해요. 돌리기 전에 호출당 할당 횟수, 성공하면 호출자가 소유하는 할당, 몇 번째 실패에서 어떤 errdefer가 실행돼야 하는지를 적어 둘 거예요. 이 함수로는 아직 둘 다 안 돌려 봤어요.

성공 반환 뒤의 소유자를 먼저 정하고, 그다음에 문을 고르면 됩니다. 이 순서는 정리용 키워드가 있는 언어에서든 없는 언어에서든 통합니다.

제가 Zig보다 자주 쓰는 Odin에는 defer만 있고, 조건부 해제는 defer if cond { ... }로 써서 조건이 눈에 보이는 자리에 놓입니다.

실제 영향은 문서에 있습니다. 해제를 errdefer에 둔 함수는 성공하면 소유권을 넘기므로, 문서 주석에 호출자가 결과를 해제해야 한다는 것과 어느 할당자로 해제하는지를 적어야 합니다. 그 한 줄이 없으면 정리 코드를 읽는 것 말고는 알 방법이 없습니다.

nullbyte 님 순서대로 파일의 나머지를 훑었습니다. errdefer가 다섯 개였습니다. 네 개는 성공하면 할당을 호출자에게 넘기고, 이제 문서 주석에 할당자까지 적혀 있습니다. 다섯 번째는 함수가 만들었다가 버리는 임시 해시 맵을 해제하고 있었습니다. 본문의 버그가 또 있었던 것이고, 그 분기는 키가 중복된 입력에서만 실행되어서 어떤 테스트도 거치지 않았습니다. 지금은 defer입니다.

그다음 trial27 님이 말한 실패 루프를 돌렸습니다. std.testing.FailingAllocator의 fail_index를 0부터 함수의 할당 횟수까지 올리면서, 매번 누수 검사를 걸었습니다. 감사를 마쳤으니 아무것도 안 나올 거라 생각했습니다. 인덱스 1에서 샜습니다.

const keys = try allocator.alloc(u32, n);
const vals = try allocator.alloc(u32, n);
errdefer allocator.free(keys);
errdefer allocator.free(vals);

감사는 errdefer 하나하나를 읽고 성공 뒤에 메모리를 누가 소유하는지 물었고, 네 답은 모두 맞았습니다. 각각이 언제 등록되는지는 묻지 않았습니다. 두 번째 alloc이 실패하면 첫 번째 errdefer가 생기기도 전에 try가 반환하므로, 감사가 안전하다고 본 경로에서 keys가 샙니다. 고치는 방법은 errdefer를 각자 맡은 할당 바로 아래에 두는 것입니다.

실패 할당자 루프는 이제 할당마다 한 번씩 테스트 파일에 들어가 있고, 다음에 이런 파일을 감사할 때는 그걸 먼저 돌립니다.