1.Partner
我的搭档——vergil_spata
代码传送门
2.Code Review
2.1代码：
#include <bits/stdc++.h>
using namespace std;
const int maxn = 50;
map< string,vector<string> >NFA;
vector<string>DFA[maxn];
map<string,char>mp;
set<char>A;
set<char>B;
int cnt = 0;
set<string>st1;
queue<string>Q;
void Read_NFA(){
string str,a,b;
while (true){
cin >> str >> a >> b;
vector<string>vec;
vec.push_back(a);
vec.push_back(b);
NFA["{" + str + "}"] = vec;
if (str == "f") break;
}
}
string getString(set<char> &S,int t,char temp){
string result;
string ch = "{ }";
ch[1] = temp;
string buf = NFA[ch][t];
int flag = 0;
if (buf == "{NULL}") return "";
for(int j = 1;j <= buf.size() - 2;j ++){
if (buf[j] == ',') continue;
if (!S.count(buf[j])){
S.insert(buf[j]);
if (flag == 0){
result.push_back(buf[j]);
flag = 1;
} else {
result.push_back(',');
result.push_back(buf[j]);
}
}
}
return result;
}
void IsInQueue(string str){
if (!st1.count(str) && str != "{NULL}" && str != "{}"){
st1.insert(str);
Q.push(str);
}
}
void ConvetToDFA(){
string str = "{0}";
Q.push(str); st1.insert(str);
while (!Q.empty()){
string temp = Q.front(); Q.pop();
string a = "{",b = "{",ming;
mp[temp] = 'A' + cnt;
DFA[cnt].push_back(temp);
ming.push_back('A' + cnt);
DFA[cnt].push_back(ming);
if (NFA.count(temp)) {
a = NFA[temp][0];
b = NFA[temp][1];
DFA[cnt].push_back(a);
DFA[cnt].push_back(b);
IsInQueue(a);
IsInQueue(b);
} else {
A.clear(); B.clear();
int flaga = 0,flagb = 0;
for (int i = 1;i <= temp.size() - 2;i ++){
if (temp[i] == ',') continue;
string a1 = getString(A,0,temp[i]);
if (a1 != ""){
if (flaga == 0) flaga = 1;
else a.push_back(',');
}
a += a1;
string a2 = getString(B,1,temp[i]);
if (a2 != ""){
if (flagb == 0) flagb = 1;
else b.push_back(',');
}
b += a2;
}
a += "}"; b += "}";
DFA[cnt].push_back(a);
DFA[cnt].push_back(b);
IsInQueue(a);
IsInQueue(b);
}
cnt ++;
}
}
void Print(){
for (int i = 0;i < cnt;i ++){
for (int j = 0;j < DFA[i].size();j ++){
if (j > 1){
if (mp.count(DFA[i][j])) cout << mp[DFA[i][j]];
} else {
cout << DFA[i][j];
}
}
cout << endl;
}
}
int main(){
Read_NFA();
ConvetToDFA();
Print();
return 0;
}
2.2代码审查表:
| 功能模块名称 | NFA到DFA转换 | ||
| 审查人 | 庞广东 | 审查日期 | 2018.4.5 |
| 代码名称 | NFA_DFA.cpp | 代码作者 | 王圣尧 |
| 文件结构 | |||
| 重要性 | 审查项 | 结论 | |
| 头文件和定义文件的名称是否合理？ | 合理 | ||
| 头文件和定义文件的目录结构是否合理？ | 合理 | ||
| 版权和版本声明是否完整？ | 是 | ||
| 重要 | 头文件是否使用了 ifndef/define/endif 预处理块? | 否 | |
| 头文件中是否只存放“声明”而不存放“定义” | 是 | ||
| 程序的版式 | |||
| 重要性 | 审查项 | 结论 | |
| 空行是否得体？ | 是 | ||
| 代码行内的空格是否得体？ | 是 | ||
| 长行拆分是否得体？ | 是 | ||
| “{” 和 “}” 是否各占一行并且对齐于同一列？ | 否 | ||
| 重要 | 一行代码是否只做一件事？如只定义一个变量，只写一条语句。 | 否 | |
| 重要 | If、for、while、do等语句自占一行，不论执行语句多少都要加 “{}”。 | 是 | |
| 重要 | 在定义变量（或参数）时，是否将修饰符 * 和 ＆ 紧靠变量名？注释是否清晰并且必要？ | 是 | |
| 重要 | 注释是否有错误或者可能导致误解？ | 否 | |
| 重要 | 类结构的public, protected, private顺序是否在所有的程序中保持一致？ | 无 | |
| 命名规则 | |||
| 重要性 | 审查项 | 结论 | |
| 重要 | 命名规则是否与所采用的操作系统或开发工具的风格保持一致？ | 是 | |
| 标识符是否直观且可以拼读？ | 是 | ||
| 标识符的长度应当符合“min-length && max-information”原则？ | 是 | ||
| 重要 | 程序中是否出现相同的局部变量和全部变量？ | 是 | |
| 类名、函数名、变量和参数、常量的书写格式是否遵循一定的规则？ | 是 | ||
| 静态变量、全局变量、类的成员变量是否加前缀？ | 是 | ||
| 表达式与基本语句 | |||
| 重要性 | 审查项 | 结论 | |
| 重要 | 如果代码行中的运算符比较多，是否已经用括号清楚地确定表达式的操作顺序？ | 是 | |
| 是否编写太复杂或者多用途的复合表达式？ | 是 | ||
| 重要 | 是否将复合表达式与“真正的数学表达式”混淆？ | 否 | |
| 重要 | 是否用隐含错误的方式写if语句? 例如 | 否 | |
| （1）将布尔变量直接与TRUE、FALSE或者1、0进行比较。 | 否 | ||
| （2）将浮点变量用“==”或“！=”与任何数字比较。 | 否 | ||
| （3）将指针变量用“==”或“！=”与NULL比较。 | 否 | ||
| 如果循环体内存在逻辑判断，并且循环次数很大，是否已经将逻辑判 | 否 | ||
| 断移到循环体的外面？ | |||
| 重要 | Case语句的结尾是否忘了加break？ | 否 | |
| 重要 | 是否忘记写switch的default分支？ | 否 | |
| 重要 | 使用goto 语句时是否留下隐患? 例如跳过了某些对象的构造、变量的初始化、重要的计算等。 | 否 | |
| 常量 | |||
| 重要性 | 审查项 | 结论 | |
| 是否使用含义直观的常量来表示那些将在程序中多次出现的数字或字符串？ | 否 | ||
| 在C++ 程序中，是否用const常量取代宏常量？ | 是 | ||
| 重要 | 如果某一常量与其它常量密切相关，是否在定义中包含了这种关系？ | 否 | |
| 是否误解了类中的const数据成员？因为const数据成员只在某个对象 | 否 | ||
| 生存期内是常量，而对于整个类而言却是可变的。 | 否 | ||
| 函数设计 | |||
| 重要性 | 审查项 | 结论 | |
| 参数的书写是否完整？不要贪图省事只写参数的类型而省略参数名字。 | 否 | ||
| 参数命名、顺序是否合理？ | 否 | ||
| 参数的个数是否太多？ | 否 | ||
| 是否使用类型和数目不确定的参数？ | 否 | ||
| 是否省略了函数返回值的类型？ | 是 | ||
| 函数名字与返回值类型在语义上是否冲突？ | 否 | ||
| 重要 | 是否将正常值和错误标志混在一起返回？正常值应当用输出参数获得，而错误标志用return语句返回。 | 否 | |
| 重要 | 在函数体的“入口处”，是否用assert对参数的有效性进行检查？ | 否 | |
| 重要 | 使用滥用了assert？ 例如混淆非法情况与错误情况，后者是必然存在的并且是一定要作出处理的。 | 否 | |
| 重要 | return语句是否返回指向“栈内存”的“指针”或者“引用”？ | 否 | |
| 是否使用const提高函数的健壮性？const可以强制保护函数的参数、返回值，甚至函数的定义体。“Use const whenever you need” | 是 | ||
| 内存管理 | |||
| 重要性 | 审查项 | 结论 | |
| 重要 | 用malloc或new申请内存之后，是否立即检查指针值是否为NULL？（防止使用指针值为NULL的内存） | 否 | |
| 重要 | 是否忘记为数组和动态内存赋初值？（防止将未被初始化的内存作为右值使用） | 否 | |
| 重要 | 数组或指针的下标是否越界？ | 否 | |
| 重要 | 动态内存的申请与释放是否配对？（防止内存泄漏） | 是 | |
| 重要 | 是否有效地处理了“内存耗尽”问题？ | 是 | |
| 重要 | 是否修改“指向常量的指针”的内容？ | 否 | |
| 重要 | 是否出现野指针？例如（1）指针变量没有被初始化;（2）用free或delete释放了内存之后，忘记将指针设置为NULL。 | 否 | |
| 重要 | 是否将malloc/free 和 new/delete 混淆使用？ | 否 | |
| 重要 | malloc语句是否正确无误？例如字节数是否正确？类型转换是否正 确？ | 是 | |
| 重要 | 在创建与释放动态对象数组时，new/delete的语句是否正确无误？ | 是 | |
| C++ 函数的高级特性 | |||
| 重要性 | 审查项 | 结论 | |
| 重载函数是否有二义性？ | 否 | ||
| 重要 | 是否混淆了成员函数的重载、覆盖与隐藏？ | 否 | |
| 运算符的重载是否符合制定的编程规范？ | 是 | ||
| 是否滥用内联函数？例如函数体内的代码比较长，函数体内出现循环。 | 否 | ||
| 重要 | 是否用内联函数取代了宏代码？ | 否 | |
| 类的构造函数、析构函数和赋值函数 | |||
| 重要性 | 审查项 | 结论 | |
| 重要 | 是否违背编程规范而让C++ 编译器自动为类产生四个缺省的函数： | 否 | |
| （1）缺省的无参数构造函数； | 否 | ||
| （2）缺省的拷贝构造函数； | 是 | ||
| （3）缺省的析构函数； | 是 | ||
| （4）缺省的赋值函数。 | 否 | ||
| 重要 | 构造函数中是否遗漏了某些初始化工作？ | 否 | |
| 重要 | 是否正确地使用构造函数的初始化表？ | 否 | |
| 重要 | 析构函数中是否遗漏了某些清除工作？ | 否 | |
| 是否错写、错用了拷贝构造函数和赋值函数？ | 否 | ||
| 重要 | 赋值函数一般分四个步骤： | ||
| （1）检查自赋值； | 否 | ||
| （2）释放原有内存资源； | 否 | ||
| （3）分配新的内存资源，并复制内容； | 否 | ||
| （4）返回 *this。是否遗漏了重要步骤？ | 否 | ||
| 重要 | 是否正确地编写了派生类的构造函数、析构函数、赋值函数？ | 否 | |
| 注意事项： | |||
| （1）派生类不可能继承基类的构造函数、析构函数、赋值函数。 | 否 | ||
| （2）派生类的构造函数应在其初始化表里调用基类的构造函数。 | 否 | ||
| （3）基类与派生类的析构函数应该为虚（即加virtual关键字）。 | 否 | ||
| （4）在编写派生类的赋值函数时，注意不要忘记对基类的数据成员重新赋值 | 否 | ||
| 类的高级特性 | |||
| 重要性 | 审查项 | 结论 | |
| 重要 | 是否违背了继承和组合的规则？ | 否 | |
| （1）若在逻辑上B是A的“一种”，并且A的所有功能和属性对B而言都有意义，则允许B继承A的功能和属性。 | 否 | ||
| （2）若在逻辑上A是B的“一部分”（a part of），则不允许B从A派生，而是要用A和其它东西组合出B。 | 否 | ||
| 其它常见问题 | |||
| 重要性 | 审查项 | 结论 | |
| 重要 | 数据类型问题： | ||
| （１）变量的数据类型有错误吗？ | 否 | ||
| （２）存在不同数据类型的赋值吗？ | 否 | ||
| （３）存在不同数据类型的比较吗？ | 否 | ||
| 重要 | 变量值问题： | ||
| （１）变量的初始化或缺省值有错误吗？ | 否 | ||
| （２）变量发生上溢或下溢吗？ | 否 | ||
| （３）变量的精度够吗？ | 是 | ||
| 重要 | 逻辑判断问题： | ||
| （１）由于精度原因导致比较无效吗？ | 否 | ||
| （２）表达式中的优先级有误吗？ | 否 | ||
| （３）逻辑判断结果颠倒吗？ | 否 | ||
| 重要 | 循环问题： | ||
| （１）循环终止条件不正确吗？ | 否 | ||
| （２）无法正常终止（死循环）吗？ | 否 | ||
| （３）错误地修改循环变量吗？ | 否 | ||
| （４）存在误差累积吗？ | 否 | ||
| 重要 | 错误处理问题： | ||
| （１）忘记进行错误处理吗？ | 否 | ||
| （２）错误处理程序块一直没有机会被运行？ | 否 | ||
| （３）错误处理程序块本身就有毛病吗？如报告的错误与实际错误不一致，处理方式不正确等等。 | 否 | ||
| （４）错误处理程序块是“马后炮”吗？如在被它被调用之前软件已经出错。 | 否 | ||
| 重要 | 文件I/O问题： | ||
| （１）对不存在的或者错误的文件进行操作吗？ | 否 | ||
| （２）文件以不正确的方式打开吗？ | 否 | ||
| （３）文件结束判断不正确吗？ | 否 | ||
| （４）没有正确地关闭文件吗? | 否 | ||
3.Summary
程序实现的是C语言利用子集构造法实现NFA”（Non-deterministic finite automaton，非确定有穷自动机）到DFA（Deterministic finite automaton，确定有穷状态自动机）的转换。
先说说优点吧，不得不说，代码质量还是蛮高的，编程做项目实际运用中需要注意的基本上都覆盖到了：模块化设计，程序先从main()函数开始，接着执行三个功能函数getString（），Read_NFA()，ConvetToDFA()，IsInQueue（），Print()每个函数如其名，很明确地实现了单一具体的功能，无非是负责处理输入，转换，输出，判断等问题。结构清晰，目标明确，把具体的问题，简单分解成几个子问题，分而治之，再逐个击破。
还有一点需要补充，就是搭档的头文件很令人瞩目，#include<bits/stdc++.h>乍一看，百思不得其解，C语言里面还没见过这样的头文件（至少我是） 。后来查找资料才发现，原来这是个万能头文件，包含了目前c++所包含的所有头文件，使用后代码中省去了相当多的头文件的书写，也就是说不用再关心程序到底用了哪些头文件里的函数，只用关注程序设计就好了。而且重要的是，不用关心兼容问题，主流的OJ ，如Codeforces，Topcoder基本上都支持，这实在是该程序的一大亮点。不过相对应的，也有待改进之处，如因其包含的头文件的过多，导致程序编译慢；其不属于标准库里面的头文件，只是gcc的内部实现，可移植性不好等。除此之外，该程序还用了C++的STL，不用自己去实现函数了，专注程序设计，从这点来说，不用自己再造轮子了，有时候拿来主义未尝不可取。
再说说缺点吧
1.代码方面：如果能加上注释就更好了，这样也利于以后的维护。说实话刚拿到手的时候，未免有点头疼，真的惊了——程序没有注释……不过好在程序逻辑结构清晰，还是能掌握程序大概脉络的。部分代码十分精简紧凑，高效但很晦涩难懂（可能大佬不需要注释吧），还是花了不少时间去读的；有些变量的命名，如果不是单纯用a，b这样的字母，转而用有特定含义的变量名或许会更上一层楼;
2.版权方面：希望以后能增强版权意识，给程序加上出处说明就更好了。
最后，瑕不掩瑜，总体来说，搭档的程序质量还是蛮高的，我还是很认可他的，甚至有点小小的崇拜了，再注重一些细枝末节的东西就好了。同时，我也从这次结对编程学到许多，在今后的工作学习中可以避免重蹈覆辙。有句话怎么说来着，教学相长，放在这里可能有点不应景不合适，但跟我想表达的意愿还是一致的。