关于 spaceship operator 的翻译