类型兼容性原则