C++-代码逻辑理解

给定节点值互不相同的二叉排序树的搜索函数，判断以下说法一定正确的是哪一项？