部分には型名のみ使用できます。同じな時に条件成立です。指定の種類の型であれば条件成立となります。意味的に正当な型であれば条件成立です。aliasとして宣言されます。依存しているときは、推論された型へのaliasとなります。時にテンプレート引数型が決定されるのと同様の方法です。同じな時に条件成立です。依存しているときは、推論された型へのaliasとなります。指定の種類の型であれば条件成立となります。可変でない部分だけが含まれます。