[C++] Specifiche di eccezione

[GliderKite]

Dato il codice:

void funzione() throw( exception )
{
    ...

    if ( ... )
        throw(exception);

   ....
}

Cosa significa il relativo warning:

- warning C4290: specifica di una funzione C++ ignorata eccetto che per indicare che una funzione non è __declspec(nothrow)


Grazie.

[MacApp]

http://msdn.microsoft.com/en-us/library/sa28fef8.aspx

[MacApp]

Originariamente inviato da MacApp
http://msdn.microsoft.com/en-us/library/sa28fef8.aspx

A function is declared using exception specification, which Visual C++ accepts but does not implement.

[GliderKite]

Originariamente inviato da MacApp

o_O e perchè il Visual C++ si comporta in questo modo?

Cioè perchè interpreta il throw(type) come se fosse un throw(...)?

[MacApp]

Originariamente inviato da GliderKite
o_O e perchè il Visual C++ si comporta in questo modo?

non conosco le strategie commerciali della microsoft.

[MItaly]

Originariamente inviato da GliderKite
o_O e perchè il Visual C++ si comporta in questo modo?

Perché gli specificatori di eccezione, per come sono implementati in C++, sono fondamentalmente inutili e causano l'inserimento di codice per controllare che la funzione non sollevi nessun altro tipo, per cui in VC++ hanno deciso di non stare neanche a perderci tempo ad implementarli.
Se il controllo fosse fatto a compile-time (=> una funzione throw(unqualchetipo) può richiamare solo funzioni throw(unqualchetipo) o throw(), oppure deve comunque uccidere le altre eccezioni dentro a blocchi try) allora potrebbe avere un qualche vago senso, ma sarebbe piuttosto complicato avere una exception-correctness perfetta a compile-time: pensa anche solo a come è una menata avere una const-correctness, figurati mantenere degli specificatori di eccezione perfetti per tutte le funzioni.
Allo stato attuale delle cose, poi l'unica garanzia che danno gli specificatori di eccezioni è a runtime: se dentro la funzione viene sollevata un'eccezione non prevista, il programma viene terminato. Questo fa sì che di fatto ogni funzione con specificatori sia inglobata nell'equivalente di un blocco try che lascia passare le eccezioni contenute nello specificatore e del catchall chiama std::terminate.

Per tutti questi motivi, le exception specifications sono deprecate (paragrafo "Deprecated Exception Specifications, Added noexcept") in C++0x; al loro posto, sarà possibile specificare noexcept nei casi in cui finora si usava throw(). In sostanza, si passa ad una gestione più semplice della questione, per cui si può garantire o che una funzione non sollevi nessuna eccezione (che può essere utile per codice che non può gestire eccezioni o per qualche ottimizzazione da parte del compilatore) o che genericamente può sollevare eccezioni. Un po' come i metodi possono essere const o non const, senza vie di mezzo.

Leggi qui e qui.