std :: is_default_constructible <T> त्रुटि, अगर निर्माता निजी

Question

मैं टुकड़ा

#include <type_traits> 
#include <boost/type_traits.hpp> 

class C { C() { } }; 

int main() 
{ 
    static_assert(!boost::has_trivial_default_constructor<C>::value, "Constructible"); 
    static_assert(!std::is_default_constructible<C>::value, "Constructible"); 
} 

शर्तों में निम्न है बराबर नहीं हैं, लेकिन पहली शर्त ठीक है और दूसरा निर्माण त्रुटि दिखा सकते हैं काम करता है, कि निर्माता निजी है। कंपाइलर जीसीसी 4.7 ... तो, क्या यह जीसीसी बग है, या इसे मानक द्वारा परिभाषित किया गया है?

http://liveworkspace.org/code/NDQyMD $ 5

ठीक है। चूंकि यह स्थिति वास्तव में असमान हैं - हम कुछ इस

#include <type_traits> 
#include <boost/type_traits.hpp> 

class C { private: C() noexcept(false) { } }; 

int main() 
{ 
    static_assert(!boost::has_nothrow_constructor<C>::value, "Constructible"); 
    static_assert(!std::is_nothrow_constructible<C>::value, "Constructible"); 
} 

http://liveworkspace.org/code/NDQyMD $ 24

की तरह वैसे भी, मुझे पता है, कि static_assert विफल रहता है नहीं करना चाहिए, का उपयोग के बाद से प्रकार वास्तव में डिफ़ॉल्ट नहीं कर रहे हैं constructible/constructible nothrow नहीं कर सकते। प्रश्न है: क्यों मेरे स्थिर जोर से संकलन त्रुटि है?

Answer 1

एक कंपाइलर बग की तरह दिखता है। चलो SFINAE के निम्नलिखित उदाहरण देखें (समान कार्यान्वयन g++ के type_traits शीर्षक में प्रयोग किया जाता है)

#include <type_traits> 

class Private 
{ 
    Private() 
    { 

    } 
}; 

class Delete 
{ 
    Delete() = delete; 
}; 

struct is_default_constructible_impl 
{ 
    template<typename T, typename = decltype(T())> 
    static std::true_type test(int); 

    template<typename> 
    static std::false_type test(...); 
}; 

template <class T> 
struct is_default_constructible: decltype(is_default_constructible_impl::test<T>(0)) 
{ 

}; 

int main() 
{ 
    static_assert(is_default_constructible<Private>::value, "Private is not constructible"); 
    static_assert(is_default_constructible<Delete>::value, "Delete is not constructible"); 
} 

दूसरा ज़ोर से काम करता है के रूप में उम्मीद है, हम Delete प्रकार, अनुमान नहीं कर सकते हैं के बाद से वर्ग केवल एक ही नष्ट कर दिया निर्माता है। लेकिन जब संकलक Private() के प्रकार को कम करने का प्रयास करता है, तो यह त्रुटि देता है: Private::Private() is private। तो, हमारे पास निजी कन्स्ट्रक्टर के साथ दो वर्ग हैं, लेकिन उनमें से एक त्रुटि देता है, और दूसरा - नहीं। मुझे लगता है कि यह व्यवहार गलत है, लेकिन मुझे मानक में पुष्टि नहीं मिल रही है।

पीएस किसी भी त्रुटि के बिना क्लैंग द्वारा प्रस्तुत कोड संकलित सभी बंद।