type[]t＝a.gettypes();