Что представляет собою макрос __STL_DEFAULT_ALLOCATOR(T)
, а так же макрос __STL_NOTHROW
. И - самое главное - как ими пользоваться?
Я - в качестве эксперимента - пытаюсь написать "свой собственный" "вектор" и выделить для него память при помощи аллокатора. А точнее просто пытаюсь понять, как пользоваться готовым библиотечным аллокатором? МОЙ ВОПРОС : В векторе не работают конструкторы. Не знаю почему. Привожу код.
template <class T,class A = allocator<T>>
class Vec{
T* bbb ;
T* eee ;
T* mmm ;
const A* a ;
public :
Vec(const A & aaa = A())
:bbb(nullptr),eee(nullptr),mmm(nullptr)
,a(&aaa)
// Здесь всё нормально.
{}
Vec( size_t n , const A & aaa = A() )
:a(&aaa)
{
bbb = a->allocate(n) ;
// Тут что-то не так.
// Без этой строки - ошибка вермени выполнения.
uninitialized_fill_n(bbb,n,T()) ;
eee = bbb ;
mmm = bbb + n ;
}
Vec( int n , T t , const A & aaa = A())
:a(&aaa)
{
uninitialized_fill_n(bbb,n,t) ;
eee = bbb + n ;
mmm = bbb + n ;
// Не работает.
}
Vec(const Vec< T, A> & vc)
{
mmm = uninitialized_copy(vc.bbb,vc.mmm,bbb) ;
eee = uninitialized_copy(vc.bbb,vc.eee,eee) ;
// Не проверял.
}
Я работаю в Visual C++ 2010 Express. Мне не понятно, - как аллокатор выделяет память внутри сигнатуры конструктора.
ОБНОВЛЕНИЕ : Здравствуйте уважаемый ixSci! Прошу прощение за слишком краткое описание проблемы. Мне казалось, что и так будет всё понятно.
ИТАК. Без строки a->allocate(n)
возникает ошибка времени выполнения. При наличии данной строки Компилятор пишет следующее:
error C2663: 'std::allocator<_Ty>::allocate' : 2 overloads have no legal conversion for 'this' pointer
Это сообщение происходит ТОЛЬКО при использовании данного конструктора. То есть, когда в исполняемом коде возникает объект, использующий этот конструктор. Например: Vec<int> vc(5)
.
Теперь о моей компетенции. Я прочитал Г.Шилдт"Базовый курс С++" и заканчиваю изучать учебник С.Прата"Язык программирования С++ Лекции и упражнения". Опыт, конечно, небольшой. Но по меткому выражению Мэтью Уилсона, - "очень люблю заглядывать под капот." Кстати, в первом коде, который Вы мне прислали есть ошибка: Функция construct()
имеет второй аргумент - ссылку на значение инициализирующего объекта. Без этого аргумента функция не работает. Есть и другие ошибки. Но в целом код даёт понимание, - как работает Аллокатор. Так что всё равно - СПАСИБО! Я добавил в Ваш код некоторые свои комментарии. Если хотите, я покажу то, что у меня получилось. И ЕЩЁ. Если можно, покажите, пожалуйста как должен выглядеть "НОРМАЛЬНЫЙ" вектор в котором память выделяется при помощи Аллокатора. Только "шапку", поля данных и ОДИН конструктор, создающий объект из "n" элементов и их инициализирующий. СПАСИБО!
ОБНОВЛЕНИЕ 2 Уважаемые господа @ixSci и @Abyx ! Огромное СПАСИБО! Благодаря Вам я познакомился с Аллокаторами. Теперь я пришёл к ряду выводов. Хочется узнать, - верны ли они???
ВЫВОДЫ:
- Аллокатор как параметр присутствует во всех конструкторах библиотечного контейнера
vector
только для инициализации его, - вектора, - базового класса, в котором и хранится Аллокатор. Мои конструкторы вектора не работали именно потому, что в них Аллокатор, уже объявленный в шаблоне класса, - повторно объявлялся и инициализировался. - Если удалить из памяти объекты при помощи метода
deallocate()
, предварительно не разрушив их при помощи методаdestroy()
, то эти объекты могут так и остаться в куче, что вызовет утечку памяти. - Закрытые поля данных
m_Start,m_Finish,m_Storage
следует помещать в конце объявления класса. Очевидно для того, чтобы Аллокатор быстрее построил Вектор и отключился.
У меня остались вопросы.
- Зачем оставлять объекты в куче, в то время, как доступа к этим объектам уже не существует? То есть, почему бы не объединить
destroy()
иdeallocate()
в один метод? - Зачем в действительности поля
m_Start,m_Finish,m_Storahe
помещаются в конец объявления Вектора? Притом, что если эти поля поместить в начало Объявления Вектора, всё и так будет работать?