std :: is_default_constructible <T> lỗi, nếu constructor là tin

Question

Tôi đã sau đoạn

#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"); 
} 

điều kiện không bằng nhau, nhưng điều kiện đầu tiên công trình xây dựng tốt và thứ hai cho lỗi, constructor đó là tư nhân. Trình biên dịch gcc 4.7 ... Vậy, đây có phải là lỗi gcc hay được định nghĩa theo tiêu chuẩn?

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

OK. Từ điều kiện này thực sự bất bình đẳng - chúng ta có thể sử dụng một cái gì đó như thế này

#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

Dù sao, tôi biết, static_assert rằng không nên thất bại, kể từ khi loại được thực sự không mặc constructible/không nothrow constructible. Câu hỏi là: TẠI SAO có lỗi biên dịch, không phải bởi khẳng định tĩnh của tôi?

Answer 1

Trông giống như lỗi trình biên dịch. Hãy xem ví dụ sau của SFINAE (thực hiện tương tự được sử dụng trong type_traits tiêu đề g++ 's)

#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"); 
} 

Các khẳng định thứ hai công trình như mong đợi, chúng ta không thể suy ra Delete loại, kể từ khi lớp học chỉ có một constructor xóa. Nhưng khi trình biên dịch cố gắng suy ra loại Private(), nó cho lỗi: Private::Private() is private. Vì vậy, chúng ta có hai lớp với hàm tạo riêng, nhưng một trong số chúng mang lại lỗi và thứ hai là không. Tôi nghĩ rằng, hành vi này là sai, nhưng tôi không thể tìm thấy xác nhận trong tiêu chuẩn.

P.S. tất cả các mã trình bày được biên dịch bởi clang mà không có bất kỳ lỗi nào.