基本型的定义是什么