所谓空接口就是没有方法集，以至于任何类型都可实现它，换言之，也就是空接口可以保存任意类型的值。

如果Type是具体某个类型，类型断言会检查 varl的动态类型是否等于具体类型 Type。如果检查成功，类型断言返回的结果是 varl 的动态值，其类型是 Type。 - 如果 Type 是接口类型，类型断言会检查 varl 的动态类型是否满足