सी ++ 17 वर्ग टेम्पलेट आंशिक कटौती

Question

Template argument deduction for class templates प्रस्ताव के बारे में मेरी समझ कटौती संदर्भों में टेम्पलेट कार्यों और टेम्पलेट कक्षाओं के व्यवहार को समेकित करना था। लेकिन मुझे लगता है कि मुझे कुछ गलत समझा जाना चाहिए था।

हम इस टेम्पलेट वस्तु है, तो:

template <std::size_t S, typename T> 
test<S, T> helper(T (&input)[S]) { return input; } 

कौन सा नीचे दिखाया गया के रूप में इस्तेमाल किया जा सकता है:

template <std::size_t S, typename T> 
struct test 
{ 
    static constexpr auto size = S; 
    using type_t = T; 

    test(type_t (&input)[size]) : data(input) {} 
    type_t (&data)[size]{}; 
}; 

मैं test वस्तुओं बनाने के लिए वाक्यात्मक चीनी के रूप में एक सहायक समारोह का उपयोग करते हैं:

int main() 
{ 
    int buffer[5]; 

    auto a = helper<5, int>(buffer); // No deduction 
    auto b = helper<5>(buffer);  // Type deduced 
    auto c = helper(buffer);   // Type and size deduced 

    std::cout << a.size << b.size << c.size; 

    return 0; 
} 

उम्मीद के अनुसार 555 आउटपुट के ऊपर कोड। मैं नए संकलक सेटअप का उपयोग कर Wandbox में एक ही कोशिश की है:

int main() 
{ 
    int buffer[5]; 

    test<5, int> a(buffer); // No deduction: Ok. 
    test<5> b(buffer);  // Type deduced: FAILS. 
    test c(buffer);   // Type and size deduced: Ok. 

    std::cout << a.size << b.size << c.size; 

    return 0; 
} 

यह वर्ग टेम्पलेट्स के लिए टेम्पलेट तर्क कटौती की तरह दिखता है केवल सभी मापदंडों, मैं दोनों व्यवहार (सहायक समारोह और वर्ग उम्मीद कर रहा था बात का अनुमान लगाना काम करता है टेम्पलेट) वही होना चाहिए, क्या मैंने कुछ गलत समझा?

---

Wandbox में पिछले compilers availables जीसीसी प्रमुख 7.0.1 201,701 और बजना प्रमुख 5.0.0 (ट्रंक) हैं।

Answer 1

इस उत्कृष्ट trip report Botond Ballo द्वारा से:

सुविधा मूल रूप से प्रस्तावित के रूप में आंशिक कटौती, जहां आप स्पष्ट रूप से टेम्पलेट तर्क के कुछ निर्दिष्ट करें, और बाकी को छोड़ देने का प्रावधान शामिल निष्कर्ष निकाला जा सकता है, यह लेकिन चिंताओं से अधिक खींचा गया था कि यह कुछ मामलों में बहुत भ्रामक हो सकते हैं:

// Would have deduced tuple<int, string, float>, 
// but tuple<int> is a well-formed type in and of itself! 
tuple<int> t(42, "waldo", 2.0f); 

Answer 2

यहां एक विरोधाभास प्रतीत होता है। P0091R3 को देखते हुए, यह स्पष्ट लगता है कि आंशिक रूप से मानकों को निर्दिष्ट की अनुमति दी जानी चाहिए:

हम एक टेम्पलेट नाम एक सरल प्रकार-विनिर्देशक या आंशिक रूप से आपूर्ति की स्पष्ट टेम्पलेट तर्क के साथ के रूप में एक वर्ग टेम्पलेट की चर्चा करते हुए अनुमति देने के लिए प्रस्ताव दो में संदर्भों:

लेकिन वास्तविक मानकों एक ही प्रस्ताव "आंशिक रूप से आपूर्ति की स्पष्ट टेम्पलेट तर्क" को संभालने के लिए एक तरह से प्रदान नहीं करता है में शब्दों। template-name को सरल-प्रकार-विनिर्देशक के रूप में टेम्पलेट तर्क रखने की अनुमति नहीं है।

तो विनिर्देशन के बाद, संकलक का व्यवहार सही प्रतीत होता है।