摘要：
OCI--在QUERY中CLI--在FETCH中在父类中定义了public—Release和protected—Release，protected—Release在public—Release中被调用在子类中重新protected—Release父类对象调用public—Release，调用protected—Release不可以子类可以调用protected—Release在析构函数做了Release，省去了Release的手动过程 阅读全文
摘要：
1. 课程 算法，编译原理，形式化，程序化设计语言 选修课：好的书，好玩的地方介绍 重要的点，实验室的报告PDF，国外学者文档的制作--表达方式，学长的一些优秀的讲课文档，好的表达方式，给听讲者好的视觉和理解2. 硕士研究工作 逻辑验证，CEGAR，自己相关文档，和代码 Blast， SLAM，D 以及自己讲过的相关文档和PPT 学长们讲的PPT相关文档3. 苏州培训文档 coq相关的资料和代码，ARTIST暑期讲习班4. 本科毕业论文相关资料5. Verds相关的资料6. ocaml相关的资料7. 车辆预测8. 多处理器9. 逻辑验证----10. 模型检测-----11. ... 阅读全文
摘要：
o 数组中数据存储在内存中的实现方式 数据长度的大小，数组的大小，对数据的读取会有影响o 数据结构和数据实现 结构体中成员在内存中的实现o 指针使用 ** *&o 类中构造函数和解析函数 父类 子类 成员变量的初始化o 链表，栈与堆，二叉树 二叉树节点定义如下：struct BinaryTreeNode{ int m_nValue; BinaryTreeNode* m_pLeft; BinaryTreeNode* m_pRight;}; //定义链表节点typedefstructNode { intdata;//数据域 structNode*pNext;//指针域}... 阅读全文
摘要：
for( i=0;0=一直成立 阅读全文
摘要：
SQLSetStmtAttr(hstmt,SQL_ATTR_ROW_BIND_TYPE,SQL_BIND_BY_COLUMN,0);SQLSetStmtAttr(hstmt,SQL_ATTR_ROW_ARRAY_SIZE ,SQLPOINTER(nRows2Read) ,SQL_IS_INTEGER );nRows2Read=4;SQLCHAR sBuffer[nRows2Read+1][50];SQLINTEGER sBuffer_ind[nRows2Read+1];cliRC = SQLBindCol(hstmt,i+1,SQL_C_CHAR,(SQLPOINTER)(sBuffer) , 阅读全文
摘要：
程序如下#includeusing namespace std;int main(){ int *a=new int(1); int *b=new int(2); int *c=new int(3); cout<<a<<' '<<*a<<endl; cout<<b<<' '<<*b<<endl; cout<<c<<' '<<*c<<endl; return 0;}运行结果如下：0x21390 10x213 阅读全文
摘要：
SQL_ERROR: One of the following occurred:RecNumber was negative or 0.BufferLength was less than zero. 阅读全文
摘要：
将文件的命名从.hpp或者.o 到.cpp 批量完成--批量处理代码行数的统计工具linecount3.6，很好用 阅读全文