独自の割り当てポリシー、独自の malloc/free などを実装するカスタム アロケーターが与えられました。現在、このカスタム アロケーターを STL コンテナー (ベクターなど) と共に使用するように求められています。たとえば、 ISO C++ 標準my_stdAllocator
に準拠したインターフェイスであるクラスを作成しました。このクラスを通じて、アロケーターのメソッドを呼び出します。例えば:
template <class T>
class my_stdAllocator {
// ...other required stuff...
// allocate 'num' elements of type T
pointer allocate(size_type num, const_pointer = 0) {
return static_cast<T*>(MYAllocator::instance()->malloc(num));
}
// deallocate memory at 'p'
void deallocate(pointer p, size_type num=0) {
MYAllocator::instance()->free(p);
}
// initialize allocated memory at 'p' with value 'value'
void construct(pointer p, const T& value) {
::new ((void*)p) T(value);
}
// destroy elements of initialized memory at p
void destroy(pointer p) {
p->~T();
}
// ...other required stuff...
} // end my_stdAllocator
カスタム アロケータは通常、魔法のように機能します。広範囲にテストされており、パフォーマンスが確実に向上し、断片化が制限されます。stl コンテナー (たとえば、ベクター) のアロケーターとして使用すると、この奇妙な動作が発生します。正常に動作することもあれば、segfault エラーでクラッシュすることもあります。
例を挙げると、次のベクトルで適切に割り当ておよび解放されますchar
。
typedef char TP;
int main(int argc, char* argv[]) {
std::vector<TP, my_stdAllocator<TP> > vec;
std::string s ("Whatever string, no matter how long...");
std::string::iterator it;
for (it=s.begin(); it<s.end(); ++it)
vec.push_back(*it);
...
ベクター内に「手で」数値をプッシュする場合は問題ありません
typedef double TP;
int main(int argc, char* argv[]) {
std::vector<TP, my_stdAllocator<TP> > vec;
// "manual" push_back
vec.push_back(3.2);
vec.push_back(6.4);
vec.push_back(9.6);
vec.push_back(12.8);
vec.push_back(15.1);
vec.push_back(18.3);
vec.push_back(21.5);
...
ループを介して要素を挿入すると、セグメンテーション違反で停止します。
typedef int TP;
int main(int argc, char* argv[]) {
std::vector<TP, ff_stdAllocatorInst<TP> > vec;
for(unsigned int i=0; i<size; ++i)
vec.push_back( (TP) i );
...
少なくとも特定の数の要素のためにスペースを予約する場合、それは魅力のように機能します:
typedef int TP;
int main(int argc, char* argv[]) {
std::vector<TP, ff_stdAllocatorInst<TP> > vec;
vec.reserve(size);
for(unsigned int i=0; i<size+150; ++i)
vec.push_back( (TP) i );
...
上記の segfault は、次のような新しいプレースメントを使用する場合には発生しないことに注意してください。
void *p = MYAllocator::instance()->malloc(size);
std::vector<TP> *vec = new (p) std::vector<TP>
for(unsigned int i=0; i<size; ++i)
vec->push_back( (TP) i );
...
既に述べたように、カスタム アロケータはテスト済みで、正常に動作します。私のクラスは、C++ 標準とカスタム アロケータの間の単純なインターフェイスです。gdb を使用してデバッグしようとしましたが、役に立ちませんでした。基礎となるアロケーターは問題ありません。コードに間違いがあるはずですが、何が問題なのか理解できません。