C++では、throwが式の場合、その型は何ですか？

Question

私はのredditに私の簡単な進出の一つでこれを拾った：

throw "error" 

式です：

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

基本的に、著者はC++であることを指摘しています。これは、実際には、C++標準では、本文と文法の両方でかなり明確に綴られています。しかし、少なくとも私には明らかでないことは、表現のタイプは何ですか？私は「void」を推測しますが、G ++ 4.4.0とコモで実験のビットは、このコードをもたらした：

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 
    } 

内の型ので、コンパイラは// 1では問題がありませんでしたが、// 2にbarfed条件付き演算子は異なります。したがって、式throwのタイプは無効ではないようです。

だから何ですか？

回答があった場合は、標準からの引用文をバックアップしてください。

---

これはスロー表現とどのように条件演算子のお得な情報などthrow式のタイプについてはあまりでないことが判明 - 私は確かに が今日前に約知らなかった何か。回答したすべての人に感謝しますが、特にDavid Thornleyに感謝します。

Answer 1

標準、5.16段落2第一点、「第二又は第三のオペランド（に従って、ただし両方ともではない）はthrow式（15.1）であり、結果はもう一方のタイプのものであり、rvalueです。したがって、条件演算子はthrow式がどのタイプのものであるか気にしませんが、他のタイプを使用します。

実際、15.1のパラグラフ1では明示的に「スロー式はvoid型です。 [expr.cond.2]（条件演算子?:）から

Answer 2

"スロー式はvoid型である"

ISO14882部15

Answer 3

：

第二又は第三のオペランドのいずれかが、その後左辺ツー右辺値、タイプ（おそらくCV-クアリのfi ED）空隙を有する場合、 へのポインタアレイ、及び機能・ツー・ポインタの標準変換が第 第三のオペランドに対して実行され、次のいずれかが成立しなければならない：

- 第二又は第三のオペランド（両方ではない）でありますスロー式。 結果はもう一方の型の値であり、rvalueです。

- 第2オペランドと第3オペランドの両方にvoid型があります。 結果はvoid型であり、rvalueです。 [注意：これには、両方のオペランドがスロー式である場合も含まれます。 - エンドノートは]

ので、//1とあなたはそれらのどれも行いませんので、その場合には、「保有していなければならない、次のいずれかの」違反して、//2で、最初のケースにありました。

template<typename T> 
struct PrintType; 

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

は、基本的にPrintTypeの実装の欠如は、コンパイルエラーレポートが言うようになります：

Answer 4

あなたはタイプのプリンタspit it out for you持つことができ、未定義のテンプレートの

暗黙のインスタンス生成をPrintType<void>

実際に確認できるのはです10式のタイプはvoidです（他の回答に記載されている標準的な引用符は実装固有の結果ではないことを確認していますが、gccは貴重な情報を表示するのに苦労します）