GCC 7.3.1을 사용하고 있지만 버전 9.2.0이라고 생각되는 coliru에서도 테스트되었습니다. 다음을 사용하여 빌드하십시오.
g++ -fsanitize=address -fno-omit-frame-pointer rai.cpp여기 있습니다 rai.cpp:
#include <iostream>
#include <unordered_map>
int main()
{
try
{
struct MyComp {
bool operator()(const std::string&, const std::string&) const {
throw std::runtime_error("Nonono");
}
};
std::unordered_map<std::string, std::string, std::hash<std::string>, MyComp> mymap;
mymap.insert(std::make_pair("Hello", "There"));
mymap.insert(std::make_pair("Hello", "There")); // Hash match forces compare
} catch (const std::exception& e) {
std::cerr << "Caught exception: " << e.what() << "\n";
}
}실행하면 다음이 발생합니다.
> ./a.out
Caught exception: Nonono
=================================================================
==72432==ERROR: LeakSanitizer: detected memory leaks
Direct leak of 32 byte(s) in 1 object(s) allocated from:
...
Direct leak of 4 byte(s) in 1 object(s) allocated from:
...
Indirect leak of 60 byte(s) in 2 object(s) allocated from:
...
SUMMARY: AddressSanitizer: 96 byte(s) leaked in 4 allocation(s).Visual C ++ ( Microsoft (R) C/C++ Optimizing Compiler Version 19.24.28314 for x64)에서 메모리 누수가 발생하지 않습니다 .
이것이 unordered_map::insert( https://stackoverflow.com/a/11699271/1958315 ) 의 강력한 예외 안전 보장을 위반합니까 ? GCC STL의 버그입니까?
답변
표준에 의해 보증 된 보증 (최신 초안 인용) :
[container.requirements.general]
달리 명시되지 않는 한 ([associative.reqmts.except], [unord.req.except], [deque.modifiers] 및 [vector.modifiers] 참조)이 조항에 정의 된 모든 컨테이너 유형은 다음 추가 요구 사항을 충족합니다.
- 단일 요소를 삽입하는 동안 insert () 또는 emplace () 함수에서 예외가 발생하면 해당 함수는 영향을 미치지 않습니다.
[associative.reqmts.except]
연관 컨테이너의 경우 단일 요소를 삽입하는 삽입 또는 삽입 기능 내에서 조작으로 예외가 발생하면 삽입이 영향을 미치지 않습니다.
[unord.req.except]
정렬되지 않은 연관 컨테이너의 경우 단일 요소를 삽입하는 삽입 또는 삽입 기능 내에서 컨테이너의 해시 함수 이외의 조작으로 예외가 발생하면 삽입이 적용되지 않습니다.
내가 이해하는 한 “효과 없음”은 “메모리 누수 없음”을 의미합니다. 이러한 해석 하에서 누수는 버그라고 생각합니다.