Tại sao abs (phức tạp <int>) luôn trả về 0?

Question

Các mã sau đây với VS2010 in 0, trái với mong đợi của tôi:

#include <complex> 
#include <iostream> 

using namespace std; 

int main(void) 
{ 
    complex<int> z(20, 200); 
    cout << abs<int>(z) << endl; 
    return 0; 
} 

Nó hoạt động tốt khi loại là double.

Answer 1

Theo spec C++ ISO, § 26,2/2:

Hiệu quả của instantiating mẫu complex cho bất kỳ loại khác hơn float, double hoặc long double là không xác định.

Nói cách khác, trình biên dịch có thể thực hiện bất cứ điều gì bạn muốn khi bạn khởi tạo complex<int>. Thực tế là bạn đang nhận được 0 ở đây là hoàn toàn được xác định rõ hành vi từ một quan điểm ngôn ngữ.

Để so sánh - trên ideone's version of gcc, mã này thậm chí không biên dịch. Đó là một lựa chọn hoàn toàn hợp lệ khác.

Hy vọng điều này sẽ hữu ích!

Answer 2

Trên MinGW 4.6.2 nó in 200.

Tuy nhiên, trong C++ tiêu chuẩn ISO phần 26.2.2 Phép:

Hiệu quả của instantiating mẫu complex cho bất kỳ loại khác hơn float, double hoặc long double là không xác định.

Vì vậy, môi trường xây dựng của bạn thể hiện hành vi không xác định cho complex<int>, không trái với tiêu chuẩn.

Là templatetypedef chỉ ra, ideone's C99 compiler (GCC 4.3.4) từ chối biên dịch hoàn toàn.