语义错误 - 你的理想型是什么样的?