存在例化