Секвенирование среди VARIADIC расширения

Question

Для этого не-VARIADIC Например:

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

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

это не указано ли вычисляется первым Func1() или Func2(), так что оба они должны быть сделано до MyFunc() называется.

Как это упорядочение работает с расширением вариационных аргументов?

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

Допустим, что f функция объект, который изменяет свое состояние после его первого вызова. Будет ли вызываться f для каждого сегмента a? Другими словами, будет вызываться f по первому элементу в списке a, затем втором, третьем и т. Д. Вместо случайного пропуска через расширенный список? Есть ли то, что мы использовали для вызова точек последовательности между каждым элементом?

Answer 1

Да, список закрытых списков инициализаций гарантирует порядок оценки слева направо, а вызовы функций - нет. Таким образом, MyFunc2 будет правильно следовать.

Статья Википедии охватывает это: https://en.wikipedia.org/wiki/Variadic_templates

Есть ли то, что мы привыкли называть точек последовательности между каждым элементом?

Нет, в то время как он использует запятой лексемы не оператор запятой.