C++/CLI: differenze tra le versioni

Versione delle 11:45, 29 mag 2019

Versione delle 19:08, 21 nov 2020

Riga 6:

C++/CLI è concepito come un linguaggio a sé stante, (ad esempio con un nuovo insieme di parole chiave), a differenza del Managed C++ (MC++), che è piuttosto un ''superset'' del C++ in cui le parole chiave non standard erano identifcate con <code>__gc</code> o <code>__value</code>. Di conseguenza, introduce alcune importanti modifiche sintattiche, legate principalmente all'eliminazione di identificatori ambigui e all'aggiunta di funzionalità specifiche NET.

Molte sintassi in conflitto, come le versioni multiple dell'operatore <code>new()</code> in MC++, sono state separate: nel C++/CLI e in . NET i tipi di riferimento vengono creati con la nuova parola chiave <code>gcnew</code> (che sta per ''[[Garbage collection|garbage collected]] new ()''). Inoltre, C++/CLI ha introdotto il concetto dei generici da . NET (simile, per gli scopi più comuni, ai template standard C++, ma molto diversi nella loro implementazione).

===Handles===

In MC++, vi erano due diversi tipi di [[Puntatore (programmazione)|puntatori]]: i puntatori <code>__nogc</code>, essenzialmente ordinari puntatori C++, e i puntatori <code>__gc</code>, usati per i tipi di riferimento . NET. Nel C++/CLI, invece, l'unico tipo di puntatore è il normale puntatore C++, mentre i tipi di riferimento . NET sono accessibili attraverso un ''handle'' usando la nuova sintassi <code>ClassName^</code> invece di <code>ClassName*</code>. Questo nuovo costrutto è particolarmente utile quando il codice contiene insieme codice C++ standard e codice gestito; consente di rendere chiaro quali sono gli oggetti gestiti dal ''garbage collection'' automatico di . NET e quali sono invece gli oggetti che il programmatore deve distruggere in modo esplicito.

===Rintracciamento di riferimenti===

Un '''rintracciamento di riferimenti''' (anche detto tracking references) in C++/CLI è un handle di una variabile passata per riferimento. Come concetto è simile all'utilizzo di <code>*&</code> (riferimento a un puntatore) nel C++ classico, e (nella dichiarazione di funzioni) corrisponde alla parola chiave <code>ref</code> applicata a tipi in C#, o <code> ByRef </code> in . NET. Per indicare un rintracciamento di riferimento il C++/CLI utilizza come sintassi <code>^%</code>.

Un esempio sull'utilizzo del 'rintracciamento di riferimenti' viene mostrato nel codice che segue. Rimpiazzare il rintracciamento di riferimenti con un handle regolare lascerebbe l'array di stringhe risultante con 10 stringhe handles non inizializzate, in quanto sarebbero impostate solamente le stringhe handle nell'array, dato che vengono passate per valore e non per riferimento.

<sourcesyntaxhighlight lang=Cpp>

int main()

{

Riga 29:

return 0;

}

</syntaxhighlight>

</source>

Si noti che in C# tale construtto non sarebbe permesso, dato che non permette il passaggio di valori per riferimento mediante cicli <code> foreach </code>. Pertanto occorrerebbe una soluzione secondaria o temporanea.

Riga 35:

===Finalizzatori e variabili automatiche===

Un'ulteriore differenza con C++/CLI è l'introduzione sintattica di [[finalizzatori]] <code>!ClassName</code>, un tipo speciale di distruttore non deterministico eseguito come parte della [[Garbage collection|garbage collection routine]]. La sintassi dei distruttori classica del C++, quale <code>~ClassName()</code>, esiste anche per oggetti gestiti, e riflette meglio la semantica "tradizionale" del C++ di una distruzione deterministica (di fatto i distruttori possono essere invocati a livello di codice mediante <code> delete </code>.

Nel paradigma . NET naturale, il modello di distruzione non deterministico annulla il metodo protetto <code>Finalize</code> della classe root <code>Object</code>; mentre il modello determinstico è implementato attraverso il metodo <code>Dispose</code> dell'[[interfaccia]] <code>IDisposable</code> (che il compilatore C++/CLI trasforma in un distruttore). Oggetti provenienti da C# o VB.NET, che annullano il metodo Dipose, possono essere posti manualmente in C++/CLI mediante <code>delete</code>, esattamente come le classi . NET in C++/CLI.

<sourcesyntaxhighlight lang=Cpp>

// C++/CLI

ref class MiaClasse{

Riga 58:

}

};

</syntaxhighlight>

</source>

===Operatore di overloading===

Un operatore di overloading (o di sovraccarico) funziona esattamente come nel C++ classico. Ogni * diventa un ^, ogni & diventa un %, con il resto della sintassi completamente invariato, con un'eccezione: per le classi . NET, l'operatore di overloading è instanziabile e invocabile non solo per le classi stesse, ma anche per i riferimenti alle classi. Tale peculiarità è necessaria per dare a ''ref class'' la semantica per l'operatore di overloading che le ''ref classes'' .NET si aspettano (Al contrario, questo significa anche che le ref classes presenti nel framework . NET fanno riferimento operatori di overloading, spesso implicitamente implementati in C++/CLI.

Per esempio, facendo un paragone tra due Stringhe di riferimento (String^) mediante l'operatore == restituirà "true" (vero) a prescindere. Essendo l'operatore di overloading statico, effettuare un cast a Object^ rimuove la semantica di overloading.

<sourcesyntaxhighlight lang=Cpp>

//effetti sulla referenza dell'operatore di overloading

String ^s1 = "abc";

Riga 74:

s1 == s2; // true, perché riferiscono allo stesso oggetto

o1 == o2; // false, perché non sono lo stesso oggetto

</syntaxhighlight>

</source>

==C++/CX==

Riga 92:

* [[Stanley B. Lippman]]: [https://blogs.msdn.com/slippman/archive/2004/08/05/209606.aspx Why C++/CLI Supports both Templates for CLI Types and the CLI Generic Mechanism]

{{DEFAULTSORT:C++ CLI}}

{{Controllo di autorità}}

{{DEFAULTSORT:C++ CLI}}

[[Categoria:Framework .NET]]