Si reemplazo todos losoperator new firmas que puedo, al menos en las implementaciones que he probado, veo que los contenedores estándar llaman a mis versiones reemplazadas para asignar memoria.

¿Está garantizado por el estándar? Es decir, ¿sería ilegal que una implementación use una versión optimizada que no llame a mis funciones de reemplazo para la memoria subyacente a los contenedores estándar?