¿El modismo de pimpl se usa en C#?

Question

Vengo de un fondo de C# y recientemente comencé a aprender C++. Una de las cosas que he encontrado es el idioma pimpl. Hice el desarrollo de C# para algunas grandes empresas, pero nunca lo encontré.

Quizás esto sea incorrecto, pero entiendo que es necesario en C++ debido al uso de archivos de encabezado y ninguna opción de clase parcial.

Pero en C# creamos aplicaciones usando librerías de clase todo el tiempo. Si algo cambiaba en el código de la biblioteca, lo recompilaríamos en un dll y haríamos referencia al nuevo archivo DLL en el proyecto de la aplicación.

Realmente no entiendo por qué no se puede hacer lo mismo con C++. Pimpl solo se ve como un feo truco para mí.

Answer 1

¿Es el idioma pimpl utilizado en C#?

Eso depende de a qué te refieres con este modismo.

La expresión idiomática en cuestión consiste esencialmente en separar los detalles de implementación de un tipo en una clase y el área de superficie pública en una clase contenedora que simplemente se aferra a un puntero a la clase de implementación.

Esto tiene dos ventajas.

Primero, en C++ puede conducir a mejoras en el tiempo de compilación porque los consumidores de la superficie pública solo necesitan analizar el archivo de encabezado que contiene el área de superficie pública; no necesitan analizar el archivo de encabezado que contiene los detalles de implementación.

En segundo lugar, conduce a una separación muy clara de la interfaz de la implementación; la implementación puede cambiar completamente sin que haya ningún impacto sobre el consumidor, porque el consumidor nunca ve los detalles de la implementación.

El primer beneficio es sin importar en C#. El compilador de C# es rápido. (En gran parte, por supuesto, porque el lenguaje fue diseñado para ser rápido de compilar).

El segundo beneficio es de gran utilidad en C#. En C#, la forma idiomática de implementar este patrón sería hacer una clase privada anidada que haga el trabajo "real" y una clase pública que sea solo una fachada con el área de superficie pública.

Una técnica más me gusta en C# es hacer que la clase pública la clase base de de la clase anidada privada, ponga la clase base de un constructor privado para evitar la extensión de terceros, y utilizar el patrón de la fábrica para repartir casos de la clase anidada privada.

Realmente no entiendo por qué no se puede hacer lo mismo con C++.

Luego lo animo a intentar escribir un compilador de C++ que lo haga. O bien logrará crear un compilador de C++ mucho más rápido, o descubrirá por qué no se puede hacer lo mismo en C++. ¡Te beneficias de cualquier manera!

Answer 2

Sí, es (un "truco"). Es causado por un modelo de compilación basado en texto para ANSI C++: el compilador necesita ver la representación textual del código para generar algo útil. No es que tenga que ser así, pero así es como se hace hoy.

Answer 3

Como Eric señaló, la expresión de pimpl tiene dos propósitos. Solo agregaría que el segundo propósito (separar la interfaz y la implementación) es uno de los patrones de diseño de software conocidos: Bridge (también conocido como Handle/Body, creo). Puede leer más al respecto here