编程题：验证宏（verify）
> 而且，我还持有这样的观点：CPP必须被摧毁。
无需惊慌，C++缔造者Bjarne Stroustrup这句话中的CPP指的是**C PreProcessor**，即“C代码预处理器”。CPP根据#include #define #if #pragma等指令对C/C++源代码进行处理，这些处理发生在编译之前，所以叫“预处理器”。CPP完全是文本层面的处理，与C/C++语法无关。
C/C++的标准库提供了assert断言宏，用在程序中检查某些必须成立的条件，确保程序运行符合预期。assert(expr)的参数是一个表达式，如果表达式求值结果相当于false，那么断言失败。断言失败的后果在调试版程序中一般是报错然后中止程序。在定义NDEBUG宏、或VC的Release版时断言将被省略，因此断言的表达式不应进行业务处理。
时间有限，预处理指令我们只练习这一次，实现类似断言但总是启用、失败时不中止程序的验证宏verify。
代码框架如下：
cpp
#include <iostream>
using namespace std;
static void verify_failed(const char* file, int line, const char* expr){
// TODO: 仿照样例格式，在验证失败时输出位置和表达式。
}
// 为使源码行号__LINE__准确，验证宏写在了一行中。也可用反斜线续行。
// 表达式最后特意没加分号，使用时就不至于漏写分号。
// #x用了“Stringize”功能，将x对应的表达式转成字符串。这功能必须用CPP，无法用C++实现。
#define verify(x) if(x){}else verify_failed(__FILE__, __LINE__, #x)
int main(){
verify('A' < 'a');
// TODO: 用预处理指令设置行号和源文件名称
verify(false);
// TODO: 用预处理指令设置行号和源文件名称
verify(1 == 2);
}
#line预处理指令用于设置源码行号和源文件名称。例如：
- #line x 下一行代码中__LINE__宏将设为x。
- #line x "name" 下一行代码中__LINE__宏值为x，__FILE__宏值为name。
- **请使用#line预处理指令和verify宏实现样例的要求。**
#### 输入规格
无。
#### 输出规格
文本。
#### 样例输入
in
#### 样例输出
out
verify failed at z.cpp:5: false
verify failed at a.cpp:3: 1 == 2
#### 样例解释
- 样例输出是固定的文本。也可直接输出过关，但这不是设计目的。
- 这题目的是练习宏定义，掌握断言的用法。verify作为排错工具可以用在今后的C++开发中。
- 验证宏适宜用在多次重复结果等效的表达式上，所谓的**幂等性**。
- 有副作用的表达式不宜用验证宏。反例：verify(++i < 10);
- 检查用户输入是否合理不适用断言和验证。
答案：若无答案欢迎评论
无需惊慌，C++缔造者Bjarne Stroustrup这句话中的CPP指的是**C PreProcessor**，即“C代码预处理器”。CPP根据#include #define #if #pragma等指令对C/C++源代码进行处理，这些处理发生在编译之前，所以叫“预处理器”。CPP完全是文本层面的处理，与C/C++语法无关。
C/C++的标准库提供了assert断言宏，用在程序中检查某些必须成立的条件，确保程序运行符合预期。assert(expr)的参数是一个表达式，如果表达式求值结果相当于false，那么断言失败。断言失败的后果在调试版程序中一般是报错然后中止程序。在定义NDEBUG宏、或VC的Release版时断言将被省略，因此断言的表达式不应进行业务处理。
时间有限，预处理指令我们只练习这一次，实现类似断言但总是启用、失败时不中止程序的验证宏verify。
代码框架如下：
cpp
#include <iostream>
using namespace std;
static void verify_failed(const char* file, int line, const char* expr){
// TODO: 仿照样例格式，在验证失败时输出位置和表达式。
}
// 为使源码行号__LINE__准确，验证宏写在了一行中。也可用反斜线续行。
// 表达式最后特意没加分号，使用时就不至于漏写分号。
// #x用了“Stringize”功能，将x对应的表达式转成字符串。这功能必须用CPP，无法用C++实现。
#define verify(x) if(x){}else verify_failed(__FILE__, __LINE__, #x)
int main(){
verify('A' < 'a');
// TODO: 用预处理指令设置行号和源文件名称
verify(false);
// TODO: 用预处理指令设置行号和源文件名称
verify(1 == 2);
}
#line预处理指令用于设置源码行号和源文件名称。例如：
- #line x 下一行代码中__LINE__宏将设为x。
- #line x "name" 下一行代码中__LINE__宏值为x，__FILE__宏值为name。
- **请使用#line预处理指令和verify宏实现样例的要求。**
#### 输入规格
无。
#### 输出规格
文本。
#### 样例输入
in
#### 样例输出
out
verify failed at z.cpp:5: false
verify failed at a.cpp:3: 1 == 2
#### 样例解释
- 样例输出是固定的文本。也可直接输出过关，但这不是设计目的。
- 这题目的是练习宏定义，掌握断言的用法。verify作为排错工具可以用在今后的C++开发中。
- 验证宏适宜用在多次重复结果等效的表达式上，所谓的**幂等性**。
- 有副作用的表达式不宜用验证宏。反例：verify(++i < 10);
- 检查用户输入是否合理不适用断言和验证。
答案：若无答案欢迎评论
