¿Por qué iostream define una función abs y cómo puedo detenerla?

Question

código

La siguiente C++ no se compila:

int main() { 
    double a = abs(5.1); 
    return 0; 
} 

Se queja de que abs no está definido, por supuesto. Pero el siguiente compila:

#include <iostream> 

int main() { 
    std::cout << abs(5.1) << std::endl; 
    std::cout << abs(-5.1) << std::endl; 
    return 0; 
} 

Emite dos 5 (no 5.1). Esto es malo por muchas razones. En primer lugar, abs es una función tan natural y común que la utilizo todo el tiempo, pero la parte int casi nunca es lo que deseo devolver. En segundo lugar, es demasiado fácil para mí (o para las personas que usan mi código) escribir abs y no darme cuenta de que compila, pero hace lo incorrecto, porque soy (son) realmente buenos para pasar por alto las advertencias. En tercer lugar, simplemente no entiendo por qué iostream molesta la definición de una función abs de todos modos. En cuarto lugar, I realmente no entiendo por qué entra en el espacio de nombres global.

¿Hay alguna manera de evitar que esta objetable función abs entre en mi espacio de nombres global?

si importa, estoy usando

gcc version 4.2.1 (Based on Apple Inc. build 5658) (LLVM build 2335.6) 

Answer 1

Lo más probable es iostream incluye stdlib.h hacer parte de su trabajo. Esta es la versión C del encabezado que declara abs para int solo en el espacio de nombres global (en C tenía que usar fabs para los valores double).

No estoy al tanto de ninguna manera específica para mantener abs se incluya esa manera, pero sí sé que g ++ 4.5 es mucho mejor en no tener exceso de material traído por básica incluye como iostream y string.

También es posible recibir una advertencia de que el doble está siendo truncado a int (EDITAR: sí, use -Wconversion para advertir).

Answer 2

En C, incluido un encabezado estándar fue no permitido actuar como si incluyera cualquier otro encabezado estándar. Esto evitó el problema que está viendo, a un costo considerable en la implementación de la dificultad.

C++ permite que cualquier encabezado estándar incluya cualquier otro encabezado estándar. Esto hace que la implementación sea considerablemente más fácil, pero puede llevar exactamente al tipo de problema que está viendo, donde incluir un encabezado aparentemente no relacionado ha hecho visible una función que realmente no quería usar, en lugar de obtener un error porque la función Usaste no está declarado en absoluto.

Desafortunadamente, no creo que haya una manera fácil de lidiar con esto. Aunque es bastante fácil imaginar que <iostream> sea independiente de <stdlib.h>, es mucho más fácil ver cómo podría necesitar/querer definiciones de cosas como ios_base. Tomaría bastante trabajo extra definir las cosas para prohibir lo primero mientras se permite lo último.

Debo mencionar, sin embargo, que con el tiempo esta situación parece estar mejorando bastante. Hace diez años, era bastante común que virtualmente todos los encabezados estándar incluyeran casi a cualquiera de ellos. Aunque la mayoría aún incluye al menos algunos que no son estrictamente necesarios, en general están mucho más cerca de que cada uno defina solo lo que se requiere.

Answer 3

Si se trata de un problema de mantenimiento continuo, ¿por qué no agregar un pequeño código al comienzo del programa que comprueba específicamente el problema abs()?

// test if abs() is defined incorrectly, as would happen if <stdlib.h> were 
// included by <iostream>. abs() it should return a float/double, not an int 
// (put suggestions here how to fix problem) 
if (abs(-5.1) == 5) 
{ 
    std::cerr << "Invalid build: abs() defined improperly, ..." << std::endl; 
    return 2; // exit program by returning from main 
} 

Eso hará que sea mucho más difícil que las advertencias sean pasadas por alto.