Warum sind nicht-template-Spezialisierungen erlaubt sein, in verschiedenen namespaces?

Bitte, sehen, was ich zu tun versuche:

#include <iostream>
namespace first
{
 template <class T>
 class myclass
 { 
  T t;
 public:
  void who_are_you() const
  { std::cout << "first::myclass"; }
 };
}
namespace second
{
 using first::myclass;
 template <>
 class myclass <int>
 {
  int i, j;
 public:
  void who_are_you() const
  { std::cout << "second::myclass"; }
 };
}

Dies ist nicht erlaubt. Könnten Sie bitte klären, warum nicht Spezialisierungen in verschiedenen namespaces, und was sind die möglichen Lösungen? Auch ist es etwas fester in C++0x?

Dies würde mir erlauben, zum Beispiel, sich zu spezialisieren std::max, std::swap, std::numeric_limits usw.. ohne Rückgriff auf nicht definiertes Verhalten durch hinzufügen von etwas zu ::std::?

@AndreyT Hier ist, wie ich dachte, dass ich es verwenden würde:

//my_integer is a class
std::numeric_limits<my_integer>::max(); //specialized std::numeric_limits for my_integer

Kann das getan werden?

  • Als alternative konnte man nicht machen, eine neue Vorlage erbt von der standard?
  • Gemäß §17.4.3.1/1: "kann Ein Programm hinzufügen von template-Spezialisierungen für alle standard-Bibliothek Vorlage-Namensraum std. Eine solche Spezialisierung (vollständige oder teilweise) einer Standardbibliothek der Vorlage der Ergebnisse zu undefiniertem Verhalten, es sei denn, die Erklärung hängt von einer Benutzer-definierten Namen der externen Verknüpfung "und", es sei denn, die Spezialisierung entspricht der standard-Bibliothek Voraussetzungen für die original-Vorlage." So, während es gibt Einschränkungen, die Sie hinzufügen können solche Spezialisierungen zu ::std:: unter den richtigen Umständen.
  • Sarg, dachte ich, etwas hinzuzufügen, würde das Ergebnis ein Undefiniertes Verhalten! würde bitte eine Antwort, die erklärt, wie diese Anforderungen erfüllen?
  • Spezialisiert Vorlage gar nichts hinzufügen, um den namespace und damit nie Probleme verursacht. Effektives C++ empfiehlt sogar, sich zu spezialisieren std::swap.
  • Wie bereits in der Antwort, diese Frage dem standard C++11 geändert wurde der text bezüglich template-Instanziierungen.
