Aquí está otra vez C++ (C++ moderno)
C++ es uno de los lenguajes de programación más utilizados en el mundo. Los programas bien escritos de C++ son rápidos y eficaces. El lenguaje es más flexible que otros lenguajes, ya que se puede utilizar para crear una amplia gama de aplicaciones, desde divertidos y emocionantes juegos, para software científico de alto rendimiento, hasta controladores de dispositivos, programas incrustados y aplicaciones cliente de Windows. Durante más de 20 años, C++ se ha utilizado para resolver problemas como estos y muchos otros. Lo que es posible que no sepa es que un creciente número de programadores de C++ han doblado la programación estilo C poco elegante de ayer y han puesto C++ moderno en su lugar.
Uno de los requisitos originales para C++ era la compatibilidad con el lenguaje C. Desde entonces, C++ se ha desarrollado con varias iteraciones, C con clases, la especificación del lenguaje original de C++ y luego las muchas mejoras subsiguientes. Debido a esta herencia, C++ se conoce a menudo como lenguaje de programación multiparadigma. En C++, puede realizar programación puramente de procedimiento de estilo C con punteros sin formato, matrices, cadenas de caracteres terminadas en null, estructuras de datos personalizadas y otras características que pueden ofrecer un gran rendimiento, pero también generar errores y complejidad. Debido a que la programación de estilo C está llena de peligros como estos, uno de los objetivos fundamentales de C++ era que los programas tuvieran seguridad de tipos y fueran más fáciles de escribir, ampliar y mantener. Desde el principio, C++ adoptó paradigmas de programación tales como la programación orientada a objetos. A lo largo de los años, se han agregado características al lenguaje, junto con bibliotecas estándar altamente probadas de estructuras de datos y algoritmos. Estas adiciones son las que han hecho posible el estilo moderno de C++.
En el moderno C++ se destaca lo siguiente:
Ámbito basado en pila en lugar de ámbito de montón o global estático.
Inferencia de tipos automática en lugar de nombres de tipo explícitos.
Punteros inteligentes en lugar de punteros sin formato.
Tipos std::string y std::wstring (vea <string>) en lugar de matrices char[] sin formato.
Contenedores de Biblioteca de plantillas estándar (STL) como vector, list y map, en lugar de matrices sin formato o contenedores personalizados. Vea <vector>, <list> y <map>.
Algoritmos de STL en lugar de los codificados manualmente.
Excepciones, para notificar y controlar errores.
Comunicación entre subprocesos sin bloqueos mediante STL std::atomic<> (vea <atomic>) en lugar de otros mecanismos de comunicación entre subprocesos.
Funciones lambda alineadas en lugar de pequeñas funciones implementadas por separado.
Bucles basados en intervalos para escribir bucles más eficaces que funcionan con matrices, contenedores STL y colecciones de Windows en tiempo de ejecución con la forma for ( for-range-declaration : expression ). Esto forma parte del lenguaje principal. Para obtener más información, vea Instrucción for basada en intervalo (C++).
El propio lenguaje C++ también ha evolucionado. Compare los fragmentos de código siguientes. Este muestra cómo eran las cosas en C++:
// circle and shape are user-defined types
circle* p = new circle( 42 );
vector<shape*> v = load_shapes();
for( vector<circle*>::iterator i = v.begin(); i != v.end(); ++i ) {
if( *i && **i == *p )
cout << **i << “ is a match\n”;
}
for( vector<circle*>::iterator i = v.begin();
i != v.end(); ++i ) {
delete *i; // not exception safe
}
delete p;
Aquí se explica cómo se logra lo mismo en C++ moderno:
#include <memory>
#include <vector>
// ...
// circle and shape are user-defined types
auto p = make_shared<circle>( 42 );
vector<shared_ptr<shape>> v = load_shapes();
for_each( begin(v), end(v), [&]( const shared_ptr<shape>& s ) {
if( s && *s == *p )
cout << *s << " is a match\n";
} );
En C++ moderno, no tiene que utilizar control de excepciones nuevo/eliminar o explícito porque puede utilizar los punteros inteligentes en su lugar. Al utilizar la deducción de tipos auto y la función lambda, puede escribir, endurecer y entender mejor el código. Además, for_each es más limpio, más fácil de usar y menos propenso a errores imprevistos que un bucle for. Puede utilizar código reutilizable con las mínimas líneas de código para escribir la aplicación. También puede hacer que ese código sea seguro para excepciones y seguro para memoria, y que no tenga ninguna asignación/desasignación ni códigos de error que tratar.
El C++ moderno incorpora dos tipos de polimorfismo: en tiempo de compilación (con plantillas) y en tiempo de ejecución (con herencia y virtualización). Puede mezclar las dos clases de polimorfismo para aumentar el efecto. La plantilla STL shared_ptr utiliza métodos virtuales internos para lograr su borrado de tipos aparentemente sin esfuerzo. No obstante, no utilice demasiado la virtualización para el polimorfismo cuando una plantilla sea la mejor opción. Las plantillas pueden ser muy eficaces.
Si viene a C++ desde otro lenguaje, especialmente desde un lenguaje administrado en el que la mayoría de los tipos sean tipos de referencia y muy pocos sean tipos de valor, debe saber que las clases de C++ son tipos de valor de forma predeterminada. No obstante, puede especificarlos como tipos de referencia para habilitar comportamiento polimórfico que admita la programación orientada a objetos. Una perspectiva que puede resultarle útil: los tipos de valor tienen que ver, sobre todo, con el control del diseño y la memoria, mientras que los tipos de referencia tienen más relación con las clases base y las funciones virtuales para admitir el polimorfismo. De forma predeterminada, los tipos de valor se pueden copiar; cada uno tiene un constructor de copias y un operador de asignación de copia. Cuando se especifica un tipo de referencia, se crea la clase que no se puede copiar (se deshabilita el constructor de copias y el operador de asignación) y se utiliza un destructor virtual, que admite el polimorfismo. Los tipos de valor están también relacionados con el contenido que, cuando se copia, proporciona dos valores independientes que se pueden modificar por separado. No obstante, los tipos de referencia están relacionados con la identidad (el tipo de objeto de que se trata) y, por esta razón, a veces se conocen como tipos polimórficos.
C++ está resurgiendo porque la eficacia vuelve a ser lo más importante. Los lenguajes como Java y C# son buenos cuando la productividad del programador es importante, pero cuando la eficacia y el rendimiento son primordiales aparecen sus limitaciones. Para aumentar la eficacia, especialmente en dispositivos de hardware limitado, no hay nada mejor que el moderno C++.
No solo el lenguaje es moderno, las herramientas de desarrollo también lo son. Visual Studio hace que todas las partes del ciclo de desarrollo sean robustas y eficaces. Incluye herramientas de ALM (Administración del ciclo de vida de las aplicaciones), mejoras del IDE como IntelliSense, mecanismos de herramientas fáciles de usar como XAML, compilación, depuración y muchas otras herramientas.
Los artículos de esta parte de la documentación proporcionan instrucciones y procedimientos recomendados para las características más importantes y técnicas de alto nivel para escribir programas modernos de C++.
Compatibilidad con las características de C++11 (C++ moderno)
Duración de objetos y administración de recursos (C++ moderno)
Pimpl para encapsulación en tiempo de compilación (C++ moderno)
Para más información, consulte el artículo de StackOverflow sobre qué giros de C++ quedan desusados en C++11