Ném và điều hành ternary trong C++

Question

Các mã sau biên dịch với G ++ 4.6.1, nhưng không phải với Visual Studio 2008

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

Sự thật là Studio biên dịch trực quan thực hiện một vụ tai nạn nội bộ.

Tôi muốn biết nếu điều này là tiêu chuẩn C + + và tại sao nó không biên dịch với Visual Studio, nhưng không với G + +?

Answer 1

Đây là tiêu chuẩn C++. Một trong hai (hoặc cả hai) của các biểu thức sau đó/else trong một biểu thức có điều kiện được phép là một biểu thức ném thay thế (C++ 98 5.16/2).

Nếu Visual Studio gặp sự cố khi biên dịch ... có vẻ như không may!

Answer 2

Comeau biên dịch nó mà không có lỗi (đây là trường hợp thử nghiệm tối thiểu compilable của tôi):

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

đó là bằng chứng khá tốt mà nó cho phép theo tiêu chuẩn. Vì vậy, thực tế là MSVC gặp sự cố, thay vì thất bại với lỗi.

Ngoài ra, nó dường như được cố định trong VC++ 2010

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 

và x64 phiên bản:

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 

Nâng cấp trình biên dịch của bạn nếu có thể, đây là xa lỗi chỉ cố định trong năm 2010.

Answer 3

Từ C++ 11 Tháng 2 Dự thảo

§ 5,16/2 Nếu một trong hai thứ hai hoặc thứ ba toán hạng có kiểu (có thể cv-đủ điều kiện) có hiệu lực, sau đó vế trái-to-rvalue (4.1) , chuyển đổi tiêu chuẩn từ điểm đến con trỏ (4.2) và chuyển đổi tiêu chuẩn chức năng sang con trỏ (4.3) được thực hiện trên toán hạng thứ hai và thứ ba, và một trong các điều sau sẽ giữ:
- Toán hạng hai hoặc thứ ba (nhưng không cả hai) là một biểu thức ném (15.1); kết quả là loại của cái kia và là một giá trị.
- Cả toán hạng thứ hai và thứ ba đều có loại void; kết quả là loại void và là một giá trị. [Lưu ý: Điều này bao gồm trường hợp cả hai toán hạng là biểu thức ném. —end note]

Có vẻ như throw được tính là đánh giá thành void và điều này được cho phép.

Answer 4

Lỗi nội bộ có thể được coi là lỗi của Visual Studio. Trình biên dịch sẽ không bao giờ bị lỗi vì mã được biên dịch.

Đây là một cách sử dụng rất lạ của các nhà điều hành ternary, một đơn giản nếu trước sự trở lại sẽ là một thành ngữ nhiều lợi thế:

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

return m_something;