Ist es für eine Klasse möglich, ein Parameterpaket verfügbar zu machen?

Question

Ich mache eine Fabrik "M". Ich muss eine Klasse "C" konstruieren. Der Entwickler, der meine Klasse 'M' enthält, möchte 'M :: getInst()' aufrufen können und eine korrekt konstruierte Instanz von 'C' haben.

Zusätzlich möchte ich den Schreiber von 'C' in der Lage sein, mit uns zu arbeiten, indem wir absolut nichts tun, außer einen öffentlichen Konstruktor zur Verfügung zu stellen, und eine einzelne Hilfsmethode, die meiner Klasse 'M' sagt, wie man das findet Konstrukteur.

Ist das möglich? Das Folgende ist das was ich prinzipiell machen möchte. Das Problem ist, dass ich in C++ keine Möglichkeit sehe, die Methode "types()" zu schreiben. Es scheint unmöglich, Typen (sogar einen!) Als Wert zurückzugeben.

struct C { 
    String s; Blob b; 
    C(String a, Blob b) : s(a), b(b) {} 
    typelist types() { 
     return { String, Blob }; 
    } 
}; 

clas M { 
    template<typename T> 
    T* getInst() { 
     return getInst_imp<T::types()>(); 
    }; 

    template<class... Ks> 
    T* getInst_imp() { 
     return T(getValue(Ks)...); 
    } 
}; 

Welche, vom Anwender aufgerufen werden würde, wie:

C* instance = M::getInst<C>(); 

Der Grund dafür ist, dass ‚C‘ wird aus Komponenten aus einem festen Satz von Komponententypen gebaut. Meine Klasse 'M' ist die Autorität, wie man sie initialisiert. Es macht also Sinn, jedes Mal, wenn ein Entwickler ein neues Aroma von C kreieren möchte, alle bestehenden Räder neu zu erfinden? Sie sollten M einfach sagen, welche Komponenten sie brauchen. Aber wie geht das?

Answer 1

Eric Niebler suggests sollte eine Typliste definiert werden als:

// A class template that is just a list of types: 
template <class... T> struct typelist { }; 

, die Sie auf Ihre Klasse aussetzen kann C:

struct C { 
    String s; 
    Blob b; 
    C(String a, Blob b) : s(a), b(b) {} 
    using types = typelist<String, Blob>; 
}; 

Dann können wir einige Techniken aus Erics Tiny Metaprogrammierung Bibliothek ausleihen, um die Typliste zu verwenden, in Ihrer Fabrik:

template<typename T, typename List> 
struct MImpl; 

template<typename T, typename ...Ks> 
struct MImpl<T, typelist<Ks...>> { 
    static T getInst() { 
     return T(getValue<Ks>()...); 
    } 
}; 

class M { 
public: 
    template<typename T> 
    T getInst() { 
     return MImpl<T, typename T::types>::getInst(); 
    } 
}; 

Live demo.

Answer 2

Beste Sie können jetzt tun, ist std::tuple:

using typelist = std::tuple<String, Blob>; 
typelist types() { 
    return typelist(s, b); 
} 

, die je nachdem, was Sie tun, als tuple Literatur besser sein können.