为什么C语言中char** argv与char* argv[]等价？

你之前对数组传参隐式转换、下标运算等价指针偏移的理解完全正确，疑惑的核心是混淆了「函数形参场景下的数组语法特殊规则」和「指针对应的实际内存布局」。

为什么函数形参中char *argv[]和char **argv等价 #

这不是针对argv的特殊设计，是C标准明确规定的通用规则：所有在函数形参列表中声明的数组类型，编译器都会直接将其调整为指向数组元素类型的指针。
套你已经掌握的int数组例子就能推出来：

• 形参写int arr[]时，数组元素类型是int，调整后形参类型为int *arr
• 形参写char *argv[]时，数组元素类型是char *（字符指针），调整后形参类型自然是指向char *的指针，也就是char **argv

注意这个等价性仅在函数形参声明场景生效。如果是在全局作用域、函数内部普通变量声明的位置写char *argv[]和char **argv，二者的内存布局、语义完全不同，不能混用。

二级指针本身根本没有存储多个值 #

你这里的认知偏差是把指针本身和指针指向的内存空间搞混了：

• char **argv本身就是一个普通的指针变量，64位系统下占8字节、32位系统下占4字节，它自身只存一个内存地址，没有能力存储多个字符串或者多个指针。
• 它存储的这个地址，指向一片连续的char *类型内存空间——这片空间里的每个元素都是独立的char*指针，分别指向各个命令行字符串的首地址，空间末尾会放一个NULL指针作为结束标记。

你写的赋值操作argv[2] = "Hello"完全符合你已经掌握的下标运算规则：argv[2]等价于*(argv + 2)，逻辑是先取出argv存的基地址，向后偏移2个char*类型的长度（64位下偏移16字节），找到对应位置的内存空间，再把字符串常量"Hello"的首地址写入这个位置。整个过程操作的是argv指向的那片连续指针数组的内存，和argv本身存几个值没有关系。

给你一个直观的内存布局参考（64位环境示例）：

argv变量自身存储值：0x7ffdabcdef00 （这是下面指针数组的首地址）
----------
0x7ffdabcdef00: 0x400000 → 指向第一个字符串，即程序名"./test"
0x7ffdabcdef08: 0x400010 → 指向第二个参数字符串
0x7ffdabcdef10: 0x400020 → 指向第三个字符串"Hello"
0x7ffdabcdef18: 0x400030 → 指向第四个字符串"World"
0x7ffdabcdef20: 0x0      → NULL，标记参数列表结束

几个容易踩的认知误区 #

• 不要把「指向数组首元素的指针」等同于数组本身：argv是二级指针，只是恰好指向了一个字符指针数组的首元素，它自身不是数组。
• 数组退化规则是通用的：除了作为sizeof、&操作符的操作数，以及用字符串字面量初始化字符数组的场景，所有数组名出现在表达式中时，都会退化为指向数组首元素的指针。比如你在函数内定义char *my_args[] = {"a", "b", "c"};，把my_args传给接收char**类型形参的函数时，my_args会自动退化为指向第一个char*元素的指针，类型正好匹配，不需要强转。
• 你之前记的arr[i]等价于*(arr + i)是完全正确的，不管arr是数组名、一级指针还是二级指针，这个等价规则都成立。

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