用c判断某棵树为二叉排序树非递归

在C语言中，非递归地判断一棵树是否为二叉排序树（BST，Binary Search Tree），可以采用栈的数据结构辅助操作。二叉排序树的特性是每个节点的值大于其左子树中所有节点的值，并小于其右子树中所有节点的值。我们可以从根节点开始，对每个访问的节点做以下检查：

1. 如果当前节点为空，直接返回真，因为空树也是BST。
2. 将当前节点及其左右子节点依次入栈。
3. 当栈不为空时，取出栈顶元素，若它小于当前节点，说明左子树还有待检查；如果大于当前节点，说明右子树有误。如果等于当前节点，则说明不是BST，因为BST不允许相同值的节点。然后继续弹出栈顶节点，直到栈空或者找到正确的子节点。
4. 继续遍历栈顶剩余的节点，直到遍历完所有节点。

以下是伪代码形式的描述：

bool isBST(Node* root) {
    stack<Node*> s;
    Node* current = root;

    while (current != NULL || !s.empty()) {
        while (current != NULL) {
            s.push(current);
            current = current->right; // 遍历右子树
        }
        current = s.top();
        if (current == NULL) return true; // 栈空，说明已检查完整棵树

        int compare = current->val; // 当前节点值
        s.pop();

        if (compare > current->left->val) { // 如果违反BST规则
            return false;
        }
        current = current->left; // 检查左子树
    }

    return true;
}