पैरामीटर के साथ विस्तार नहीं पैक '...'

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) ...; 
      ^

क्यों इस "पास" समारोह के उपयोग के लिए आवश्यक है है?

Answer 1

अनिवार्य रूप से, एक पैरामीटर पैक E... का विस्तार एक सूचीE1, E2, [...], EN, एक E पैदा करता है पैक में प्रत्येक तत्व के लिए। यह वाक्य रचनात्मक निर्माण केवल उन स्थानों पर मान्य है जहां सूचियां व्याकरणिक रूप से सही हैं, जैसे फ़ंक्शन कॉल, प्रारंभकर्ता सूचियां इत्यादि। एकाधिक अल्पविराम ऑपरेटरों वाली एक अभिव्यक्ति की गणना नहीं होती है।

मुझे विश्वास है कि fold expressions (N4295: Folding expressions (Andrew Sutton, Richard Smith)) के साथ आप बस लिखने के लिए सक्षम हो जाएगा:

(print(a), ...); 

इस अभिव्यक्ति में,

• print(a) एक अविस्तारित पैरामीटर पैक के साथ एक अभिव्यक्ति है,
• , ऑपरेटर है और
• ... देसी सही गुना विस्तार gnates।

पूरे अभिव्यक्ति का परिणाम है कि (print(a), ...) केवल पैक विस्तार संदर्भों में भी हो सकता है

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

Answer 2

पैक विस्तार के रूप में तब्दील हो जाएगा। ये मूलतः हैं:

• प्रारंभ
• प्रारंभकर्ता सूचियों
• कुल initializations
• समारोह
• सरणी initializations

इनमें से

आसान अपने मामले में उपयोग करने के लिए किया जाएगा कॉल braced अंतिम:

#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