注意size_t的陷阱

在C++中，size_t通常北定义为unsigned long，常被建议用来表示容器的容量或位置。但是要注意，在很多情况下，表示容量或位置，也往往需要有符号整数，例如-1。下面举两个常见的例子。

二分法查找

int search(const int A[], size_t start, size_t end, const int v)
{
    if (end < start)
        return -1;

    int m = start + (end - start) / 2;

    if (A[m] == v)
        return m; 
    else if (A[m] > v)
        return search(A, start, m - 1, v);  //m == 0时，size_t溢出。
    else  
        return search(A, m + 1, end, v);
}

注意，上述程序m = 0时，m - 1为负数，超出了size_t的表示范围，程序会出错。

快速排序

void sort(int A[NUM_ITEMS], size_t start, size_t end)
{
    if (end - start < 1)
        return;

    int left = start, right = end;
    int key = A[left];

    while (left < right)
    {
        while (left < right && A[right] >= key)
            right--;
        A[left] = A[right];

        while (left < right && A[left] <= key)
            left++;
        A[right] = A[left];
    }
    A[left] = key;

    sort(A, start, left - 1); //left == 0时, left - 1溢出
    sort(A, left + 1, end);

}

同理，上述程序left = 0时，left - 1为负数，也超出了size_t的表示范围。

上面两个程序，将size_t改成int就可以正常运行了。
因此，我们不应该无脑的使用size_t来表示尺寸或位置，尤其要注意边界条件是否会为负数。