简单类型
初始化
检查值的存在