19.5.3 file_t与default_t类型属性