W C++, jeśli rzut jest wyrażeniem, jaki jest jego typ?

Question

Wybrałem to w jednym z moich krótkich wypadów do reddit:

http://www.smallshire.org.uk/sufficientlysmall/2009/07/31/in-c-throw-is-an-expression/

Zasadniczo, autor zwraca uwagę, że w C++:

throw "error" 

jest wyrazem. Jest to dość jasno określone w standardzie C++, zarówno w tekście głównym, jak i gramatyce. Jednak nie jest jasne (przynajmniej dla mnie), jaki jest typ tego wyrażenia? Domyślałem „void”, ale trochę eksperymentować z g ++ 4.4.0 i Comeau dały ten kod:

void f() { 
    } 

    struct S {}; 

    int main() { 
     int x = 1; 
     const char * p1 = x == 1 ? "foo" : throw S(); // 1 
     const char * p2 = x == 1 ? "foo" : f();  // 2 
    } 

Kompilatory nie miałem problemu z // 1 // ale barfed na 2 ponieważ typów w Operator warunkowy jest inny. Tak więc typ wyrażenia throw nie wydaje się być nieważny.

Co to jest?

Jeśli odpowiesz, proszę wykonać kopię zapasową wyciągów za pomocą cytatów ze standardu.

---

To okazało się nie być tak dużo o rodzaju wyrażenia rzutów jak jak warunkowe oferty operator z wyrażeń rzutów - coś, co na pewno nie wiedzieli o przed dzisiaj. Dziękuję wszystkim, którzy odpowiedzieli, ale szczególnie Davidowi Thornleyowi.

Answer 1

Zgodnie z normą, 5,16 ust 2 pierwszy punkt „, drugiego lub trzeciego argumentu (ale nie oba) jest wyrażeniem rzutowania (15.1), wynikiem jest typ drugiego i jest wartością rownową. " W związku z tym operator warunkowy nie dba o to, jaki typ jest wyrażeniem throw, ale po prostu użyje innego typu.

W rzeczywistości 15.1, paragraf 1 mówi wprost "Wyrażenie rzutu jest nieważne".

Answer 2

"Rzut ekspresja jest typu void"

ISO14882 sekcji 15

Answer 3

Z [expr.cond.2] (operator warunkowego ?:)

przypadku albo drugi albo trzeci argument operacji jest typu (ewentualnie CV Quali ed fi) próżnia, a następnie lwartością do RValue, tablica do wskaźnika i funkcji typu na wskaźnik standardowe konwersje są wykonane na drugiej i operandów trzecie i jedną z następujących dysponuje:

- druga lub trzecia operandu (ale nie obydwa) jest wyrażenie rzutowe; Wynik jest typu drugiego i jest wartością r.

- Zarówno drugi, jak i trzeci operand mają typ void; Wynik jest typu void i jest wartością r. [Uwaga: obejmuje to przypadek, w którym oba operandy są wyrażeniami rzutowania.- koniec uwaga]

Tak, z //1 byłaś w pierwszym przypadku, z //2, zostałeś naruszające „jedną z poniższych czynności trzymaj”, ponieważ żaden z nich zrobić w tej sprawie.

Answer 4

Można mieć drukarkę typu spit it out for you:

template<typename T> 
struct PrintType; 

int main() 
{ 
    PrintType<decltype(throw "error")> a; 
} 

Zasadniczo brak wdrożenia do PrintType spowoduje raport o błędach kompilacji powiedzieć:

niejawna instancji o nieokreślonej szablonu PrintType<void>

dzięki czemu możemy faktycznie zweryfikować, że throw wyrażeń jest typu void (i tak, standardowe cytaty wymienione w innych odpowiedziach potwierdzają, że nie jest to wynik specyficzny dla implementacji - chociaż gcc ma problemy z wydrukowaniem cennych informacji)