La separación de interfaz de plantilla y la implementación en C++

Question

Ésta es una pregunta de seguimiento a: Using export keyword with templates

Como se mencionó en las respuestas de las preguntas originales 'exportación' está en desuso en C++ 0x y rara vez con el apoyo de los compiladores incluso para C++ 03. Ante esta situación, ¿de qué manera se pueden ocultar las implementaciones reales en archivos lib y simplemente exponer las declaraciones a través de archivos de cabecera, para que el usuario final pueda saber cuáles son las firmas de la API expuesta pero no tiene acceso al código fuente que implementa la misma?

Answer 1

En la práctica no se puede.

Solo si tiene un cierto conjunto de especializaciones, puede ponerlas en una biblioteca. La plantilla base no puede colocarse allí.

Por otro lado, el uso de exportación no ocultaba la fuente. El compilador aún lo necesitaba para instanciar nuevas clases de la plantilla.

Answer 2

En resumen, no se puede. La palabra clave export fue un intento fallido de lograr algo parecido a las bibliotecas de plantillas que no son de origen (aunque ni siquiera se aproxima al nivel de ofuscación que logra el código binario), y no hay reemplazo en el horizonte.

Answer 3

Una cosa que he notado a menudo es que una buena porción del código de plantilla , no es una plantilla de hecho, y se puede mover a funciones que no sean de plantilla.

También sucede que la especialización de plantilla de función se considera como funciones regulares: puede definirlas en línea (y marcarlas así) o declararlas en un encabezado e implementarlas en un archivo de origen.

Por supuesto, la especialización significa que usted sabe con qué tipo será ejecutado ...

Tenga en cuenta que lo que está pidiendo es algo antitético.

El objetivo de la plantilla es crear un "patrón" para que el compilador pueda generar clases y funciones para una multitud de tipos no relacionados. Si oculta este patrón, ¿cómo espera que el compilador pueda generar esas clases y funciones?

Answer 4

Puede usar la plantilla extern en la mayoría de los compiladores recientes: http://en.wikipedia.org/wiki/C%2B%2B0x#Extern_template

Sin embargo, es imperfecto, ya que sólo se limita instancias de plantilla. La idea es separar la declaración de la plantilla y la implementación en dos archivos separados.

Luego, cuando necesite la plantilla, primero use la plantilla extern para asegurarse de que aún no se haya creado una instancia. Luego, para cada instanciación que necesite (una para std :: vector, otra para std :: vector, etc.), coloque la instanciación en un typedef que estará en una cpp única.

Como hace que el código sea claramente más difícil de entender, no es la mejor solución hasta el momento. Pero funciona: ayuda a minimizar las instancias de plantillas.