型Tが型Uから代入可能で、かつ代入操作が例外を投げないかを調べる。型Tおよび型Uが完全型であるか、const/volatile修飾された(あるいはされていない)voidか、要素数不明の配列型でなければならない。効果is_nothrow_assignableは、型Tが型Uから例外を投げない保証のもとに代入可能であるならばtrue_typeから派生し、そうでなければfalse_typeから派生する。trueかつ、いかなる例外を投げないならば、例外を投げない代入が可能であると判断される。下に提供されています。