Most vexing parse: differenze tra le versioni

Versione delle 13:05, 10 gen 2017

Versione attuale delle 12:37, 20 dic 2024

(5 versioni intermedie di 5 utenti non mostrate)

Riga 1:

Il '''most vexing parse''' è una forma di soluzione di [[grammatica ambigua|ambiguità sintattica]] del [[C++]], definita nella sezione 8.2 dello standard.<ref name="C++03 8.2">[[International Organization for Standardization|ISO]]/[[International Electrotechnical Commission|IEC]] (2003). ''[[C++#Language standard|ISO/IEC 14882:2003(E): Programming Languages - C++]] §8.2 Ambiguity resolution [dcl.ambig.res]''</ref>, determinata dal fatto che la [[sintassi]] per l'inizializzazione di una variabile è in alcuni casi ambigua con quella di dichiarazione di una funzione. La locuzione ''most vexing parse'' è stata introdotta da [[Scott Meyers]] in ''Effective STL'' (2001).<ref name="effectivestl">{{citeCita booklibro|nome= Scott

|cognome= Meyers

| first = Scott

|wkautore= last =Scott Meyers

| year anno= 2001

| authorlink = Scott Meyers

| title titolo= Effective STL: 50 Specific Ways to Improve Your Use of the Standard Template Library

| year = 2001

|url= https://archive.org/details/effectivestl50sp0000meye

| title = Effective STL: 50 Specific Ways to Improve Your Use of the Standard Template Library

| publisher editore= Addison-Wesley

| isbn = 0-201-74962-9

}}</ref>

Riga 11:

== Esempio con classi e oggetti ==

Il seguente è un esempio di dichiarazione o definizione ambigua:

<sourcesyntaxhighlight lang="cpp">

class Timer {

public:

Riga 28:

return time_keeper.get_time();

}

</syntaxhighlight>

</source>

La riga

<sourcesyntaxhighlight lang="cpp">

TimeKeeper time_keeper(Timer());

</syntaxhighlight>

</source>

potrebbe essere interpretata come

# la definizione di una [[variabile (informatica)|variabile]] {{Code|time_keeper}} di classe {{Code|TimeKeeper}}, inizializzata con un'istanza anonima della classe {{Code|Timer}};

Riga 39:

Lo standard richiede di interpretare questa riga nella seconda maniera, per cui la riga successiva non sarà valida. Ad esempio, [[g++]] restituisce il seguente messaggio di errore:

<sourcesyntaxhighlight lang="console">

$ g++ -c time_keeper.cc

time_keeper.cc: In function ‘int main()’:

time_keeper.cc:15: error: request for member ‘get_time’ in ‘time_keeper’, which is

of non-class type ‘TimeKeeper(Timer (*)())’

</syntaxhighlight>

</source>

in quanto {{Code|time_keeper}} è una funzione dichiarata alla riga precedente, per cui non è possibile chiamare su essa il metodo {{Code|get_time()}}.

Riga 63:

Per fare in modo che l'istruzione venga interpretata come definizione di variabile con inizializzazione, è possibile aggiungere una coppia di parentesi supplementare:

<sourcesyntaxhighlight lang="cpp">

TimeKeeper time_keeper( (Timer()) );

</syntaxhighlight>

</source>

== Esempio con cast funzionale ==

Un altro esempio coinvolge l'uso del cast funzionale, quando viene usato per convertire il valore di un'espressione passata poi come variabile o come parametro di un costruttore

<sourcesyntaxhighlight lang="cpp">

void f(double adouble) {

int i(int(adouble));

}

</syntaxhighlight>

</source>

In questo caso, {{code|i}} viene interpretata come una definizione di funzione, equivalente alla seguente

<sourcesyntaxhighlight lang="cpp">

// takes an integer and returns an integer

int i(int adouble);

</syntaxhighlight>

</source>

Per [[Disambiguazione|disambiguare]] l'espressione affinché venga interpretata come dichiarazione di variabile, si può usare la stessa tecnica dell'esempio precedente, oppure si può sostituire il cast funzionale con un cast in stile C

<sourcesyntaxhighlight lang="cpp">

// declares a variable called 'i'

int i((int) adouble);

</syntaxhighlight>

</source>

oppure si può usare l'opportuno operatore di casting del C++

<sourcesyntaxhighlight lang="cpp">

// declares a variable called 'i'

int i(static_cast<int>(adouble));

</syntaxhighlight>

</source>

== Uniform initialization syntax ==

Lo standard [[C++11]] ha introdotto la ''uniform initialization syntax'' (sintassi di inizializzazione uniforme), che uniforma la sintassi per l'inizializzazione di oggetti o variabili con quella per gli [[array]] e permette di evitare ogni ambiguità con la dichiarazione di funzioni. La riga problematica del primo esempio può essere riscritta come:

<sourcesyntaxhighlight lang="cpp">

TimeKeeper time_keeper{Timer{}};

</syntaxhighlight>

</source>

== Note ==

Riga 111:

* [https://web.archive.org/web/20160709112804/http://www.informit.com/guides/content.aspx?g=cplusplus&seqNum=439 The Most Vexing Parse] by Danny Kalev

* [http://blog.llvm.org/2010/04/amazing-feats-of-clang-error-recovery.html Amazing feats of Clang Error Recovery] LLVM Project Blog

* [httphttps://arstechnica.com/civis/viewtopic.php?f=20&t=767929 C++'s "most vexing parse"] ars technica

* [http://www.stroustrup.com/C++11FAQ.html#uniform-init Uniform initialization syntax and semantics]

{{portale|informatica}}