c++ - vector の move ctor が noexcept() を推測しないのはなぜですか?

Question

カスタムアロケータを使用してコンストラクタを移動しても、アロケータの動作からstd::vector推測されないのはなぜですか?noexcept()

これにより、そのようなベクトルをカプセル化するクラスは、一部の s で通常移動できる (他の) ベクトルを形成できなくなります<algorithm>。基になる型が必須要件 (MoveInsertable および DefaultInsertable) を満たしている場合でも。