C++ es un lenguaje de programación diseñado a mediados de los años 1980

por Bjarne Stroustrup. La intención de su creación fue el extender al exitoso lenguaje de

programación C con mecanismos que permitan la manipulación de objetos. En ese

sentido, desde el punto de vista de los lenguajes orientados a objetos, el C++ es un

lenguaje híbrido.

Posteriormente se añadieron facilidades de programación genérica, que se sumó a

los otros dos paradigmas que ya estaban admitidos (programación estructurada y la

programación orientada a objetos). Por esto se suele decir que el C++ es un lenguaje de

programación multiparadigma.

Actualmente existe un estándar, denominado ISO C++, al que se han adherido la

mayoría de los fabricantes de compiladores más modernos. Existen también algunos

intérpretes, tales como ROOT.

Una particularidad del C++ es la posibilidad de redefinir los operadores, y de poder

crear nuevos tipos que se comporten como tipos fundamentales.

El nombre C++ fue propuesto por Rick Mascitti en el año 1983, cuando el

lenguaje fue utilizado por primera vez fuera de un laboratorio científico. Antes

se había usado el nombre "C con clases". En C++, la expresión "C++" significa

"incremento de C" y se refiere a que C++ es una extensión de C.

C++ tiene los siguientes tipos fundamentales:

•Caracteres: char (también es un entero), wchar_t

•Enteros: short, int, long, long long

•Números en coma flotante: float, double, long double

•Booleanos: bool

•Vacío: void

El modificador unsigned se puede aplicar a enteros para obtener números sin signo (por

omisión los enteros contienen signo), con lo que se consigue un rango mayor de

números naturales.

Según la máquina y el compilador que se utilice los tipos primitivos pueden ocupar un determinado tamaño en memoria. La siguiente lista ilustra el número de bits que ocupan los distintos tipos primitivos en la arquitectura x86. Otras arquitecturas pueden requerir distintos tamaños de tipos de datos primitivos. C++ no dice nada acerca de cuál es el número de bits en un byte, ni del tamaño de estos tipos; más bien, ofrece solamente las siguientes "garantías de tipos":

•De acuerdo al estándar C99, un tipo char debe ocupar exactamente un byte compuesto de un mínimo de

8 bits independientemente de la arquitectura de la máquina. •El tamaño reconocido de char es de 1. Es decir, sizeof(char) siempre devuelve 1. •Un tipo short tiene al menos el mismo tamaño que un tipo char. •Un tipo long tiene al menos el doble tamaño en bytes que un tipo short. •Un tipo int tiene un tamaño entre el de short y el de long, ambos inclusive, preferentemente el tamaño de un apuntador de memoria de la máquina. •Un tipo unsigned tiene el mismo tamaño que su versión signed.

Para la versión del estándar que se publicó en 1998, se decidió añadir el tipo de dato wchar_t, que permite el uso de caracteres UNICODE, a diferencia del tradicional char, que contempla simplemente al código de caracteres ASCII extendido. A su vez, se ha definido para la mayoría de las funciones y clases, tanto de C como de C++, una versión para trabajar con wchar_t, donde usualmente se prefija el carácter w al nombre de la función (en ocasiones el carácter es un infijo). Por ejemplo: •strcpy - wstrcpy

•std::string - std::wstring

•std::cout - std::wcout

Cabe resaltar que en C se define wchar_t como: typedef unsigned short wchar_t;

Mientras que en C++ es en sí mismo un tipo de dato.

La palabra reservada void define en C++ el concepto de no existencia o no atribución de un tipo en una variable o declaración. Como tal, puede ser usada para destacar que una función no recibe parámetros, como en:

int funcion (void);

Aunque la tendencia actual es la de no colocar la palabra "void". Además se utiliza para determinar que una función no retorna un valor, como en:

void funcion (int parametro);

Cabe destacar que void no es un tipo. Una función como la declarada anteriormente no puede retornar un valor por medio dereturn: la palabra clave va sola. No es posible una declaración del tipo:

void t; //Está mal

En este sentido, void se comporta de forma ligeramente diferente a como lo hace en C, especialmente en cuanto a su significado en declaraciones y prototipos de funciones. Sin embargo, la forma especial void * indica que el tipo de datos es un puntero. Por ejemplo:

void *memoria;

Indica que memoria es un puntero a alguna parte, donde se guarda información de algún tipo. El programador es responsable de definir estos "algún", eliminando toda ambigüedad. Una ventaja de la declaración "void *" es que puede representar a la vez varios tipos de datos, dependiendo de la operación de cast escogida. La memoria que hemos apuntado en alguna parte, en el ejemplo anterior, bien podría almacenar un entero, un flotante, una cadena de texto o un programa, o combinaciones de éstos. Es responsabilidad del programador recordar qué tipo de datos hay y garantizar el acceso adecuado.

La sobrecarga de operadores es una forma de hacer polimorfismo. Es posible definir el

comportamiento de un operador del lenguaje para que trabaje con tipos de datos

