Vorlagenspezialisierung für private Typen

Question

Ich habe einen generischen Algorithmus, der auf die Eigenschaften seines Vorlagentyps zugreifen muss. Es gibt eine Merkmalklasse, die auf die Bereitstellung dieser Merkmale spezialisiert sein kann.

Wenn ich diesen Algorithmus innerhalb meiner Klasse verwende, möchte ich ihn mit einem privaten Typ verwenden, der in der Klasse definiert ist.

Spezialisierung kann jedoch nur innerhalb von namespace oder einem globalen Bereich erfolgen, auf den meine Klasse nicht zugreifen kann.

class A 
{ 
    struct Secret 
    {}; 
}; 

template <typename T> struct Trait {}; 

// Inaccessible type ----vvvvvvvvv 
template <> struct Trait<A::Secret> // Specialize for PRIVATE type A::Secret 
{ 
    A::Secret magic_value() { return{}; } // ERROR: 'A::Secret': cannot access private struct declared in class 'A' 
}; 

Ist es möglich, eine Vorlage mit einem privaten Typ zu spezialisieren, zumindest in Bereichen, in denen dieser Typ zugänglich ist?

Vielleicht ist es möglich, die Spezialisierung eine friend Klasse zu deklarieren?

Answer 1

Sie könnten Klassenvorlage Trait der Freund der Klasse A über template friend declaration machen.

template <typename T> struct Trait {}; 
class A 
{ 
    struct Secret 
    {}; 

    template <typename T> 
    friend struct Trait; 
}; 

Oder auf die volle Spezialisierung der A::Secret verweisen.

template <typename T> struct Trait {}; 
class A 
{ 
    struct Secret 
    {}; 

    friend struct Trait<A::Secret>; 
};