extern是什么