export bei Templates

ChrisM

Hi,

wird export von Microsoft Visual C++ .net 2003 Prof unterstützt oder gibt es das immer noch quasi nur in der Theorie?

Ich habe nämlich das Problem, dass ich ein Vectortemplate (also einen mathematischen Vector, nicht eine Liste) habe, das mit verschiedenen Datentypen (int, float, double) arbeiten soll. Nun möchte ich aber das Template nicht beim Projekt mitliefern, also wie bei einer normalen Klasse nur den Header.

Mir würde es auch genügen, wenn einfach die drei Templateinstanziierungen für int, float und double erstellt werden, es werden keine weiteren gebraucht!

ChrisM

Shade Of Mine

den source code musst du immer mit liefern, auch bei export.

und export wird vom VC++ .NET 2003 nicht unterstuetzt.

ChrisM

Und wie geht es trotzdem anders?

Kann ich dem Compiler nicht sagen, dass er einfach das Template dreimal instantiieren soll und keine weiteren Instantiierungen erlauben soll? Die drei entstehenden Klassen kann er dann ja getrennt in den DLL schreiben...

ChrisM

Shade Of Mine

wenn du nur 3 instanzen brauchst, dann mach es mit copy&paste

ein template ist nur dann ein template wenn es zur compiletime ausgewertet wird. das ist aber nicht gegeben wenn das template nicht im source code vorliegt.

export ist nur dafuer da um eine trennung zwischen interface und implementation zu erhalten.

deshalb gibts auch kaum einen compiler der export unterstuetzt, weil es ein feature ist, ohne dem man sehr gut leben kann.

HumeSikkins

Kann ich dem Compiler nicht sagen, dass er einfach das Template dreimal instantiieren soll und keine weiteren Instantiierungen erlauben soll?

Sicher.
Du packst die Klassendefinition in eine h-Datei:

// in h-Datei
template <class T>
struct Foo
{
public:
    void bla();
// ...
};

Baust dir eine cpp-Datei in der du die Methoden definiertst und die Klasse dreimal explizit instanziierst:

// in cpp-Datei
#include "foo.h"
template <class T>
void Foo<T>::bla() {}

// Instanziieren für int, double, float
template class Foo<int>;
template class Foo<double>;
template class Foo<float>;

Compilierst das ganze zu einer Objekt-Datei oder Bibliothek und lieferst von nun an nur den Header mit.

Jeder der jetzt versucht das Template mit einem anderen Typen zu instanziieren, wird einen Linkerfehler erhalten.

HumeSikkins

Achso, falls du einen Compilezeit-Schutz haben willst, wird's natürlich ein klein bischen komplizierter. Imo lohnt der Aufwand aber auch nicht.

ChrisM

Danke, wird getestet!

ChrisM

PeterTheMaster

was ist ein "Compilezeit-Schutz "?

HumeSikkins

was ist ein "Compilezeit-Schutz "?

Ich sage:

Foo<Bar> fooBar;

Der Compiler sagt:
Concept-Check-Error: Foo kann nicht mit Bar instanziiert werden.

Oder auch:
Static-Assert-Error: Foo<Bar> ungültiger Typ.

Oder wie auch immer. Halt ein Fehler, der bereits durch den Compiler ausgespuckt wird.

ChrisM

So, hab das jetzt auf deine Weise bei Vector3, Matrix44 und Rect implementiert. Da hat meine DLL doch gleich mal ca. 100 Exporte mehr

Aber das mit dem Compilezeit-Schutz hab ich auch noch nicht verstanden, wenn ich versuche, Foo z.B. mit char zu initiieren, kriege ich doch dann auch gleich vom Linker einen nicht aufgelösten Verweis, oder?

Wenn ich wirklich vom Compiler einen Fehler will, muss ich doch dann nur sowas machen, oder?
-> http://www.zfx.info/DisplayThread.php?TID=8446

ChrisM

PeterTheMaster

eben, linker. die sind meist wesentlich raetselhafter als compiler errors.

HumeSikkins

Wenn ich wirklich vom Compiler einen Fehler will, muss ich doch dann nur sowas machen, oder?

Konzeptionell ja. Der Code dort ist allerdings nicht Standard konform.

Wieso?

ChrisM

HumeSikkins

Wieso?

Spezialisierungen sind nur im Namespace-Scope erlaubt. Nicht im class-Scope.
Außerdem redeklariert er T im inneren Scope. Das ist bei Templateparameter auch nicht zulässig.