重构安全类型，增加SafeArr类型