Perché abs (complesso <int>) restituisce sempre zero?

Question

Il seguente codice con VS2010 stampa 0, contrariamente alle mie aspettative:

#include <complex> 
#include <iostream> 

using namespace std; 

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

Funziona benissimo quando il tipo è double.

Answer 1

Secondo le specifiche ISO C++, § 26,2/2:

L'effetto di istanziare modello complex per qualsiasi tipo diverso da float, double o long double è specificato.

In altre parole, il compilatore può fare tutto ciò che desidera quando si crea un'istanza complex<int>. Il fatto che stai ricevendo 0 qui è un comportamento perfettamente ben definito dal punto di vista della lingua.

Per un confronto - su ideone's version of gcc, questo codice non viene nemmeno compilato. Questa è un'altra opzione perfettamente valida.

Spero che questo aiuti!

Answer 2

Su MinGW 4.6.2 stampa 200.

Tuttavia, nella sezione standard C++ ISO 26.2.2:

L'effetto di istanziare modello complex per qualsiasi tipo diverso da float, double o long double è specificato.

Quindi l'ambiente di costruzione presenta un comportamento non definito per complex<int>, che non è conforme allo standard.

Come indicato da templatetypedef, ideone's C99 compiler (GCC 4.3.4) rifiuta di compilarlo del tutto.