weijunyih's blog

摘要： 定义一个对象没有使用初始化表达式，就像下面的一样Foo f1;Foo f2 = Foo();Foo f2(); // 这个是错的，它声明了一个函数就会调用默认构造函数（不带参数或者形参含有默认值），如果类没有定义构造函数，那么编译器会自动合成一个默认的构造函数。如果类中定义了其他类型的构造函数，那么... 阅读全文

摘要： 重载显然是指的函数形参列表，与返回值没有什么关系，与形参名更没有什么关系！// 返回值不同，形参列表相同，重复声明Record lookup(const Account&);bool lookup(const Account&);// 非引用const和非引用，重复声明bool lookup(Acc... 阅读全文

摘要： reinterpret_cast 这个转换方式在转换指针类型时比较有用 1 #include 2 3 using namespace std; 4 5 int main(void) 6 { 7 int A = 65; // 'A' 8 char * pA = reinterpr... 阅读全文

摘要： 内核文件 arch/x86/kernel/syscall_64.c 文件中包含了一个头文件 arch/x86/include/asm/asm-offset.h ，这个文件在内核构建之初是不存在的，是在构建过程中生成的。下面我们来看看它是如何生成的。1.include/linux/kbuild.h#d... 阅读全文

摘要： 1. 从 live cd 或者 dvd 进行安装，官方文档已经够用，可以将 live cd 写进 u 盘，也可以将 dvd 放到硬盘上通过 grub 引导启动安装，文档在这里。2.安装过程中尽量选择中文，因为这样可以避免后续需要手动安装一些必要的本土化包，如果是 live cd，中文环境会有些问题，... 阅读全文

摘要： 纵览emacs 文档中描述，进缩风格实现只需要两步：第一步，根据内容与上下文找到对应的进缩风格的类别；第二步，依据进缩风格决定的表达式锚点的进缩偏移。下面我们对 cc-mode 风格定制加以说明。进缩风格的类别比如在 C 代码中，使用 C-c . 然后再使用两次 tab ，就可以出现多个内置风格供选... 阅读全文

摘要： 关于上下文无关文法，有几篇不得不读的文章：http://www.zhihu.com/question/21833944/answer/19467423，知乎的抛砖引玉。http://en.wikipedia.org/wiki/Context-free_grammar，来自维基百科，有中文版的。htt... 阅读全文

摘要： 推导（derivation）：从开始符号出发，每个重写步骤把一个非终结符号替换为它的某个产生式体。最左推导（leftmost derivation）：总是选择每个句型的最左非终结符号。最右推导（rightmost derivation）：总是选择每个句型的最右非终结符号。看下面的产生式E ::= E... 阅读全文

摘要： 基本语法assert_stmt ::= "assert" expression ["," expression]1 assert 5 > 3 # 肯定是对的2 assert 0 > 3 # 肯定是错的下面看看扩展的，带上附加... 阅读全文

摘要： 原始DFA如下图所示最小化的定义：1.没有多余的状态（死状态）；2.没有两个状态是相互等价的；两个状态等价的含义：1.兼容性（一致性）——同是终态或同是非终态；2.传播性（蔓延性）——从s出发读入某个a和从t出发经过某个a并且经过某个b到达的状态等价。令M为DFA中所有状态的集合。1.开始做粗略划分... 阅读全文