@水木易安，其实，这是大一学的 C 语言里的内容。。但我最近才重新注意到它。。

但看起来，写商业 C++ 代码的老虎，这么多年都不熟悉这个，看来是没啥用的特性

好像没遇到过。蹲个后续。

@老虎会游泳，最后居然聊了这么远。。扯到汇编去了（但 C/C++ 本来就和底层接近，谈及汇编来理解 C/C++ 行为，似乎也很正常。。）

老虎你写商业 C++ 代码的，都不知道 restrict，看来 C/C++ 的效率足够绝大部分场景使用，是我杞人忧天了。

@老虎会游泳，噢，是我想错了 编译器认为 this 没被改，但 this->target 可能被改了。。

x64 时，this 作为第一个参数，存在 rdi 中？

@老虎会游泳，this 符合【完全优化至寄存器的条件】吗？我记得是只读的啊。。那篇文章里，也没有要 &this。。

@老虎会游泳，我能看懂一点点汇编，你说的我能理解。（看过半本墨绿色的 x86 汇编书，但没咋写过，又都忘得差不多了。。）

@老虎会游泳，不对，你看看 知乎那篇文章 提到的第三个例子，

修改了 this->target 的值（unsigned char 类型），导致编译器认为 this 也可能被修改了，所以后续每次 this->target 都要重新读取 this。。

（我记得 C++ 的 this 是只读的？还是啥？编译器咋会认为被修改了呢。。）

@老虎会游泳，意思是，拿某个寄存器来存 read_next，而不存入栈上了

好像写入数组末尾之后，是未定义行为。这么说，编译器认为 read_next 未被修改也无不可。。

哎，还是等写完之后，再加 restrict 试试吧。反正也不是啥速度极为严苛的场景，只是想顺便学学 restrict 而已

@老虎会游泳，

指针本身是否被优化到寄存器与restrict无关。如果不对指针进行取地址操作，它就可以被优化到寄存器。

char buf[16];
char *read_next = buf, *write_next = buf + 16;

*write_next = '\0'; // 此时 read_next 岂不就被修改了吗？（假设 read_next 就在 buf 后面）

编译器咋会放心把 read_next 缓存至寄存器的。。

@老虎会游泳，老虎用 restrict 的情景多吗？

我是不是要写完那个小插件，再试试加 restrict，才理解得更快呢。。

@老虎会游泳，感觉 43 楼的设计，没法加 restrict？

那岂不读指针和结束指针都没法缓存至寄存器，每次读取前都要读一次内存？（因为编译器认为，写指针可能会修改 char *read_next, *end？）

@老虎会游泳，画了个草图，容易理解：

@老虎会游泳，写指针 和 读指针，都指向同一块缓冲区。只是写指针写入过后的字符对象，都绝不再读取。（因为写指针不会超出读指针，如上所述）

@老虎会游泳，只是【通过 char * restrict 修改后，不再使用其他别名】，也不行？

因为解析了一个字符，并写入后，就不再需要读取这个及之前的字符对象了

@老虎会游泳，“对象类型”是指非函数类型。。

另外，只是指向 char 类型的读写指针。

另外，根据严格别名说的，char * 可修改任何类型的数据。

所以，我认为给 char * 添加 restrict，可防止【写指针写入数据后，编译器认为所有指针的数据缓存都失效不能用了，需要重新读取】。

不知这个想法对不对

@老虎会游泳，我在给 SQLite 写流式解析 csv 的小插件，想只用一个缓冲区存储：数据块、某一行解析好的CSV数据。

比如，读取 4K 数据，然后边解析，边往这个缓冲区开头写入。

由于 CSV 数据解析完不会需要更多内存来存储，只会由于转义变得需要更少内存，所以不会发生写指针超出读指针问题。

所以，我在想写指针能不能加 restrict？加了有没有用？读指针需要加 restrict 吗？

@老虎会游泳，另外，我这篇帖子，主要是想讨论 restrict 的（因为我已经认下严格别名了）。。

我刚才看了看你一开始的其他回复。

我认为，根据 cppreference 对 restrict 的叙述，应该是允许有其他别名的。

只要保证：通过 restrict 修饰的指针写入某个对象后，不再使用其他别名访问这个对象，即可？

@老虎会游泳，关于联合体，应该只有 C 能用，C++ 不能：

cppreference - 联合体 - 解释 说：

联合体的大小仅足以保有其最大的数据成员。其他数据成员在该最大成员的一部分相同的字节分配。分配的细节是实现定义的，且读取并非最近写入的联合体成员是未定义行为。许多编译器以非标准语言扩展实现读取联合体的不活跃成员的能力。

@老虎会游泳，诶，好像只是访问时 UB 噢，转换指针类型应该没问题？

@老虎会游泳，比如，(long *)&y，编译器认为结果是 NULL。。。