发现从不被定义