De Objective Caml para C e C++/Construção de tipos: diferenças entre revisões
| [edição não verificada] | [edição não verificada] |
Conteúdo apagado Conteúdo adicionado
Linha 1:
===Conceitos iniciais===
As linguagens C e C++ possuem muitos mecanismos para construir e estruturar dados complexos. Diferentemente dos tipos básicos, onde há uma forte correspondência entre essas linguagens e a linguagem Objective Caml, a construção de tipos complexos em C e C++ é bem diferente daquela provida por Objective Caml. Esse capítulo não aborda a construção de tipos via classes de objetos, que é um paradigma presente nas linguagens Objective Camle e C++, mas que é ausente da linguagem C.
O sistema de tipos de C e C++ é bastante complexo e, em prol da lisibilidade desse texto, algumas aproximações e simplificações foram realizadas. Apresentaremos as seguintes construções para a criação e manipulação de tipos complexos:
* Enumerações correspondem a uma forma muito básica de tipos variantes de Objective Caml.
* Arranjos correspondem aos arranjos de Objective Caml, embora sejam objetos muito mais simples. A linguagem C++ provê, através da sua biblioteca, uma outra implementação de arranjos que tem um nível de abstração mais próximo ao dos arranjos de Objective Caml.
* Registros correspondem aos tipos registros de Objective Caml.
* Ponteiros correspondem às referências de Objective Caml.
* As referências, presentes apenas na linguagem C++, não tem correspondência direta em Objective Caml, embora possam ser simuladas por ponteiros, logo pelas referências de Objective Caml.
* As uniões correspondem aproximadamente aos tipos variantes de Objective Caml, embora não sejam tão práticas para serem manipuladas.
===Tipos enumerados [[Imagem:2de8.png]]===
| |||
![→Tipos enumerados [[Imagem:2de8.png]]](/wiki/De_Objective_Caml_para_C_e_C%2B%2B/Constru%C3%A7%C3%A3o_de_tipos#Tipos_enumerados_Imagem:2de8.png){kind=link}