STL 컨테이너, 할당 자 및 포인터 래퍼

Question

mmap을 사용하여 고정 크기 세그먼트 풀을 할당하는 사용자 정의 슬래브 할당자를 만들었습니다. 이러한 세그먼트는 논리적으로 연속적이지만 물리적으로 분리되어 있습니다. 또한 풀의 논리적 시작점에서 오프셋을 포함하는 포인터 래퍼 클래스를 정의했습니다. 여기

template<typename T> 
struct offptr_t { 
    typedef offptr_t<T> this_t; 
    typedef T element_type; 
    typedef OFFSET difference_type; 
    template<typename U> struct rebind { typedef offptr_t<U> other; }; 
    offptr_t(const mem_pool *p, OFFSET o) 
    : pool(p), offset(o) 
    {} 
    // ... 
}; 

가 할당입니다 :

template<typename T> 
struct mem_pool_allocator { 
public: 
    typedef mem_pool_allocator<T> this_t; 
    typedef T value_type; 
    typedef offptr_t<T> pointer; 
    typedef const offptr_t<T> const_pointer; 
    typedef T& reference; 
    typedef const T& const_reference; 
    typedef size_t size_type; 
    typedef int64_t difference_type; 
    template< class U > struct rebind { typedef mem_pool_allocator<U> other; }; 
    // ... 
}; 

가 그럼 난 pointer_traits을 정의 STL과 같은 iterator_traits 클래스가 필요합니다 :

namespace std { 
    template<typename T> 
    struct pointer_traits<offptr_t<T>> { 
     typedef typename offptr_t<T> pointer; 
     template<typename U> struct rebind { typedef offptr_t<U> other; }; 
    }; 

    template<typename T> 
    struct iterator_traits<offptr_t<T>> { 
     typedef typename offptr_t<T> pointer; 
     typedef typename pointer::difference_type difference_type; 
     typedef typename pointer::element_type value_type; 
     typedef typename pointer::element_type &reference; 
     typedef std::random_access_iterator_tag iterator_category; 
    }; 
} // End of namespace std 

것은 내가 이러한 클래스를 사용할 때처럼 포인터 클래스 보인다 libC++의 STL 컨테이너에서 C++/v1/vector에 여러 컴파일 오류가 발생했습니다 :

template <class _Tp, class _Allocator> 
_LIBCPP_INLINE_VISIBILITY inline 
void 
__vector_base<_Tp, _Allocator>::__destruct_at_end(const_pointer __new_last, false_type) _NOEXCEPT 
{ 
    while (__new_last != __end_) 
     __alloc_traits::destroy(__alloc(), const_cast<pointer>(--__end_)); 
} 


template <class _Tp, class _Allocator> 
_LIBCPP_INLINE_VISIBILITY inline 
void 
__vector_base<_Tp, _Allocator>::__destruct_at_end(const_pointer __new_last, true_type) _NOEXCEPT 
{ 
    __end_ = const_cast<pointer>(__new_last); 
} 

벡터는 포인터 유형에 const_cast <>을 사용하고 있습니다. const_cast <>는 원시 포인터/참조에서만 사용할 수 있으며 오버로드 할 수 없습니다. 즉, 사용자 정의 포인터와 같은 객체로 작업하는 것이 불가능합니다.

내가 잘못했거나 libC++에서 STL 구현의 결함 일 뿐인가?

Answer 1

이것은 libC++의 버그와 같습니다. 난 고치기 위해 노력하고있어.