发现java.io.File中 list()方法的一个bug

File类中 的一个方法list()

public String[] list()

返回值为String[] 作用是返回一个字符串数组，这个字符串为该File对象的所有子文件名。

jdk对返回值的描述为：

如果不是一个目录（directory），或者发生I/O错误就返回null，如果目录为空数组也为空。

发现的bug：

按照jdk的描述，如果一个文件夹下没有一个文件，即为空目录，则返回一个空的数组。

但在实际使用中却发现返回的是null。

同样的bug可能也发生在

public String[] list(FilenameFilter filter)

public File[] listFiles()
public File[] listFiles(FilenameFilter filter)

不过我没有测试过，应该也有bug的。