8) In cosa consistono gli attributi, le variabili e lo stato nella tecnologia ad oggetti?

Un oggetto è costituito al suo interno da uno stato e da metodi che possono invocarne altri.

Le variabili

• sono scelte a livello di modello
• possono essere tipate o meno
• possono determinare:
  • innestamento oggetti o meno.
  • trattamento dinamico o statico.
  • tipaggio statico o meno.

esempi di ambienti:

• ambienti per lo sviluppo prototipale rapido (Smalltallk).
  • nessun tipo associato alle variabili.
  • controlli di correttezza dinamici.
• ambienti con maggiore controllo (Eiffel, C++).
  • tipo associato alle variabili (ereditarietà).
  • controlli di correttezza statici e dinamici .

Lo stato può:

contenere direttamente oggetti.

si possono creare gerarchie di oggetti.

usare semantica per riferimento.

lo stato contiene puntatori ad altri oggetti.

La creazione di oggetti può essere implicita o esplicita.

Questo ha impatto sulle metodologie di sviluppo e consente punti di vista diversi.

Il concetto di tipo negli ambienti ad oggetti trova una ridefinizione più precisa attraverso il concetto di classe.