Solución:
G ++ parece ser el más popular. Es gratis, portátil y bastante bueno. El puerto de Windows (MinGW) estaba realmente fechado la última vez que lo usé (quizás hace un año).
El compilador Intel C ++ se considera el que genera el código más rápido (sin embargo, se sabe que genera un código SIMD incorrecto para los procesadores AMD). Puede usarlo libremente en GNU / Linux en condiciones bastante restrictivas.
Lo he usado durante algún tiempo y me gustó el hecho de que emite advertencias inteligentes que otros no.
VC ++ se considera a menudo como el mejor IDE de C ++, y por lo que escuché, el compilador también es bastante bueno. Es gratis (como en la cerveza gratis) y, por supuesto, solo está disponible en Windows.
Si está interesado en la programación de Windows, le sugiero este compilador, porque siempre está actualizado y proporciona funciones más avanzadas para este propósito.
Sugeriría VC ++ en Windows, G ++ para otros sistemas operativos. Pruebe la versión gratuita de I ++ usted mismo, para ver si vale la pena el dinero.
¿Hay casos documentados en los que un compilador produjo una salida incorrecta que resultó en una falla del software de misión crítica?
Sí, probablemente, pero yo diría que la mayoría de las veces probablemente sea culpa del programador. Por ejemplo, si alguien no sabe cómo funciona la aritmética de punto flotante, es fácil escribir código no confiable. Un buen programador también debe saber qué está garantizado para funcionar con el estándar C ++ y qué no. El programador también debe saber cuáles son los límites del compilador, por ejemplo, qué tan bien implementa el estándar y qué tan agresivamente lo optimiza.
En primer lugar, qué plataforma está utilizando normalmente dicta qué compiladores utilizar.
En segundo lugar, su pregunta sobre robustez y rendimiento. No estoy seguro de lo que quiere decir con robustez. pero si te refieres a la corrección de los binarios compilados, debo decir que mientras estés usando una versión estable de cualquiera de los compiladores que mencionaste, no vas a tener problemas de “robustez”. Estos compiladores son todos muy maduros y se han utilizado en innumerables proyectos de la vida real. Así que no me preocuparía en absoluto por la robustez.
En cuanto al rendimiento, es difícil de responder porque cada compilador tiene diferentes técnicas de optimización que teóricamente podrían producir un rendimiento diferente. Espero que haya alguien con más conocimientos que yo que pueda contarles sobre esto.
En realidad, dado que los compiladores que mencionó son todos compiladores maduros y de alta calidad, las preguntas que debería hacerse no son qué compilador es más robusto, sino:
- ¿Cuál es el compilador que soporta mi plataforma de destino?
- ¿Cuál es el compilador que funciona bien con mi entorno y herramientas de desarrollo?
- Con qué compilador está más familiarizado mi equipo de desarrollo y los integradores.
Sin embargo, la cuestión de las técnicas de optimización es una cuestión abierta, y no es una cuestión trivial en eso. Espero que algunos puedan arrojar algo de luz al respecto.
Dado que menciona “como parte de un sistema de avión comercial” en un comentario, puede valer la pena mirar los compiladores proporcionados por las empresas que realmente mantienen la certificación en ese espacio u otros espacios de productos críticos para la seguridad. Green Hills Software es uno. Wind River es otro.