id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
1737,Add AllocatorConcept to BCCL,mfawcett,acharles,"It would be convenient to have an AllocatorConcept in the Boost Concept Check Library.  Below is a nearly complete implementation.

-- code --

namespace boost {

template <typename T>
struct AllocatorConcept {
       typedef typename T::const_pointer const_pointer;
       typedef typename T::const_reference const_reference;
       typedef typename T::difference_type difference_type;
       typedef typename T::pointer pointer;
       typedef typename T::reference reference;
       typedef typename T::size_type size_type;
       typedef typename T::value_type value_type;
       // TODO: Do we need to do more here, e.g.
char_allocator_type::rebind<value_type>::other == T?
       typedef typename T::template rebind<char>::other char_allocator_type;

       BOOST_CLASS_REQUIRE(T, boost, DefaultConstructibleConcept);
       BOOST_CLASS_REQUIRE(T, boost, CopyConstructibleConcept);
       BOOST_CLASS_REQUIRE(T, boost, EqualityComparableConcept);

       void constraints() {
               pointer p = 0;
               reference ref = *p;
               const_reference cref = *p;

               p = value.address(ref);
               const_pointer cp = value.address(cref);

               p = value.allocate(1);
               p = value.allocate(1, 0);

               value.construct(p, *p);

               value.deallocate(p, 1);

               value.destroy(p);

               size_type s = value.max_size();
       }

private:
       T value;
};
}
",Feature Requests,closed,,concept_check,,Not Applicable,wontfix,"concept_check, concepts, allocator",