कटौती

Question

चलो कहते हैं कि हम इस तरह एक वर्ग टेम्पलेट करते है <int(int)> को छोड़ने का कोई तरीका है क्योंकि एक संकलक ::close के लिए यह जानकारी जान सकता है? टेम्पलेट के "डिज़ाइन" को सहेजने की कोई आवश्यकता नहीं है।

कंक्रीट कार्य के लिए, मुझे कक्षा के एक टेम्पलेट को डिजाइन करने की आवश्यकता है। इस कक्षा के ऑब्जेक्ट्स इस समारोह के लिए निर्माण समय पर एक फ़ंक्शन और पैरामीटर ले सकते हैं और बाद में इस फ़ंक्शन को कॉल कर सकते हैं।

Answer 1

नहीं, आप (वर्तमान में) नहीं कर सकते हैं।

template<typename F, typename... Args> 
A<std::decay_t<F>> make_A (F &&f, Args&&... args) { 
    return {std::forward<F>(f), std::forward<Args>(args)...}; 
} 

सी ++ 17 template argument deduction for class जो आप वास्तव में आप क्या चाहते हैं करने की अनुमति देगा का परिचय देंगे: ऐसा करने का मानक तरीका "make_like" समारोह (जैसे make_pair, make_optional ...) बनाने के द्वारा है।

Answer 2

आप टेम्पलेट वर्ग के तर्कों को छोड़ नहीं सकते हैं, जब तक वे डिफॉल्ट नहीं होते हैं। आप क्या कर सकते हैं एक निर्माता कार्य है जो तर्क को कम करता है और इस तर्क को टेम्पलेट वर्ग में आगे बढ़ाता है, उचित तत्कालता की वस्तु को वापस कर देता है।

template<typename F, typename... Args> 
A<F> make_A(F f, Args&&... args) { 
    return A<F>(f, std::forward<Args>(args)...); 
} 

Answer 3

निर्माताओं के लिए टेम्पलेट पैरामीटर कटौती, सी ++ 17 में की गोद लेने के लिए धन्यवाद, आप सिर्फ लिखने के लिए सक्षम हो जाएगा:

A a(::close, 1); 

इससे पहले, आप बस के लिए एक कारखाने में लिखने के लिए की आवश्यकता होगी आप के लिए कटौती कार्य करें:

template <class F, class... Args> 
A<std::decay_t<F>> make_a(F&& f, Args&&... args) { 
    return {std::forward<F>(f), std::forward<Args>(args)...}; 
} 

auto a = make_a(::close, 1); 

यह एक छोटे से वर्बोज़ है, लेकिन कम से कम आप दक्षता के बारे में चिंता करने की जरूरत नहीं है - क्या यहां RVO करने के लिए धन्यवाद बनाया कोई प्रतियां हो जाएगा।