C99/C11/C2X及嵌入式平台下，多线程访问数组不同元素是否线程安全？

嘿，这个问题确实问到点子上了，很多人刚接触多线程时都会有这个顾虑——毕竟数组内存是连续的，会不会改一个元素的时候不小心碰了隔壁的？我给你一步步捋清楚：

先聊标准C的情况（C99、C11、C2X） #

首先得明确：C11是第一个正式把线程支持纳入标准的版本，之前的C99本身没线程概念，全靠平台扩展（比如POSIX线程）。

• C11和C2X：标准里明明白白说了，如果两个线程访问的是不重叠的内存位置，哪怕其中至少一个是写操作，也不会产生数据竞争。数组的元素虽然在内存里是连续排列的，但每个元素都是独立的内存位置（只要元素不是位域这种特殊类型）。就像你说的my_array[0]和my_array[1]，它们是完全分开的两个字节（假设是char数组），各自的读写操作互不干扰，所以肯定是线程安全的。
• C99：虽然标准没提线程，但在主流的平台线程实现（比如POSIX pthread）里，同样遵循“不重叠内存访问无竞争”的规则。只要你用的是符合规范的线程库，修改数组不同元素的操作依然是安全的。

你担心的“CPU多字节访问会改写相邻元素”其实是想多了。拿char数组来说，每个元素是1字节，CPU对单个字节的读写操作在几乎所有硬件上都是原子性的——也就是说，写my_array[0]的时候，CPU只会操作这一个字节，绝对不会碰my_array[1]。哪怕是更大的元素类型（比如int），只要元素地址是对齐的，CPU的多字节访问也只会针对目标元素本身，不会涉及相邻元素；就算是不对齐的情况，硬件也会拆分操作，但依然只会修改目标元素对应的内存区域，不会误伤邻居。

再说说嵌入式平台的特殊场景 #

如果是单核心、没有传统缓存的嵌入式系统，那情况就更简单了：这类系统里的“线程”（其实大多是RTOS里的任务）是通过时间片切换来执行的，同一时刻只有一个任务在跑。也就是说，修改my_array[0]和my_array[1]的操作是串行执行的，根本不会出现真正的并发访问。

而且单核心下，单个写操作（比如写一个char）通常是一条指令就能完成的，任务切换只会在指令执行完毕的间隙进行，不会打断正在执行的写指令，所以连“半写”的情况都不会发生，完全不用担心安全问题。

最后总结一下 #

• C11/C2X标准下，访问数组不同元素的操作无数据竞争，是线程安全的；
• C99依赖平台线程实现，只要遵循规范，同样安全；
• 单核心无缓存的嵌入式平台，因为任务串行执行，不存在并发冲突，肯定安全。

内容来源于stack exchange