Este artículo de Josh Lospinoso, actualizado en 2026, aborda una cuestión crucial para desarrolladores que trabajan con C y C++: la incompatibilidad entre ambos lenguajes. Contrario a la creencia popular, C++ no es un superconjunto de C, lo que significa que ciertos constructos válidos en C pueden no serlo en C++, y viceversa. El artículo actualiza un trabajo anterior, considerando los cambios introducidos en los estándares C++20 y C23.
¿Por qué es importante? La compatibilidad entre C y C++ es fundamental en muchos proyectos, especialmente aquellos que involucran bibliotecas o código heredado. Comprender las diferencias evita errores sutiles y problemas de portabilidad. La clave ahora es especificar el 'modo de lenguaje' (C17, C23, C++17, C++20, C++23) al discutir la validez del código, ya que las reglas han evolucionado.
¿Cómo funciona? El artículo detalla varias áreas de incompatibilidad. Por ejemplo, la conversión implícita de void* a punteros de objetos es común en C pero no en C++. El uso de malloc en C++ requiere un manejo cuidadoso de la duración de los objetos, ya que los constructores no se llaman automáticamente. Las inicializaciones designadas, introducidas en C++20, son más restrictivas que en C, requiriendo que los miembros se inicialicen en el orden de declaración y sin mezclas de inicialización posicional y designada. Un cambio significativo con C23 es la uniformización del comportamiento de las funciones sin lista de parámetros, eliminando una fuente de ambigüedad.
Casos de uso y aplicaciones: Este conocimiento es esencial para desarrolladores que trabajan en bibliotecas compartidas entre C y C++, sistemas embebidos, o proyectos que integran código C existente en aplicaciones C++. Por ejemplo, un desarrollador creando una biblioteca C++ que debe ser utilizada por código C necesita estar al tanto de estas diferencias para garantizar la compatibilidad.
Consideraciones: El artículo enfatiza que los cambios en C++20 y C23 no hacen que C++ sea una copia de C. Es crucial evitar asumir que ciertas construcciones de C son válidas en C++. Además, el uso de restrict (un calificador de puntero estándar en C99) o miembros de arrays flexibles (otra característica de C99) son extensiones que deben evitarse para mantener la portabilidad. Finalmente, se recomienda usar enum class en C++ para evitar sorpresas con la conversión implícita de enteros a enumeraciones, común en C.