왜 표준 유형은 예를 들어

Question

할당에 서로 다른 소스에서 변환 생성자/할당을 제공하지 않습니다, 왜 template< typename Elem, typename Traits, typename Alloc > basic_string { ... }은 제공하지 않습니다 모두 존중하는 그것은 아주 사소한 것 같다

template< typename OtherAlloc > 
basic_string(const basic_string< Elem, Traits, OtherAlloc >& a_Other) { ... } 

같은 변환 생성자를 구현 할당 자. 현재의 상황은 할당 자의 종류가 다른 유형 사이의 인터페이스가 매우 성가시다.

Answer 1

Standard 해시는 할당 자 재미를 허용하지 않으며 std::string 및 std::wstring을 해시 할 수 있지만 std::basic_string<char, std::char_traits<char>, custom_alloc>은 해시 할 수 없습니다. 또한 할당자를 사용하여 unordered_map 또는 unordered_set을 만들 수 없습니다. 액세스 할 수없는 구현 정의 상수가 기본값 인 버킷 번호도 제공해야하므로 실제로 무엇인가를 만들어야합니다. 지원은 일반적으로별로 좋지 않습니다.

비교적 간단하게 아무도 그러한 기능을 제안하지 않았거나이 사용 공간을 탐색하지 못했습니다.

Answer 2

문제는 보이는 것보다 훨씬 어렵습니다. 할당 자 유형은 객체 유형의 일부이기 때문에 할당 자만 다른 유형 간에는 거의 상호 작용이 허용되지 않습니다. 첫 번째 예는 상수 참조로 std::string을 사용하는 함수는 다른 할당자를 사용하는 문자열을 사용할 수 없다는 것입니다. 하나의 특별한 경우는 사물의 건설 중이다. 실제로 여기에서는 더 어려운 경우 일 수 있습니다. allocator2 스택에 로컬 경기장을 사용,

// Assume that you could construct from a different allocator 
std::vector<int, allocator1> f() { 
    std::vector<int, allocator2> r; 
    // fill in 
    return r; 
} 
int main() { 
    std::vector<int, allocator3> x = f(); 
} 

이 allocator1이 std::allocator<int> (즉, 기본 할당) 인 것을 고려하고 allocator3 공유 메모리를 사용할 수 있습니다 :

예를 들어 다음과 같은 코드를 생각해 보자. 이론의 코드는, 벡터 r은 매우 간단 생성되고 r에서 return 문 복사하여 만든 새 임시에 데이터로 채워, 그리고 마지막으로 x 그 일시적인에서 복사에 의해 구성된다. 문제는 표준에서 가능한 한 많이 복사하는 것을 피할 수 있다는 것입니다. 위의 특정 예제 (및 할당 자 무시)에서는 컴파일러가 두 복사본을 모두 비우고 버퍼를 한 번만 만들었습니다. 이는 빠르고 효율적입니다. 그러나 할당자가 잠재적으로 달라지면 NRVO 및 다른 유형의 복사 방지가 비활성화되어야합니다. 이러한 최적화가 활성화 된 경우 을 사용하는 로컬의은 이미 파괴 된 로컬 영역을 사용하므로 정의되지 않은 동작이 발생합니다.

하나의 할당자를 가진 컨테이너에서 다른 구성 자로 복사 구성을 가능하게함으로써, 엉망이되거나, 현재 표준에있는 것보다 더 깊은 혼란을 겪을 수 있습니다. 여기서 상태 저장 할당 자와 관련된 모든 종류의 흥미로운 문제가 발생할 수 있습니다 (스레드 간 할당자를 사용하고 데이터를 데이터를 공유 대기열로 이동한다고 가정하면 다른 스레드에서 스레드 별 할당자가 작성한 객체를 보유한 하나의 스레드로 끝날 수 있으며, 스레드 할당자가 잠금에 대한 경합을 피하면 명백하게 안전한 코드에 경쟁 조건을 생성 할 수 있습니다 ....

---

이것은 오래된 p입니다. C++위원회 Towards a better allocation model에 C++ 03 할당 모델에 대한 우려를 제기하고 다형성 할당 자 유형 (자체의 문제가 있음)을 제안합니다.그것은 흥미로운 읽기를 만들지 만, 세부 사항에주의를 기울여야합니다. 모든 것이 좋은 것처럼 보이지는 않습니다. 두 가지 옵션 (또는 C++ 11과 유사한 C++ 11 버전)을 사용하는 데는 몇 가지 함정이 있습니다. 버전)