標準コンテナのallocator引数の謎

上の作ってて前から疑問に思っていたことが再燃したんですけれど，allocatorってインスタンスごとには状態を持てないことを保証できる（できるというかしないとまずいはず）と思うんですが，なのになぜに標準コンテナのコンストラクタの引数にallocatorが指定できるようになっているのかいまだに不思議なんですね．