MSVC中的C++自定义STL分配器错误？

Question

我觉得在MSVC++中发现了一个错误。或者，也许这是缺乏我的知识，我错过了代码中的东西。我创建了一个自定义分配器：

#include <forward_list> 
#include <iostream> 

template <class T> 
class Allocator 
{ 
    public: 

     typedef std::size_t size_type; 
     typedef std::ptrdiff_t difference_type; 
     typedef T *pointer; 
     typedef const T *const_pointer; 
     typedef T &reference; 
     typedef const T &const_reference; 
     typedef T value_type; 

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

     Allocator() 
     { 
      std::cout << (ptrdiff_t) this << " Allocator()" << std::endl; 
     } 

     Allocator(const Allocator &allocator) 
     { 
      std::cout << (ptrdiff_t) this << " Allocator(const Allocator &allocator)" << std::endl; 
     } 

     template <class U> 
     Allocator(const Allocator<U> &other) 
     { 
      std::cout << (ptrdiff_t) this << " Allocator(const Allocator<U> &other)" << std::endl; 
     } 

     ~Allocator() 
     { 
      std::cout << (ptrdiff_t) this << " ~Allocator()" << std::endl; 
     } 

     pointer allocate(size_type n, std::allocator<void>::const_pointer hint = 0) 
     { 
      std::cout << (ptrdiff_t) this << " allocate()" << std::endl; 
      return (pointer) std::malloc(n * sizeof(T)); 
     } 

     void deallocate(pointer p, size_type n) 
     { 
      std::cout << (ptrdiff_t) this << " deallocate()" << std::endl; 
      std::free(p); 
     } 

     void construct(pointer p, const_reference val) 
     { 
      new (p) T(val); 
     } 

     void destroy(pointer p) 
     { 
      p->~T(); 
     } 
}; 

当我试图使用它的例子是这样的：

Allocator<int> allocator; 
std::forward_list<int, Allocator<int>> memoryPoolList(allocator); 

我得到了下面的一个输出

557863138612 Allocator() 
557863138648 Allocator(const Allocator<U> &other) 
557863137412 Allocator(const Allocator<U> &other) 
557863137412 allocate() 
557863137412 ~Allocator() 
557863137460 Allocator(const Allocator<U> &other) 
557863137460 deallocate() 
557863137460 ~Allocator() 
557863138648 ~Allocator() 
557863138612 ~Allocator() 

如果你仔细看分配功能调用另一个对象并释放（）另一个！而且为什么他们在空的forward_list上执行分配？这也适用于其他容器。在GCC上工作得很好。我会感谢所有的想法！

编辑

我想指出的是，有完全没问题，当我使用malloc和free。但是，如果我的Allocator使用自己的内存管理机制，那么在创建用于释放的对象557863137460之前，您会发现地址为557863137412的对象用于分配。这将无法正常工作。

Answer 1

没有错误。

如果你仔细看看allocate功能被称为不同的对象和deallocate()在另一个！

您正在打印分配器的地址，而不是分配的内存（de）。分配器的副本应该能够释放彼此分配的内存，并且允许实现自由地复制分配器。 （特别是，在这种情况下，它看起来就像是重新绑定前的分配和释放存储的分配。）

而且为什么他们对空forward_list进行分配？

只有当您在调试模式下构建时，您才会看到此内容，其中（除其他外）激活其迭代器调试机器。该机器需要额外的内存，这是在构建容器时分配的，并在销毁容器时释放。