¿Los contenedores estándares C++ 11 son "definitivos"?

Question

Nosotros (deberíamos saber) que los contenedores de biblioteca estándar de C++, incluido std :: string, no están destinados a ser heredados. Pero aún así, C++ 98/03 nos permitió hacerlo incluso si nos estaba llevando a errores.

Ahora que la palabra clave final está disponible, ¿esos contenedores de biblioteca estándar están marcados final para evitar el mal uso de la herencia con ellos?

Si no, ¿por qué es eso?

Answer 1

El LWG discutió este tema en la reciente reunión en Kona, del 6 al 10 de febrero de 2012. Esto es LWG issue 2113.

El LWG decidió marcar LWG 2113 como NAD (no es un defecto), con el fundamento de que el estándar ya está claro que las clases existentes tales como contenedores y std::string no pueden marcarse como finales por la implementación.

La discusión incluyó el hecho de que si bien puede ser desaconsejable derivar de tales clases, es claramente legal hacerlo en C++ 98/03. Y convertirlo en ilegal en C++ 11 sería romper demasiado código.

actualización

En este momento, no hay tipos de bibliotecas en el current working draft están marcados final.

Answer 2

std::string parece no estar marcado como definitivo, como tampoco lo son los otros contenedores.

Supongo que por qué sería que, aunque no se recomienda generalmente derivar de ellos, nadie estaba seguro de cuánto código de trabajo se rompería si estuviera prohibido.

También tenga en cuenta que, por si vale la pena, final no es técnicamente una palabra clave: es un identificador al que se le atribuye un significado especial, pero solo en circunstancias específicas. El código que contenía algo como int final; final = 1; seguirá funcionando. Sin embargo, esto es principalmente para compatibilidad con versiones anteriores; al menos en el código nuevo, es casi seguro que es mejor usar final solo para el significado especial, no como un identificador normal.