关于Linux memcpy中restrict关键字特殊语法的技术问询

背景 #

我知道C语言的restrict限定符用来约束两个指针指向的内存区域不重叠，原本以为Linux下memcpy的原型是：

void* memcpy(void *restrict dest, const void *restrict src, size_t count);

但查文档时看到的声明是：

void *memcpy(void dest[restrict .n], const void src[restrict .n], size_t n);

问题解答 #

1. 语法引入时机 #

这个带.n的数组参数语法是C99标准引入的，属于标准C范畴，不是GNU扩展。它是C99变长数组（VLA）特性的配套语法，用于函数参数列表中关联数组长度和后续参数。

2. .n的含义与标准属性 #

这里的.用来指代参数列表中后续的同名参数n，明确dest和src指向的内存块长度等于第三个参数n的值。这种写法是C99标准规定的内容，属于标准语法，核心作用是给编译器传递额外的语义信息，帮助优化代码或做边界检查。

本质上void dest[restrict .n]和void *restrict dest等价（数组参数会退化为指针），但前者多了长度关联的语义提示。

内容的提问来源于stack exchange，提问作者tinkerbeast