Modifiche recenti - Cerca:

Categorie

Pagine utente

Winzipedia

Uso dell'wiki

modifica il menu

CycloneUsoSpecificatori

Informatica3.CycloneUsoSpecificatori Versioni

Nascondi le modifiche minori - Mostra le modifiche

07/05/2006 ore 15:32 CEST di Andrea - /* Creazione della pagina*/
Aggiunte le linee 1-19:
!! Regole per l'uso degli specificatori in Cyclone:

*@notnull | @

Nei casi in cui il puntatore non possa puntare a null (ricordo che in [[http://cyclone.thelanguage.org/ | Cyclone]] far puntare a 0 un puntatore vietato).

*@fat | ?

Nei casi in cui sia necessaria dell'aritmetica "controllata" sul puntatore (comprende controlli di null check e bound check).


*@numelts(e) | *{e}

Permettono di specificare la lunghezza dell'array puntato in modo statico (quindi in compilazione si sa quanto vale e).


*@zeroterm

Utile per i vettori di tutti quei dati per cui null o 0 sono usati come terminatore. Di default viene usato per i char.
Modifica - Versioni - Stampa - Modifiche recenti - Cerca
Ultima modifica il 07/05/2006 ore 15:32 CEST