Sequenzierung unter einer variadische Expansion

Question

Für dieses Nicht-variadische Beispiel:

int  Func1(); 
double Func2(); 
void MyFunc(int, double); 

int main() 
{ 
    MyFunc(Func1(), Func2()); 
    //... 
} 

es ist nicht angegeben, ob Func1() oder Func2() zuerst berechnet wird, nur, dass beide getan werden muss, bevor MyFunc() aufgerufen wird.

Wie funktioniert diese Sequenzierung mit der Erweiterung variadischer Argumente?

template < typename Func, typename ...Args > 
void MyFunc2(Func &&f, Args&& ...a) 
{ 
    int b[] = { f(std::forward<Args>(a))... }; 
    //... 
} 

Lasst uns sagen, dass f ein Funktionsobjekt ist, das seinen Zustand nach dem ersten Aufruf ändert. Will f für jedes Segment von a aufgerufen werden? Mit anderen Worten, wird f auf den ersten Artikel in a 's Liste aufgerufen werden, dann der zweite Artikel, der dritte usw., anstatt nach dem Zufallsprinzip durch die erweiterte Liste zu überspringen? Gibt es das, was wir verwendet haben, um Sequenzpunkte zwischen jedem Gegenstand zu nennen?

Answer 1

Ja, geschweifte Klammern Initialisierungslisten garantieren eine Bewertungsreihenfolge von links nach rechts, während Funktionsaufrufe nicht. So wird MyFunc2 korrekt ablaufen.

Der Wikipedia-Artikel umfasst diese: https://en.wikipedia.org/wiki/Variadic_templates

Gibt es, was wir Sequenzpunkte zwischen jedem Punkt nennen verwendet? Keine

, während es verwendet Komma es Token ist nicht der Komma-Operator.