C++ 中的抛出和三元运算符

Question

以下代码可以使用 G++ 4.6.1 进行编译，但不能使用 Visual Studio 2008

return (m_something == 0) ? 
    throw std::logic_error("Something wrong happened") : m_something;

进行编译。事实上，Visual Studio 编译器会发生内部崩溃。

我想知道这是否是标准 C++，为什么它不能用 Visual Studio 编译，但可以用 G++ 编译？

Answer 1

它是标准的C++。条件表达式中的 then/else 表达式中的一个（或两个）允许改为 throw 表达式 (C++98 5.16/2)。

如果 Visual Studio 在编译时崩溃...那似乎很不幸！

Answer 2

Comeau 编译它没有错误（这是我的最小可编译测试用例）：

int main(void)
{
    int x = 17;
    return x ? throw "Something wrong happened" : 5;
}

这是标准允许的很好的证据。事实上，MSVC 崩溃了，而不是因错误而彻底失败。

中得到了修复

R:\>cl ternarythrowtest.cpp
Microsoft (R) 32-bit C/C++ Optimizing Compiler Version 16.00.40219.01 for 80x86
Copyright (C) Microsoft Corporation.  All rights reserved.

ternarythrowtest.cpp
Microsoft (R) Incremental Linker Version 10.00.40219.01
Copyright (C) Microsoft Corporation.  All rights reserved.

/out:ternarythrowtest.exe
ternarythrowtest.obj

此外，它似乎在 VC++ 2010和 x64 版本

R:\>cl ternarythrowtest.cpp
Microsoft (R) C/C++ Optimizing Compiler Version 16.00.40219.01 for x64
Copyright (C) Microsoft Corporation.  All rights reserved.

ternarythrowtest.cpp
Microsoft (R) Incremental Linker Version 10.00.40219.01
Copyright (C) Microsoft Corporation.  All rights reserved.

/out:ternarythrowtest.exe
ternarythrowtest.obj

：如果可能，请升级您的编译器，这远不是 2010 年修复的唯一错误。

Answer 3

来自 C++11 二月草案

§ 5.16/2 如果第二个或第三个操作数的类型为 void（可能是 cv 限定的），则左值到右值 (4.1)、数组到指针 (4.2) 和函数到 -对第二个和第三个操作数执行指针 (4.3) 标准转换，并且应满足以下条件之一：
— 第二个或第三个操作数（但不是两者）是一个 throw 表达式 (15.1)；结果是另一个的类型，并且是纯右值。
— 第二个和第三个操作数的类型均为 void；结果是 void 类型并且是纯右值。 [ 注意：这包括两个操作数都是 throw 表达式的情况。 ——尾注]

看来 throw 算作计算为 void，并且这是允许的。

Answer 4

内部崩溃可以被视为 Visual Studio 的错误。编译器永远不应该因为正在编译的代码而崩溃。

这是三元运算符的一种非常奇怪的用法，在返回之前使用一个简单的 if 是一个更好的习惯用法：

if(m_something == 0)
    throw std::logic_error("Something wrong happened");

return m_something;