많은 할당 기 기능이 선택적입니까?

Question

방금 ​​new 및 delete 연산자를 재정의하는 개인 프로젝트를 완료했으며 그 과정에서 할당 자 클래스에 대해 배우게되었습니다. cppreference.com을 비롯한 여러 온라인 참조 서를 읽은 후에 많은 기능이 선택적으로 설명됩니다.

제 질문은 어떻게 할당 자 수신자입니까? std::set, 수신 된 할당자가 선택적으로 함수와 유형을 구현하는 경우 작동합니까?

allocator가 모든 함수에 대한 기본 구현을 가진 기본 클래스에서 파생되어야하지만 할당 자에 대한 상속 요구 사항이 없는지 이해할 수 있습니다.

아니면 컴파일 오류로 이러한 선택적 기능을 구현할 필요성에 대해 경고를 받겠습니까?

참고로 여기는 std::set에 대한 세 번째 템플릿 인수로 사용한 할당 자에 대한 나의 첫 번째 시도입니다. 나는 기존의 예제를 수행했기 때문에, 구현 한 많은 것들이 불필요하다고 생각하지만, 앞으로 다른 STL 컨테이너에서 할당자를 사용하기로 결정할 때 판단 방법을 이해하지 못한다. 다시 말하면, 컴파일 에러를 기반으로 그것을 파악하는 것이 아니라면 ...?

template <typename T> 
class Allocator // Custom allocator for use by AllocSet::mAllocatedPtrs to avoid infinite recursion 
{    // (because inserting an element in std::set calls ::operator new, which is overridden to add to AllocSet::mAllocatedPtrs). 
    public: 
     typedef T value_type; 
     typedef T* pointer; 
     typedef T& reference; 
     typedef const T* const_pointer; 
     typedef const T& const_reference; 
     typedef size_t size_type; 
     typedef ptrdiff_t difference_type; 

     template <typename U> 
     struct rebind { typedef Allocator<U> other; }; 

     Allocator() { } 
     template <typename U> Allocator(const Allocator<U>&) { } 
     virtual ~Allocator() { } 

     pointer allocate(size_t numT) { return (T*)(malloc(numT * sizeof(T))); } 
     void deallocate(pointer p, size_type st) { free(p); } 

     size_type max_size() { return size_type(-1); } 

     reference operator=(const_reference) { return *this; } 
     template <typename U> reference operator=(const Allocator<U>&) { return *this; } 
     template <typename U> bool operator==(const Allocator<U>&) { return true; } 
     template <typename U> bool operator!=(const Allocator<U>&) { return false; } 

     pointer address(reference r) { return &r; } 
     const_pointer address(const_reference r) { return &r; } 
}; 

Answer 1

내 질문은 어떻게 않는 할당받는 사람, 예를 들면이다 std :: set, 수신 된 할당 자만 함수와 유형을 선택적으로 구현하는 경우 작동합니까?

당신은 the allocator concecpt 보면 :

일부 요구 사항은 선택 사항 : 템플릿 표준이 :: allocator_traits 모든 옵션 요구 사항에 대한 기본 구현을 제공하고, 모든 표준 라이브러리의 컨테이너와 다른 할당 인식 클래스 액세스 할당 기는 std :: allocator_traits를 통해 직접적으로 수행하지는 않습니다.

이렇게 많은 것들이 선택적인 이유이기도합니다. 대부분의 할당 기 구현은 실제로 변경할 필요가 없으므로, 왜 귀찮게합니까? 새로운 메모리 재구성 알고리즘에 대한 아이디어가 있다고 가정하면 pointer을 정의해야하는 이유는 무엇입니까?

---

또는 하나는 컴파일 오류 이러한 옵션 기능을 구현해야 할 필요성을 경고 것이라는 추론?

아니요, 할당 자의 개념은 well defined입니다. 그것은 에 이 일 때 제공 할 수있는 것을 지정합니다. 컴파일 오류에 의존 할 필요가 없습니다.

요구 사항은 the standard, 17.6.3.5 달러입니다.