[LeetCode] Search a 2D Matrix II

题干：
Write an efficient algorithm that searches for a value in an m x n matrix. This matrix has the following properties:
Integers in each row are sorted in ascending from left to right.
Integers in each column are sorted in ascending from top to bottom.
For example,
Consider the following matrix:
[
[1, 4, 7, 11, 15],
[2, 5, 8, 12, 19],
[3, 6, 9, 16, 22],
[10, 13, 14, 17, 24],
[18, 21, 23, 26, 30]
]
Given target = 5, return true.
Given target = 20, return false.

题目解析：这是一道分而治之算法的题目，由题干可知，该题需要的是高效的在一个矩阵中查找是否存在一个数等于target，且这个矩阵每行递增，每列递增，因此我们可以通过使用分而治之的方法进行高效的查找。
首先我们可以比较第一行的最后一个数和target，此时存在三种情况：1.那个数比target大，即意味着target只能存在这个数的左边，即如果以matrix[i][j]表示这个数的话，则需要i –；2.那个数等于target，那么查找成功，直接返回true即可；3.那个数小于target，则意味着target只存在与这个数的下方，即j–。通过这样的一个查找，就可以快速的查找到矩阵中是否存在target，代码如下：

class Solution {
public:
    bool searchMatrix(vector<vector<int>>& matrix, int target) {
        int row_number = matrix.size();
        int col_number = matrix[0].size();
        int i = 0, j = col_number - 1;
        while (i < row_number && j >= 0) {
            if (matrix[i][j] < target) {
                i ++;
            } else if (matrix[i][j] > target) {
                j --;
            } else {
                return true;
            }
        }
        return false;
    }
};

但此时，却出现了runtime error的错误，错误信息提示如下：reference binding to null pointer of type ‘struct value_type’
即如果输入的是空的vector，则出错了，出错原因在于上面有一个没有经过检测便使用的matrix[0]，因此加入了检测以后，便成功AC，改进后代码如下：

class Solution {
public:
    bool searchMatrix(vector<vector<int>>& matrix, int target) {        
        int row_number = matrix.size();
        if (row_number == 0)
            return false;
        int col_number = matrix[0].size();
        if (col_number ==0)
            return false;

        int i = 0, j = col_number - 1;
        while (i < row_number && j >= 0) {
            if (matrix[i][j] < target) {
                i ++;
            } else if (matrix[i][j] > target) {
                j --;
            } else {
                return true;
            }
        }
        return false;
    }
};

由此可见，即便我们有了合适的方法解决某些问题时，还是要注意一些特殊的情况，例如边界，例如空集等，不然很容易导致指针指向错误或者越界的错误，使用这些工具时需要格外小心。