InformationsquelleAutor AraK | 2010-06-18
  1. 7

    C++ 2003, §17.4.3.1/1: "kann Ein Programm hinzufügen von template-Spezialisierungen für alle standard-Bibliothek Vorlage-Namensraum std. Eine solche Spezialisierung (vollständige oder teilweise) einer Standardbibliothek der Vorlage der Ergebnisse zu undefiniertem Verhalten, es sei denn, die Erklärung hängt von einer Benutzer-definierten Namen der externen Verknüpfung "und", es sei denn, die Spezialisierung entspricht der standard-Bibliothek Voraussetzungen für die original-Vorlage."

    Als solche, Sie sind berechtigt, sich zu spezialisieren, eine Bibliothek Vorlage und setzen Sie Ihre Spezialisierung im namespace std, solange es hängt davon ab, einen benutzerdefinierten Typ und erfüllt die Anforderungen der ursprünglichen Vorlage.

    Den code, den Sie haben in Ihrer bearbeiteten Frage scheint zu sein, eine Spezialisierung für einen Benutzer-definierten Namen, die (vermutlich), hat externe Bindung, so sollten Sie keine Probleme haben, mit, dass ein Teil der Dinge.

    Bleibt also nur die Anforderung, dass Ihre Spezialisierung erfüllen die Anforderungen der ursprünglichen Vorlage. Für Ihre Art, die meisten von diesen werden wohl die Grenze auf trivial. Der einzige Teil, den ich sehen kann, die möglicherweise nicht offensichtlich ist, dass Sie scheinen zu haben, um eine Spezialisierung für die ganze Vorlage, nicht nur numeric_limits::max(). I. e., Sie haben zu tun, die so etwas wie (Beispiel sollten in der ballpark für eine 128-bit Ganzzahl ohne Vorzeichen):

    namespace std { 
template <>
class numeric_limits<my_integer> {
public:

    static const bool is_specialized = true;
    static T min() throw() { return 0;
    static T max() throw() { return /* 2^128-1 */; } //***
    static const int digits = 128;
    static const int digits10 = 38;
    static const bool is_signed = false;
    static const bool is_integer = true;
    static const bool is_exact = true;
    static const int radix = 2;
    static T epsilon() throw() { return 0; }
    static T round_error() throw() { return 0; }
    static const int min_exponent = 0;
    static const int min_exponent10 = 0;
    static const int max_exponent = 0;
    static const int max_exponent10 = 0;
    static const bool has_infinity = false;
    static const bool has_quiet_NaN = false;
    static const bool has_signaling_NaN = false;
    static const float_denorm_style has_denorm = denorm_absent;
    static const bool has_denorm_loss = false;
    static T infinity() throw() { return 0; }
    static T quiet_NaN() throw() { return 0; }
    static T signaling_NaN() throw() { return 0; }
    static T denorm_min() throw() { return 0; }
    static const bool is_iec559 = false;
    static const bool is_bounded = true;
    static const bool is_modulo = true;
    static const bool traps = false;
    static const bool tinyness_before = false;
    static const float_round_style round_style = round_toward_zero;
};
}

    Durchaus ein paar von denen sind wirklich für die FP-Typen, und ist nicht erforderlich, der aussagekräftig ist für ein integer-Typ; ich glaube, Sie müssen noch umgesetzt werden.

    • Vielen Dank für die Bereitstellung der Antwort. Eine kleine Klarstellung bitte, was gemeint ist, durch die externe Verknüpfung. Wenn meine Bibliothek ist ein header, nur, ist das Verhalten undefiniert?
    • Nein - "externe Bindung" bedeutet meist, es ist nicht 'statisch' oder in einem anonymen Namensraum.
    • Zeug in eine Unbenannte namespace noch hat externe Bindung.
    InformationsquelleAutor Jerry Coffin
  2. 4

    Es die Dinge verkompliziert:

    namespace first
{
  template <class T> class TArray;
}

namespace second
{
  using first::TArray;

  template <class U> class TArray < Node<U> >;
  //                             ^
  //Only there do you realize it's a specialization and not another template
}

    Ich verstehe deine frustration, ich habe oft gewünscht, für die gleiche Sache. Es scheint auf jeden Fall möglich und ich sicherlich nicht kaufen, die logische Gruppierung argument, allerdings muss ich zugeben, dass es noch mehr Aufwand vom compiler Schriftsteller und Parsen von C++ korrekt ist schon schwer genug, wie es steht.

    Vorlagen sind ein bisschen chaotisch in C++ - wenn Sie möchten, meiner Meinung nach, aber dann ist es leicht zu sagen, mit dem Vorteil der Erfahrung und nachdem er gesehen 20 Jahre nutzen 🙂

    • M. Danke. Gute Antwort.
    • Dies ist eigentlich die Frage beantwortet.
    InformationsquelleAutor Matthieu M.
  3. -4

    Warum sollte eine solche Frage selbst entstehen? Ohne zu verstehen, dass es schwierig ist, auch nur ansatzweise zu beantworten.

    Spezialisierung ändert das Haupt-template. Es ist nicht "lösbare" in irgendeiner Weise aus der Hauptvorlage. In gewisser Weise, wie ein high-level-Konzept, es ist immer noch die gleiche Vorlage (obwohl auf einer niedrigeren Ebene ist definiert als eine unabhängige ein). So, aus offensichtlichen Gründen, es ist in dem gleichen Namensraum wie die hauptmaske.

    Sorry, ich kann einfach nicht eine bessere Erklärung, denn ich verstehe nicht, wie solche Fragen entstehen können.

    BTW, was meinst du mit "in anderen namespace"? Sie möchten die Spezialisierung auf ein Mitglied der anderen namespace? Oder Sie möchten Ihre Spezialisierung definiert werden, die in einem anderen namespace in den source-code, aber immer noch ein Mitglied der original-namespace?

    InformationsquelleAutor AnT
Schreibe einen Kommentar