Template Argument Constant Evaluation

1. Warum kann der Compiler „i“ nicht zur Kompilierungszeit auswerten?

Die Auswertung zur Kompilierungszeit erfordert, dass der Wert von „i“ bekannt ist, bevor das Programm ausgeführt wird. Im bereitgestellten Code ist „i“ jedoch eine Schleifenvariable, die sich während der Programmausführung ändert. Der Compiler kann den Wert von „i“ zur Kompilierungszeit nicht ermitteln, da es sich um einen dynamisch zugewiesenen Wert handelt.

2. Kann ich das Ziel erreichen, ohne die API-Schnittstelle zu ändern?

Ja, Sie können die Vorlagenspezialisierung verwenden, um eine rekursive Funktion zu erstellen, die den Bereich der Vorlagenargumente durchläuft. Sie könnten beispielsweise eine Funktion erstellen:

template
void modify_recursive() {
    // Call modify with template argument 'i'
    modify();
    
    // Recursively call modify_recursive with the next template argument
    if (i ();
    }
}

Aufrufen von „modify“ mit einem nicht konstanten Argument

Um „modify“ mit einem Wert aufzurufen, der keine Konstante zur Kompilierungszeit ist, können Sie a verwenden Technik namens Template-Metaprogrammierung. Ein Ansatz besteht darin, eine Vorlagenklasse zu erstellen, die ein Funktionsobjekt als Argument verwendet und es mit dem gewünschten Wert aufruft:

template
struct InvokeWithParam {
    InvokeWithParam(F f, int param) : f(f), param(param) {}
    
    void operator()() { f(param); }
    
    F f;
    int param;
};

Sie können dann eine Instanz von InvokeWithParam als Vorlagenargument übergeben, um Folgendes zu ändern:

int var = 5;
modify();

Dies ruft die Änderungsfunktion mit dem Wert von var auf.