为什么函数式语言中allodd[]得到true?