Standardvorlagenparameter mit Vorwärtsdeklaration

Question

Ist es möglich, eine Klasse, die Standardargumente verwendet, weiter zu deklarieren, ohne diese Argumente anzugeben oder zu kennen?

Zum Beispiel möchte ich eine boost::ptr_list<TYPE> in einer Traits-Klasse deklarieren, ohne die gesamte Boost-Bibliothek in jede Datei zu ziehen, die die Merkmale enthält. Ich mag namespace boost { template<class T> class ptr_list<T>; }, erklären, aber das funktioniert nicht, weil es nicht genau die wahre Klassendeklaration übereinstimmen:

template < class T, 
    class CloneAllocator = heap_clone_allocator, 
    class Allocator = std::allocator<void*> 
    > 
class ptr_list { ... }; 

sind nur meine Optionen mit ihm zu leben oder boost::ptr_list< TYPE, boost::heap_clone_allocator, std::allocator<void*> in meinen Zug Klasse angeben? (Wenn ich die letztere verwendet wird, werde ich auch boost::heap_clone_allocator erklären weiterleiten müssen und umfassen <memory>, nehme ich an.)

Ich habe durch Stroustrup Buch sah, SO, und der Rest des Internets und haben keine gefunden Lösung. In der Regel sind Leute besorgt, dass STL nicht enthalten ist, und die Lösung besteht darin, "nur die STL-Header aufzunehmen". Boost ist jedoch eine viel massivere und Compiler-intensive Bibliothek, also würde ich es lieber auslassen, wenn ich es nicht unbedingt tun muss.

Answer 1

Jede Kompilationseinheit, die Ihre Einrichtung verwendet, die Boost-Elemente vorwärts deklariert, muss die Boost-Header sowieso enthalten, außer in dem Fall, dass Sie bestimmte Programme haben, die den Boost-Teil Ihrer Einrichtung nicht verwenden.

Es ist wahr, dass Sie durch Vorwärts-Deklaration vermeiden können, die Boost-Header für solche Programme einzubeziehen. Aber Sie müssen die Boost-Header manuell hinzufügen (oder haben Sie eine #ifdef) für die Programme, die tatsächlich den Boost-Teil verwenden.

Beachten Sie, dass in einer zukünftigen Boost-Version mehr Standard-Vorlagenparameter hinzugefügt werden könnten. Ich würde von dieser Route abraten. Was ich in Betracht ziehen würde, wenn Ihr Ziel ist, die Zeit für die Kompilierung zu beschleunigen, ist es, eine #define zu verwenden, um anzugeben, ob der Code, der diese Boost-Bibliothek verwendet, deaktiviert werden sollte. Auf diese Weise vermeiden Sie die Vorwärtsdeklaration.

Answer 2

Ich glaube nicht, dass Sie eine Vorlage mit Standardargumenten weiterleiten können, es sei denn, die fragliche Bibliothek hat einen eigenen Forward-Deklarationsheader. Dies liegt daran, dass Sie die Standardargumente nicht neu festlegen können (selbst wenn sie übereinstimmen ... gcc wird weiterhin "error: redefinition of default argument" melden).

So zum besten Wissen und Gewissen der Lösung für die Bibliothek ist eine Vorwärtsdeklaration Kopf Foo_fwd.h zu liefern: wäre

#ifndef INCLUDED_Foo_fwd_h_ 
#define INCLUDED_Foo_fwd_h_ 
template<class T, class U=char> class Foo; // default U=char up here 
#endif 

und dann die vollständige Umsetzung in foo.h:

#ifndef INCLUDED_Foo_h_ 
#define INCLUDED_Foo_h_ 
#include "Foo_fwd.h" 
template<class T, class U> class Foo { /*...*/ }; // note no U=char here 
#endif 

Jetzt könnte Ihr Code auch Foo_fwd.h verwenden ... aber leider, da dieser Ansatz die ursprüngliche Foo.h ändern muss, um die Standardargumente zu entfernen, skaliert dies nicht zu Bibliotheken von Drittanbietern. Vielleicht sollten wir Lobbyarbeit bei der C++ 0x-Crew leisten, um eine gleichwertige Neuspezifikation von Standard-Template-Argumenten zuzulassen, à la typedefs ...?

Answer 3

Nun das gleiche Problem hier. Aber mit STL.

Wenn einer meiner Header z. std :: vector dann muss ich den gesamten Header einschließen. Von diesem Zeitpunkt an wird jedes Mal, wenn ich meinen Header einbeziehe, auch wenn sich mein Quelltext nicht auf std :: vector bezieht, der gesamte Header zusammen mit meinem Header eingefügt. Wenn Sie diese Überschrift an vielen Stellen einfügen, bedeutet dies viel Overparsing.

Also habe ich den std :: vector deklariert und std :: vector * 's benutzt, aber mein Code will wegen der Standardargumente nicht kompilieren. Wenn ich die Standardargumente in meine Kopfzeile lege, dann weigert sich der Compiler aufgrund der Standardargumentation die stl-Kopfzeile zu kompilieren.

In dieser Situation versuche ich eine eigene Vector-Klasse zu erstellen, die den std :: vector anpasst und jeden Methodenaufruf an sie weiterleitet. Wahrscheinlich könnte dies das Problem lösen.

Answer 4

Ja. Standardvorlagenargumente können jederzeit und überall angegeben werden, solange die Deklarationen nicht miteinander in Konflikt stehen. Sie werden schließlich aus den verschiedenen Erklärungen zusammengeführt.

Auch das ist legal:

template< class A, class B, class C = long > 
class X; 

template< class A, class B = int, class C > 
class X; 

template< class A = short, class B, class C > 
class X { }; 

Ein ähnliches Beispiel gegeben in §14.1/10. Entsprechend diesem Absatz verhalten sich Funktionsstandardargumente ähnlich.

Viel Glück auf die Vorwärts-Deklaration, sich selbst zu benehmen und nicht auf alles zu barf!