OO第一次blog

（1）基于度量来分析自己的程序结构

第一次：
Poly：
属性 AL<Term>
方法 check（格式检查） Poly（构造） merge（合并） compute（求导）

Term：
属性 coeff exp
方法 Term（构造） get/set

Poly格式检查，Poly用正则分割出Term，Term解析出coeff和exp。在Poly中根据Term的属性进行合并，并计算，最终在PolyCompute中输出。
1.感觉把输出部分写到Poly的tostring里面更好一些。
2.这次用了一个超大正则一次进行格式判断和解析，不是很好而且有爆栈风险。
3.没有预处理造成后面的解析会复杂一些

第二次：
Poly：
属性 AL<Term>
方法 check Poly merge firstop（符号预处理） derivation

Term:
属性 key（四元组）
方法 replacefirstop（符号预处理） Term derivation print printfactor get/set

Factor：
属性 key
方法 Factor get

Key：
属性 coeff expofx expofcos expofsin
方法 Key（构造） equals_exp mul/add_coeff add_exp derivation

Poly格式检查、预处理（符号变换和添加、空格等），用正则分割为Term，Term用*分割出Factor，Factor解析出四元组Key，Key为一种数据类型（四元组），将factor在Term中合并，在poly中对exp三元组一样的进行合并。
求导时，Poly的AL对每个Term求导，每个Term的求导（运算及返回值皆有Key完成），之后在Poly求和。
create:Poly->Term->Factor
derivate:Poly->Term
print：Poly->Term->Factor

1.Key被我搞成了结合了coeff的四元组使用起来反而不便
2.因为Term最后可以归为一个三元组+coeff，所以我的求导
3.因为print和create还是要下到Factor层面，所以提前把集中Factor的子类创建起来之后继承Factor（或者接口，可以具体情况再分析）更好一些。

第三次：
Poly：
属性 AL<Term>
方法：新增tostring的重写

Term：
属性 AL<Element>自身
方法 新增merge create_element tostring

interface Element：
方法 derivation tostring

interface Triangle：
方法 getExp create_element

其余的大多都是一些数据特征上的问题，就没什么好列举的了

poly用正则分出Term，Term再用正则分出Element，在Term中构造element，其中cos/sin需要保存其exp的基础上对其内部嵌套的！！因子！！再次构造，递归终点为Cons和Xpower。
求导：P对T的导求和，T对E的导进行while运算，E的导在三角函数的情况下为三角的导和嵌套因子的导的乘积，在poly（表达式/表达式因子）的情况下递归，最终得到一个表达式作为表达式因子返回。
输出类似，也是从P到T到E的结构

1.数据结构不太好，构造向下传的时候是P/T/E,求导回传的时候就是AL嵌套AL了。应该构造（简单传值）和parser分开，数据结构就对齐了。我在hw3中用的数据结构效率相当低下。（AL<AL<Ele...>>Term的导数，而不是Poly，对于Ele同理）
2.一开始看错题了以为三角函数里面嵌套的是表达式，但实际上是表达式因子，补救的时候不想大动代码结构，因此在处理create_element的时候出现了相同代码重复出现的情况
3.脑抽没想起来怎么判断运算符是不是分割T/E的，也不想改成嵌套状态机或者状态机配合正则，就写了个超长正则用来处理括号匹配，于是造成了TLE
4.triangle其实不应该是接口，而应该是抽象类，因为还是有很多的共性的东西的，用抽象类更方便。
5.sin/cos的优化忘了搞了，导致嵌套0和表达式因子的时候输出非常糟糕的长

总结：
1.构造应该简化，解析放在parser里
2.不应该用大正则

（2）分析自己程序的bug

第一次：
互测被抓到一个bug：
正则的一个地方少加了一个[ \\t]*

第三次：
强测TLE：
用正则匹配括号造成的

都发生在正则上，第一次没有预处理，预处理之后问题将简化很多就不会出现这个问题。第三次不适合用正则，但我不想改造成的强行用正则而TLE。

（3）发现别人bug
1.构造边界条件，对于潜在bug进行点分类，每类分情况，之后全排列。
2.按照标准随机生成表达式，用大量测试点，覆盖大部分格式。
3.对于表达式基本结构如符号、空格、数字、字母进行随机全排列（不过效率极低）