设计递归函数int countBinary(int n); 用于将非负十进制整数n转换成二进制形式，并返回该二进制数的位数。如十进制数13的二进制形式为1101，位数为4，那么调用countBinary(13)的结果为4。 要求同学们先写出该问题的递归定义式，再设计递归函数。 输入与输出要求： 输入一个非负整数n。输出求得的结果，如输入“13”，输出“4”，占一行。

递归定义式：

当n为0时，countBinary(n) = 1；

当n不为0时，countBinary(n) = 1 + countBinary(n / 2)；

递归函数实现如下：

int countBinary(int n) {
    if (n == 0) {
        return 1;
    }
    return 1 + countBinary(n / 2);
}

其中，当n为0时，二进制数为0，只有一位；当n不为0时，二进制数的位数为n二进制右移一位得到的二进制数的位数加一。