<experimental/ranges/concepts>
template< class T > concept bool DefaultConstructible = Constructible<T>;
DefaultConstructible 概念为问题为能否以无实参构造类型时的常见情况提供快捷方式。
DefaultConstructible