先声明后验证