通过断言判断一个数组为空则抛出自定义的异常

在Java中，如果你想通过断言判断一个数组是否为空，并在它为空时抛出自定义的异常，你可以这样做：

首先，你需要定义一个自定义的异常类，比如我们创建一个名为`CustomArrayException`的类，让它继承自`RuntimeException`：

public class CustomArrayException extends RuntimeException {
    public CustomArrayException(String message) {
        super(message);
    }
}

然后，在需要检查数组是否为空的地方，添加断言并处理异常：

public void processArray(int[] array) {
    assert array != null : "数组不能为空";
    
    // 如果数组真的为空，这行代码将不会被执行
    // 因为断言失败会导致抛出异常
    if (array.length == 0) {
        throw new CustomArrayException("数组长度为0");
    }

    // 正常的数组操作...
}

当调用`processArray`方法时，如果传入的是null数组，断言会失败，程序会立即抛出`CustomArrayException`异常，并显示指定的消息。

相关问题

assert检查数组越界

### 使用 `assert` 进行数组越界检查

#### C++

在 C++ 中，可以通过定义辅助函数来利用 `assert` 检查索引是否超出范围。下面展示了一个简单的例子：

#include <iostream>
#include <cassert>

void accessArray(int* array, size_t length, size_t index) {
    // 断言用于验证条件，在调试模式下如果条件不满足则终止程序并给出提示
    assert(index < length && "Index out of bounds");
    
    std::cout << "Accessing element at index " << index << ": " << array[index] << '\n';
}

int main() {
    int myArray[] = {1, 2, 3};
    size_t n = sizeof(myArray)/sizeof(*myArray);

    accessArray(myArray, n, 0); // 正确访问
    accessArray(myArray, n, 3); // 将触发断言失败
    
    return 0;
}

此代码片段展示了如何通过传递数组及其长度到一个辅助函数中，并使用 `assert` 来防止非法访问[^2]。

#### Python

Python 提供了内置的 `assert` 关键字来进行类似的边界检查操作。这里有一个简单实例说明其用法：

def get_item(lst, idx):
    try:
        # 如果idx不在有效范围内，则抛出异常
        item = lst[idx]
    except IndexError as e:
        raise AssertionError(f'Index {idx} is out of range.') from e
        
    return item


if __name__ == '__main__':
    test_list = ['a', 'b', 'c']
    print(get_item(test_list, 1))  # 输出 b
    print(get_item(test_list, 5))  # 抛出AssertionError: Index 5 is out of range.

这段脚本尝试获取列表中的项目，当请求的索引超出了实际大小时会引发自定义的消息[^1].

#### Java

Java 并不像某些其他编程语言那样直接支持 `assert`,但是自从 JDK 1.4 版本以来已经加入了这一特性。默认情况下它处于关闭状态，因此需要显式启用才能生效。下面是有关于怎样实现这一点的例子:

public class ArrayBoundsCheck {

    public static void main(String[] args) {
        Integer[] numbers = new Integer[]{1, 2, 3};

        System.out.println(accessElement(numbers, 0)); // prints 1
        System.out.println(accessElement(numbers, 3)); // triggers assertion error when run with assertions enabled (-ea flag)
        
    }

    private static Object accessElement(Integer[] arr, int i){
        // Enable this line only during development/testing phase by running JVM with '-ea'
        // Otherwise it will be ignored in production environment without any effect on performance
        assert i >= 0 && i < arr.length : "Invalid index value";

        return arr[i];
    }
}

为了使上述代码工作正常，编译和执行该类文件时应加上 `-ea` 参数以开启断言语句的支持[^3].