definidos por el usuario. No todos los operadores de C++ son factibles de sobrecargar, y,

entre aquellos que pueden ser sobrecargados, se deben cumplir condiciones especiales.

En particular, los operadores sizeof y :: no son sobrecargables.

No es posible en C++ crear un operador nuevo.

Los comportamientos de los operadores sobrecargados se implementan de la misma

manera que una función, salvo que esta tendrá un nombre especial: Tipo de dato de

devolución operator<token del operador>(parámetros)

Los siguientes operadores pueden ser sobrecargados:

•Operadores de Asignación

•Operador =

•Operador +=

•Operador -=

•Operador *=

•Operador /=

•Operador %=

•Operador <<=

•Operador >>=

•Operador &=

•Operador ^=

•Operador |=

•Operadores Unarios

•Operador * (de indirección)

•Operador -> (de indirección)

•Operador & (de dirección)

•Operador +

•Operador -

•Operador ++

•Operador --

•Operadores Binarios

•Operador ==

•Operador +

•Operador -

•Operador *

•Operador /

•Operador %

•Operador <<

•Operador >>

•Operador &

•Operador ^

•Operador |

•Operador []

•Operador ()

Dado que estos operadores son definidos para un tipo de datos definido por el

usuario, éste es libre de asignarles cualquiera semántica que desee. Sin embargo, se

considera de primera importancia que las semánticas sean tan parecidas al

comportamiento natural de los operadores como para que el uso de los operadores

sobrecargados sea intuitivo. Por ejemplo, el uso del operador unario - debiera cambiar

el "signo" de un "valor".

Los operadores sobrecargados no dejan de ser funciones, por lo que pueden devolver

un valor, si este valor es del tipo de datos con el que trabaja el operador, permite el

encadenamiento de sentencias. Por ejemplo, si tenemos 3 variables A,B y C de un tipo

T y sobrecargamos el operador = para que trabaje con el tipo de datos T, hay dos

opciones: si el operador no devuelve nada una sentencia como "A=B=C;" (sin las

comillas) daría error, pero si se devuelve un tipo de datos T al implementar el

operador, permitiría concatenar cuantos elementos se quisieran, permitiendo algo

como "A=B=C=D=...;"

Los lenguajes de programación suelen tener una serie de bibliotecas de funciones

integradas para la manipulación de datos a nivel más básico. En C++, además de poder

usar las bibliotecas de C, se puede usar la nativa STL (Standard Template Library),

propia del lenguaje. Proporciona una serie plantillas (templates) que permiten efectuar

operaciones sobre el almacenado de datos, procesado de entrada/salida

Las clases basic_ostream y basic_stream, y los objetos cout y cin, proporcionan la entrada y

salida estándar de datos (teclado/pantalla). También está disponible cerr, similar a cout,

usado para la salida estándar de errores. Estas clases tienen sobrecargados los

operadores << y >>, respectivamente, con el objeto de ser útiles en la inserción/extracción

de datos a dichos flujos. Son operadores inteligentes, ya que son capaces de adaptarse al

tipo de datos que reciben, aunque tendremos que definir el comportamiento de dicha

entrada/salida para clases/tipos de datos definidos por el usuario. Por ejemplo:

ostream& operator<<(ostream& fs,const Punto& punto)

{

return fs << punto.x << "," << punto.y;

}

De esta forma, para mostrar un punto, solo habría que realizar la siguiente expresión:

//...

Punto p(4,5);

//...

cout << "Las coordenadas son: " << p << endl;

//...

Es posible formatear la entrada/salida, indicando el número de dígitos decimales a

mostrar, si los textos se pasarán a minúsculas o mayúsculas, si los números recibidos

están en formato octal o hexadecimal, etc.

En C++, cualquier tipo de datos que sea declarado completo (fully qualified, en

inglés) se convierte en un tipo de datos único. Las condiciones para que un tipo

de datos T sea declarado completo son a grandes rasgos las siguientes:

•Es posible al momento de compilación conocer el espacio asociado al tipo de

datos (es decir, el compilador debe conocer el resultado de sizeof(T)).

•T Tiene al menos un constructor, y un destructor, bien declarados.

•Si T es un tipo compuesto, o es una clase derivada, o es la especificación de una

plantilla, o cualquier combinación de las anteriores, entonces las dos condiciones

establecidas previamente deben aplicar para cada tipo de dato constituyente.

En general, esto significa que cualquier tipo de datos definido haciendo uso de

las cabeceras completas, es un tipo de datos completo.

En particular, y, a diferencia de lo que ocurría en C, los tipos definidos por

medio de struct o enum son tipos completos. Como tales, ahora son sujetos a

sobrecarga, conversiones implícitas, etcétera.

Los tipos enumerados, entonces, ya no son simplemente alias para tipos enteros,

sino que son tipos de datos únicos en C++. El tipo de datos bool, igualmente,

pasa a ser un tipo de datos único, mientras que en C funcionaba en algunos

casos como un alias para alguna clase de dato de tipo entero.