型Tは完全型であるか、const/volatile修飾された(あるいはされていない)voidか、要素数不明の配列型でなければならない。効果is_nothrow_default_constructibleは、型Tが例外を投げない保証のもとにデフォルト構築可能であるならばtrue_typeから派生し、そうでなければfalse_typeから派生する。trueの場合に、例外を投げないデフォルト構築が可能であると判断される。has_nothrow_default_constructorも存在する。2012はvoidにおいて、誤ってfalse_typeになっている。2013まではstd::is_default_constructible<int[]>のような要素数の指定がない配列型において、誤ってfalse_typeになっている。下に提供されています。