параметр пакеты не расширен с «...»

Question

#include <iostream> 
using namespace std; 
int print(int i) 
{ 
    cout<<endl<<i; 
} 


template<typename ...Args> 
inline void pass(Args&&...args) 
{ 

} 

template<typename ...args> 
inline void expand(args&&... a) 
{ 
    print(a) ...; //this doesn't expand 
    //pass(print(a)...); this works 

} 
int main() { 



    expand(1,2,3,4); 

    return 0; 
} 

Он бросает ошибку:

In function 'void expand(args&& ...)': 
error: expected ';' before '...' token 
    print(a) ...; 
     ^
parameter packs not expanded with '...': 
    print(a) ...; 
      ^

Почему использование этой функции „PASS“ необходимо?

Answer 1

По существу, расширение параметр обновления E...производит листE1, E2, [...], EN, один E для каждого элемента в пакете. Эта синтаксическая конструкция действительна только в тех местах, где списки грамматически правильны, например, в вызовах функций, списках инициализаторов и т. Д. Выражение, содержащее несколько операторов запятой, не учитывается.

Я считаю, что с fold expressions (N4295: Folding expressions (Andrew Sutton, Richard Smith)), вы будете иметь возможность просто написать:

(print(a), ...); 

В этом выражении

• print(a) является выражением с нераскрытым параметрами пакетом,
• , является оператором и
• ... desi сглаживает разложение вправо.

Результатом всего выражения является то, что (print(a), ...) будет преобразован в

print(a1) , (print(a2), (print(a3), print(a4))) // (assuming four elements). 

Answer 2

пакета обновления расширений может произойти только в контексте расширения пакета. Это, по существу, является:

• приготовился инициализация
• инициализатор списки
• агрегатной инициализация
• вызовов функций
• инициализацию массива

Из них легче использовать в вашем случае будет правильным Последнее обновление:

#include <iostream> 
using namespace std; 
int print(int i) 
{ 
    cout<<endl<<i; 
    return 0; 
} 

template<typename ...args> 
inline void expand(args&&... a) 
{ 
    using expander = int[]; 
    (void)expander{0, ((void)print(a), 0)...}; 
} 

int main() 
{ 
    expand(1,2,3,4); 

    return 0; 
} 

расширение

Demo