C++ 11 समारोह डिफ़ॉल्ट तर्क मान के साथ variadic आर्ग

Question

मैं आवरण कि टेम्पलेट समारोह N बार का आह्वान किया है:

template <std::uint16_t N, typename F, typename ... Args> 
inline typename std::result_of<F && (Args &&...)>::type retry_n(F && f, Args&& ... ax) 
{ 
    for (auto i = 0; i < N; ++i) 
    { 
     try 
     { 
      return std::forward<F>(f)(std::forward<Args>(ax)...); 
     } 
     catch (const some_except &e){ /*ignore exception for a while*/ } 
    } 
    throw;//re-raise 
} 

सब कुछ ठीक काम करता है जब तक मैं डिफ़ॉल्ट तर्क के साथ समारोह पारित:

int f(int a, int b, int c = 5); 
.... 
retry_n<10>(f, 1, 2); // error C2198: 'bla-bla' : too few arguments for call 

कैसे स्पष्ट तर्क के बिना डिफ़ॉल्ट तर्क का उपयोग करने के लिए?

Answer 1

एक डिफ़ॉल्ट पैरामीटर फ़ंक्शन हस्ताक्षर का हिस्सा नहीं है, और टेम्पलेट प्रकार की कटौती में भाग नहीं लेता है। इसलिए जब भी आप f से retry_n<> पास करते हैं, तो F का प्रकार int(int, int, int) के रूप में घटाया जाता है, इसलिए स्थानीय f इस बाद के प्रकार का है, और डिफ़ॉल्ट पैरामीटर अब प्रक्रिया से बाहर हैं। आपका एकमात्र समाधान उस फ़ंक्शन का उपयोग करना है जिसे आप सीधे टाइप किए बिना परीक्षण करना चाहते हैं, जैसे @ जोहान्स शैब - लीटब की टिप्पणी में, या यदि आपका कंपाइलर जेनेरिक लैम्बडास (सी ++ 14) का समर्थन नहीं करता है, तो इसे लपेटें {वापसी f (x ...);} एक variadic टेम्पलेट operator()

struct functor 
{ 
    template<typename... T> 
    int operator()(T&&... params) 
    { 
     return f(std::forward<T>(params)...); 
    } 
}; 

और यह रूप में

retry_n<10>(functor{}, 1, 2);