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

条件不相等,但第一个条件工作正常,第二个构造给出错误,构造函数是私有的.编译器gcc 4.7 ...那么,这个gcc错误,还是由标准定义？

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应该不会失败,因为类型实际上不是默认的可构造/不可构造的.问题是:为什么存在编译错误,而不是我的静态断言？

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.所以,我们有两个私有构造函数的类,但其中一个给出了错误,第二个 - 没有.我认为,这种行为是错误的,但我在标准中找不到确认.

PS所有关闭的代码由clang编译而没有任何错误.