फ़ॉलबैक वैरिएडिक कन्स्ट्रक्टर - यह क्यों काम करता है?

Question

this question का जवाब देने के लिए एक वैरैडिक फ़ॉरवर्डिंग संदर्भ कन्स्ट्रक्टर बनाने की कोशिश करने के बारे में, जिसे केवल कोई अन्य कन्स्ट्रक्टर वैध नहीं माना जाना चाहिए। यही कारण है, अगर वहाँ था एक:

C(const char*, size_t) { }      // 1 
template <typename... T, ???> C(T&&...) { } // 2 

हम C c1{"abc", 2};, (1) फोन करने के लिए आवश्यक रूपांतरण के बावजूद चाहते हैं, लेकिन C c2{1, 2, 3};, (2) कॉल करने के लिए के रूप में (1) लागू नहीं कर सकते।

मैं निम्नलिखित समाधान का प्रस्ताव:

template <typename... T, 
      typename = std::enable_if_t<!std::is_constructible<C, T&&...>::value> 
      > 
C(T&&...) { } 

और प्रस्तावित द्वारा, मेरा मतलब है, मैं इसे करने की कोशिश की और कहा कि यह वास्तव में काम करता है खोजने के लिए आश्चर्य हुआ। यह संकलित करता है और वही करता है जो मैंने जीसीसी और क्लैंग दोनों के लिए आशा की थी। हालांकि, मुझे की व्याख्या करने के लिए नुकसान हुआ है क्यों यह काम करता है या भले ही यह वास्तव में पर काम करता है और जीसीसी और क्लैंग दोनों ही विशेष रूप से समायोजित होते हैं। क्या यह? क्यूं कर?

Answer 1

आपके कोड के साथ समस्या यह है कि हमने को संदर्भ में तुरंत संदर्भित किया है जहां यह उत्तर गलत है। टेम्पलेट कोड में किसी भी प्रकार की कैशिंग के परिणामस्वरूप बग्स हो सकते हैं - कन्स्ट्रक्टर को कॉल करने के बाद उसी पैरामीटर पर is_constructible प्रिंट करने का प्रयास करें! यह गलत होने की संभावना है।

Live example यह गलत कैसे हो सकता है। ध्यान दें कि पिछली लाइन पर ऐसा करने के बावजूद int& से C का निर्माण नहीं किया जा सकता है।

struct C { 
    C(const char*, size_t) {} 
    template <class... Ts, 
    typename = std::enable_if_t<!std::is_constructible<C, Ts&&...>::value> 
    > 
    C(Ts&&...) { } 
}; 

int main() { 
    int a = 0; 
    C x{a}; 
    std::cout << std::is_constructible<C, int&>{} << '\n'; 
} 

ओह।

मुझे संदेह है कि यह ओडीआर उल्लंघन हो सकता है - is_constructible की दो परिभाषाओं के विभिन्न स्थानों पर विभिन्न प्रकार हैं? या शायद नहीं।

Solution to the original problem that does not have this issue भी पोस्ट किया गया।