C# - 5° Lezione

Dopo aver concluso la struttura di una classe nella scorsa lezione; in questa lezione vedremo i tipi di dato base e il passaggio di parametri. I tipi di dati base derivano direttamente dai tipi di dato di Java, dei quali conservano anche il nome, anche la conversione tra tipi di dato, il cosiddetto casting funziona alla maniera di Java. Ci sono invece novità introdotte da C# per quanto riguarda i tipi di dato definiti dall'utente: le struct e le enum.

Struct

Il tipo struct permette di definire nuovi tipi di dati a partire da quelli esistenti: 

{codecitation class="brush: c#; gutter: false;"}

 public struct Persona

  {
     public string Nome;
     public string Cognome;
  }
{/codecitation}
Questa dichiarazione definisce un tipo di dato Persona composto da due variabili di tipo stringa (i cosiddetti membri della struttura); ogni membro deve avere un modificatore di accesso (public, private, ecc.).
Questo perché il tipo struct è molto potente: può essere dotato di un costruttore (che si comporta esattamente come il costruttore di una classe), di proprietà e di metodi. Modifichiamo la struttura Persona aggiungendovi un costruttore e una proprietà che restituisce il nome completo
{codecitation class="brush: c#; gutter: false;"}

 public class Persona

{
   public struct Persona
    {
       public string Nome;
       public string Cognome;
       public Persona(string nome, string cognome)
         {
           this.Nome = nome;
           this.Cognome = cognome;
         }
       public string NomeCompleto
         {
           get { return Nome + " " + Cognome; }
         }
    }
  public static void Main()
    {
       Persona p = new Persona("Giulio", "Rossi");
       System.Console.WriteLine("Ciao " + p.NomeCompleto + "!");
       System.Console.ReadLine();
    }
  public void appoggio1()
   { }
  private void appoggio2()
   { }
  }
{/codecitation}
Nel metodo Main creiamo una persona come se fosse un oggetto, ossia un'istanza della classe. Avremmo potuto anche non usare il costruttore scrivendo così
{codecitation class="brush: c#; gutter: false;"}
Persona p;
p.Nome = "Giulio";
p.Cognome = "Rossi";
{/codecitation}
Ottenendo lo stesso risultato, ovvero la stampa del messaggio "Ciao Giulio Rossi!". Questo è possibile perché i membri Nome e Cognome della struttura sono stati dichiarati public; se, invece, fossero stati definiti private, non sarebbe stato consentito utilizzare le tre istruzioni sopra riportate (si sarebbe ottenuto un errore in fase di compilazione), e l'unico modo lecito di impostare i membri Nome e Cognome sarebbe stato quello di utilizzare il costruttore.
A questo punto è naturale chiedersi quali siano le differenze tra struct e class. La spiegazione è fornita dalla guida in linea: "Il tipo struct è adatto alla rappresentazione di oggetti leggeri [...] Se ad esempio si dichiara una matrice di 1.000 oggetti [classi] Point, si allocherà ulteriore memoria per i riferimenti a ciascun oggetto. In questo caso la struttura risulta meno onerosa". Inoltre una struct può implementare interfacce ma non può ereditare.
Enum
Le enum consentono di associare nomi simbolici a costanti numeriche. Il costrutto deriva dal C++ dove i membri delle enum sono sempre di tipo «int», mentre in C# è possibile indicarne esplicitamente il tipo:
{codecitation class="brush: c#; gutter: false;"}
public enum Citta : byte
{
Roma, Milano, Bologna, Firenze //, ect...
}
{/codecitation}
Questa dichiarazione definisce una enumerazione i cui membri sono di tipo byte. Richiamando il metodo ToString() di una variabile di tipo enum, è possibile ottenere la stringa contenente il nome simbolico del valore corrente. 
{codecitation class="brush: c#; gutter: false;"} 
Citta cit = Citta.Roma;
System.Console.WriteLine("Città selezionata: " + cit.ToString());
{/codecitation}
Ora andiamo a vedere come funziona il passaggio dei parametri ai metodi. I parametri in C# possono essere passati in tre modi: in, out e ref. Queste parole chiave determinano cosa accade alla variabile passata come argomento quando si esce dal metodo.

• in è il tipo di passaggio predefinito: la routine non può modificare la variabile, o, meglio, qualunque modifica della variabile interna al metodo viene persa quando si esce dal suo scope (il tipico passaggio "per valore").
• ref e out sono i classici passaggi di parametro per riferimento. Viene passato il riferimento (il puntatore) alla variabile e non il suo valore, così anche nello scope del metodo si fa riferimento allo stasso oggetto in memoria.
  La differenza tra ref e out è che ref richiede che si inizializzi la variabile prima della chiamata del metodo, mentre con out è sufficiente dichiarare la variabile e passarla senza inizializzazione. In pratica con out è possibile inizializzare intere strutture dati dall'interno di un metodo.

esempio
{codecitation class="brush: c#; gutter: false;"} 
// Se non specificato, il parametro è di tipo in
public void Calcola(int N){ N = 10; }
public void CalcolaOut(out int N){ N = 10; }
public void CalcolaRef(ref int N){ N += 1; }
{/codecitation}
Proviamo a fare un esempio pratico:
{codecitation class="brush: c#; gutter: false;"} 
int i = 7;
Calcola(i);
//All'uscita, i vale ancora 7
{/codecitation}
{codecitation class="brush: c#; gutter: false;"} 
// i è solo dichiarata non inizializzata
int i;
// la passiamo con «out»
CalcolaOut(out i);
//All'uscita, i vale 10
{/codecitation}
{codecitation class="brush: c#; gutter: false;"} 
int i = 7;
CalcolaRef(ref i);
//All'uscita, i vale i + 1 = 8
{/codecitation}