类型强制相关论文