搜索 "hoare" 的结果