循迹研究室

C++函数模板的特化和重载

_{Specialization and overloading of C++ function templates}

发表于 2017-05-04 00:20 分类于标准解读， C++标准阅读次数：
本文字数： 2k 阅读时长 ≈ 5 分钟

不同于类模板，可以具有显式特化和局部特化(partial specializations)，函数模板没有”局部特化”的概念，只有显式特化和重载。

C++中指向类成员的指针并非指针

_{Pointers to class members in C++ are not pointers}

发表于 2017-04-29 21:28 更新于 2019-04-22 00:38 分类于技术笔记， C++ 阅读次数：
本文字数： 4.4k 阅读时长 ≈ 11 分钟

“指向类成员的指针(Pointers to members)”，是一种在C++不常用的特性，但是这里使用术语“指针”略有不妥，因为它们并不包含地址，行为也不像指针。
本篇文章会通过LLVM-IR来分析clang中对于“指向类成员的指针”的实现方式，以及穿插C++14标准内定义的相关内容和涉及到的LLVM-IR的语法。

阅读全文 »

为什么需要extern "C"?

_{Why is extern "C" needed?}

发表于 2017-04-11 22:20 更新于 2017-04-24 01:14 分类于技术笔记，编译和链接阅读次数：
本文字数： 4.9k 阅读时长 ≈ 12 分钟

在上一篇文章(C/C++编译模型分析)中介绍了C和C++中编译和链接的成因和方式。接上篇文章的坑，本篇文章从extern "C"着手分析C和C++编译与链接模型中的不同点及其成因，主要为function overload、function signatures、name mangling三个部分。

阅读全文 »

C/C++编译和链接模型分析

_{C/C++ compilation and linking model analysis}

发表于 2017-04-10 23:05 更新于 2017-07-02 00:18 分类于技术笔记，编译和链接阅读次数：
本文字数： 7.8k 阅读时长 ≈ 20 分钟

C和C++均使用分离编译来支持多源文件模块化机制，但是为什么这么做以及如何做是个值得探讨的问题。本篇文章并非是讲述C和C++中如何才能产生不同链接的语法规则，而是分析下C/C++编译器是如何实现编译和链接模型的。

阅读全文 »

Array of length zero

发表于 2017-03-30 19:00 更新于 2017-03-31 11:48 分类于标准解读， C++标准， C语言标准阅读次数：
本文字数： 3.3k 阅读时长 ≈ 8 分钟

看了下在C中Array of length zero的用法，感觉脑洞大开啊。不过从标准角度(非编译器扩展)来说，这个特性只存在于C语言(C99之后)，C++中是不存在的。先挖个坑，来分析一下。

阅读全文 »

虚拟存储器的缺页异常分析

_{Analysis of Virtual Memory Page Fault Exception}

发表于 2017-03-22 01:22 分类于操作系统，虚拟存储器阅读次数：
本文字数： 1.4k 阅读时长 ≈ 4 分钟

考虑这样一个问题：能否通过管道(fifo)从一个进程A向另一个进程B(A和B之间并无亲属关系)中传递A进程中对象的地址，从而在进程B中访问到A进程的对象呢？

阅读全文 »

STL容器的迭代器失效

_{Iterator Invalidation of STL Containers}

发表于 2017-03-17 11:43 分类于技术笔记， C++ ， STL 阅读次数：
本文字数： 2.3k 阅读时长 ≈ 6 分钟

容器的大小指的是容器中的元素数目；容器的容量指的是重新分配更多内存之前容器能够保存的元素数目。在改变大小或容量时，元素可能会移动到新的存储位置。这意味着指向元素的迭代器(以及指针或引用)可能会失效(即指向旧元素的位置)。
指向关联容器元素的迭代器只有当所指元素从容器中删除时(erase)才会失效。与之相反，指向顺序容器元素的迭代器当重新分配空间(resize()/reverse()或push_back())或指向元素在容器中移动(如在前一个位置进行erase()或者insert())也会失效。

阅读全文 »