软件工程作业No.4
软件工程第四次作业（第一次结♂对作业）
队友选择：张天齐（153401010113）
队友代码：cooooding
一、作业要求
- 首先在同学中找一个同伴，范围不限，可以在1~5班中随意组合，建议尽量不要找同组的成员，女同学尽量找男同学结对，但是不做强制要求；
- 从以往个人完成的项目中选择一个作品，例如：以往的数据结构课程设计或者其它具有比较完整功能的小系统，代码至少要大于100行；
- 将代码上传至个人GitHub或Coding.net系统中，并将代码地址交给对方；
- 对同伴的作品进行代码复审，并参照C/C++代码审查表和和Java代码审查表 这两篇博文的内容自行设计代码审查表并填写内容；
- 将对伙伴审查的结果以表格的形式写到自己的博客作业里，博客中应该附有伙伴作业的GitHub或Coding.net的代码地址；
- 对同伴的代码写一篇500字以上的评论，介绍同伴的优缺点。
二、审查表
| 功能模块名称 | 运算符优先算法 | ||
|---|---|---|---|
| 审查人 | 冯玉正 | 审查日期 | 2018.4.6 |
| 代码名称 | 运算符优先算法 | 代码作者 | 张天齐 |
| 文件结构 | ||
|---|---|---|
| 重要性 | 审查项 | 结论 |
| 头文件和定义文件的名称是否合理？ | 是 | |
| 头文件和定义文件的目录结构是否合理？ | 是 | |
| 版权和版本声明是否完整？ | 是 | |
| 重要 | 头文件是否使用了 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问题： | |
| （１）对不存在的或者错误的文件进行操作吗？ | 否 | |
| （２）文件以不正确的方式打开吗？ | 否 | |
| （３）文件结束判断不正确吗？ | 否 | |
| （４）没有正确地关闭文件吗? | 否 |
三、总结
先给大家展示一下我的队♂友的代码
#include<iostream>
#include<cstring>
#include<stack>
using namespace std;
stack<string>OPTR;
stack<string>OPND;
string str_in;
string temp;
string optr = "+-*/%()=#";
char OptrPrior[9][9] =
{
// 运算符优先级表
// '+' '-' '*' '/' '%' '(' ')' ':=''#'
/*'+'*/ {'>','>','<','<','<','<','>','>','>'},
/*'-'*/ {'>','>','<','<','<','<','>','>','>'},
/*'*'*/ {'>','>','>','>','>','<','>','>','>'},
/*'/'*/ {'>','>','>','>','>','<','>','>','>'},
/*'%'*/ {'>','>','>','>','>','<','>','>','>'},
/*'('*/ {'<','<','<','<','<','<','=',' ',' '},
/*')'*/ {'>','>','>','>','>',' ','>','>','>'},
/*':='*/{'<','<','<','<','<','<',' ','=','>'},
/*'#'*/ {'<','<','<','<','<','<',' ','<','='}
};
int Location(string ch)
{
for(int i = 0; i < optr.length(); i++)
{
temp = optr[i];
if(ch == temp)
return i;
}
}
void InPut()
{
cin >> str_in;
str_in += '#';
for(int i = 0; i < str_in.length(); i++)
if(str_in[i] == ':' && str_in[i+1])
str_in.erase(str_in.begin()+i);
}
bool InOp(string ch)
{
string temp;
for(int i = 0; i < optr.length(); i++)
{temp = optr[i];
if(ch == temp)
return true;
}
return false;
}
char Precede(string ch1, string ch2)
{
int a = Location(ch1);
int b = Location(ch2);
return OptrPrior[a][b];
}
void Judge()
{
int times = 0;
OPTR.push("#");
string T;
T = "T1";
int i = 0,j = 1;
string ch ;
ch = str_in[i++];
string first,second,op;
SIGN:
while(ch != "#" || OPTR.top() != "#")
{
if(!InOp(ch))
{
OPND.push(ch);
ch = str_in[i++];
}
else
switch(Precede(OPTR.top(),ch))
{
case '<':
OPTR.push(ch);
ch = str_in[i++];
break;
case '=':
OPTR.pop();
ch = str_in[i++];
break;
case '>':
op = OPTR.top();
first = OPND.top();OPND.pop();
second = OPND.top();OPND.pop();
OPTR.pop();
OPND.push(T);
if(op!= "=")
{
cout << 'T' << j++ << ":=" << second << op << first <<" ";
cout << '(' << op << ',' << second << ',' << first << ',' << OPND.top() << ')'<< endl;
}
else
{
cout << second << ":=" << 'T' << j-1<< " ";
cout << "(:=," << 'T' << j-1 << ",-," << second << ')';
}
while(times<6)
{
times++;
if(times == 1)
{
T[1] = '2';
break;
}
else if(times == 2)
{
T[1] = '3';
break;
}
else if(times == 3)
{
T[1] = '4';
break;
}
else if(times == 4)
{
T[1] = '5';
break;
}
}
break;
}//switch
}//while
}
int main()
{
InPut();
Judge();
return 0;
}
结论：跟队友相处了三年时间，他一直都非常优秀，自学了JAVA，python。。。。。一大堆有用的东西，这份代码是上学期学习编译原理的时候他编的，整体而言条理清晰，简洁易懂。为了研究他的代码，我特意阅读了CSDND的这篇文章，接下来是部分摘录：
概念简述
-
移动归约分析法：自底向上的语法分析方法，也称为移动归约分析法。
-
最易于实现的一种移动归约分析方法，叫做算符优先分析法，
而更一般的移动归约分析方法叫做LR分析法，LR分析法可以用作许多自动的语法分析器的生成器。 -
短语：文法G[S]，αβδ是文法G的一个句型，S=>*αAδ且A=>+β则称β是句型αβδ相对于非终结符A的短语。
-
直接短语：若有A ⇒+β则称β是句型αβδ相对于该规则A→β的直接短语。
-
句柄：一个句型的最左直接短语称为该句型的句柄。
-
短语：一棵子树的所有叶子自左至右排列起来形成一个相对于子树根的短语。
-
直接短语：仅有父子两代的一棵子树，它的所有叶子自左至右排列起来所形成的符号串。
-
句柄：一个句型的分析树中最左那棵只有父子两代的子树的所有叶子的自左至右排列。
算符文法的定义：所有产生式的右部都不是ε或两个相邻的非终结符
设有一个文法G，如果G中没有形如A→…BC…的产生式，其中B和C为非终结符，则称G为算符文法(Operator Grammar)也称OG文法.
算符优先文法的特点：
- 一旦我们构造了算符优先语法分析器，就可以忽略原来的文法，栈中的非终结符仅仅作为与这些非终结符相关的属性的占位符
- 难以处理像减号这样有不同优先级的符号，
- 由于分析的语言的文法和算符优先语法分析器本身的关系不是很紧密，所以不能肯定语法分析器接受的就是所期望的语言
通过这次的代码审查，我的确也学到了很多
尤其是MARKDOWN的表格，绝对的反人类
不过还是要学的，要学的......
