型消去
スマートポインタであり、削除子(デリーター、deleter)として、関数へのポインタや関数オブジェクトを指定できる。削除子の保有に型消去を利用している。
↑ 実際は外部から参照されるときのためにclassファイルのsignatureに型引数、及び型変数の情報が保存されている
↑ Tが型変数の上限の型に置き換えられるためランタイム側で型を切り替えようとしても意味がない
↑ Tが上限の型に読み替えられてコンパイルされる