 sizeof(void *)</code>, <code class="computeroutput">pool_allocator&lt;int&gt;</code> and <code class="computeroutput">pool_allocator&lt;void *&gt;</code> will both allocate/deallocate from/to the same pool.</p>
<p>If there is only one thread running before main() starts and after main() ends, then both allocators are completely thread-safe.</p>
<p><span class="bold"><strong>Compiler and STL Notes</strong></span></p>
<p>A number of common STL libraries contain bugs in their using of allocators. Specifically