programmatisch statische Arrays zum Kompilieren der Zeit in c

Problemeinführung

traditionell können statische Arrays in C zur Kompilierzeit mit fester Fixierung definiert werden. Größenarrays. Für bestimmte Szenarien kann es jedoch wünschenswert sein, Werte zur Kompilierung programmgesteuert zuzuweisen. In diesem Artikel werden Metaprogrammierungstechniken untersucht, um eine solche dynamische Erstellung statischer Arrays zu erreichen.

Frage 1: Werte programmatisch zuweisen

Mithilfe von C 0x -Funktionen können lokale oder Mitglieds -Arrays von Vorlagen aus einem initialisiert werden Variadische Vorlagenargumentliste. Diese Problemumgehung hat Einschränkungen aufgrund einer maximalen Instanziierungstiefe der maximalen Vorlage.

Frage 2: Selektive Wertzustände

, um Werte zum Kompilieren zuzuweisen, kann eine Kombination von variadischen Vorlagen und Metafunktionen verwendet werden. Die Metafunc -Vorlage dient als Parameterpaket, die eine Sequenz von Werten basierend auf ihrem Index erzeugt. Eine Generate_Array -Vorlage kann dann ein Array der gewünschten Größe unter Verwendung der generierten Werte erstellen. }; Vorlage Klasse f & gt; struct generate_array { typedef typeName generate_array_impl :: Ergebnisergebnis; }; Vorlage Klasse F, unsigned ... args & gt; struct generate_array_impl { typedef typeName generate_array_impl :: value, args ...> :: Ergebnisergebnis; }; Vorlage Klasse F, nicht signiert ... Args & GT; struct generate_array_impl :: value, args ... & gt; Ergebnis; }; template & lt; unsigned ... args & gt; Strukturarrayholder { statische konstant unsignierte Daten [sizeof ... (args)]; }; template & lt; unsigned ... args & gt; const Unsigned Arrayholder & lt; args ... & gt; :: data [sizeof ... (args)] = {args ...};

nutzungsbeispiel

template struct MetaFunc { enum { value = index   1 }; };

template class F> 
struct generate_array {
    typedef typename generate_array_impl::result result;
};

template class F, unsigned... args> 
struct generate_array_impl {
    typedef typename generate_array_impl::value, args...>::result result;
};

template

Dieses Beispiel definiert ein statisches Array der Größe 5 mit Werten {1, 2, 3, 4, 5}, die zur Kompilierung der Metafunc Metafunction zugewiesen wurden.