上手指南一共 12 个需要补充的函数，所有的工作都只需修改 bits.c 文件，测试的话有三种方式：btest, dlc, 和 BDD checker。
一些小技巧：在函数开始时声明所有变量
}应该在第一列
注意运算符号的优先级，使用括号确保顺序的正...
阅读全文
vhyz
2月 11, 2018
对象移动右值引用右值引用区别于普通引用，用两个&表示
返回左值引用的函数，连同赋值、下标、解引用和前置递增递减运算符返回左值
返回非引用的函数，连同算术、关系、位以及后置递增递减运算符都生成右值
我们不能将左值引用绑定到一个右值上，但可以使用const左...
阅读全文
vhyz
8月 29, 2017
向算法传递函数向排序算法传递二元谓词定义isSHorter方法
bool isShorter(const int &i,const int& j)
{
return ...
阅读全文
vhyz
8月 23, 2017