c - 如果 "argstr"是 C 中的二维数组，那么 argstr = argstr[0] 怎么办？为什么值(value)观不一样？

Question

我写了下面的程序。

#include<windows.h>
#include <stdio.h>
#include<tchar.h>

#define MAX_ARG 5 
#define MAX_COMMAND_LINE 10 

int _tmain(int argc, LPTSTR argv[]){

BOOL exitFlag = FALSE;
TCHAR command[MAX_COMMAND_LINE], *pc;
DWORD i, localArgc;
TCHAR argstr[MAX_ARG][MAX_COMMAND_LINE] = {"abcdef", "Dravid", "sachin", "ganguli" };

char name[10] = "Happy";

// Why argstr == argstr[0]
printf("%p   %p \n", name,  name[0] );      // name != name[0]  
printf("%p  %p = %p\n", argstr, argstr[0], *argstr);


// Why there is no difference if it increase left or right variable value? 
TCHAR *place = malloc(10 * sizeof(TCHAR *));
place = argstr[0];
printf("%c  %c \n", *++place, *place ); // Incremented the left parameter
printf("%c  %c \n", *place, *++place ); // Incremented the right parameter

return 0;
}

1) 为什么 argstr == argstr[0] ？

2) 在 printf 中，从哪一侧(右/左)进行计算？

Answer 1

为了清楚起见，如果 argstr 声明为

，则将非标准的 TCHAR 排除在外

char argstr[MAX_ARG][MAX_COMMAND_LINE] = {"abcdef", "Dravid", "sachin", "ganguli" };

那么它的类型用英文可以表示为“array of MAX_ARG arrays of MAX_COMMAND_LINE char”。另一方面，argstr[0] 的类型是“MAX_COMMAND_LINE char 数组”。这两个对象甚至没有兼容的类型，因此它们不可能相等。

据我所知，您提供的代码实际上并未测试它们的相等性。也就是说，它无处尝试评估 argstr == argstr[0]。如果是这样，并且如果编译器完全值得使用，那么它至少会警告操作数之间的类型不匹配。然而，它可能仍然接受代码，并且在运行时比较可能评估为真。这是为什么？

首先，您需要了解在几乎所有 C 上下文中，计算结果为数组 decays 的表达式。指向数组第一个元素的指针。特别是，因为 argstr 和 argstr[0] 都指定数组，所以表达式 argstr == argstr[0] 等同于 &argstr[0] == &argstr[0][0]。

此外，C 要求数组的第一个元素与数组本身具有相同的地址——也就是说，数组不能在其第一个元素之前包含任何填充。因此，argstr[0][0]的地址与argstr[0]的地址相同。这就是为什么如果编译器接受 argstr == argstr[0] 尽管类型不匹配，它很可能会评估为真。

您实际上要测试的是 printf() 如何打印两个指针。这里又遇到了类型问题，因为 printf() 的 %p 字段描述符要求相应的参数具有 void * 类型，并且您实际对应的参数具有不同的(指针)类型。形式上，由于这个原因，您的代码具有未定义的行为，但在所有对象指针具有相同表示的许多实现中，它可能会产生与此正确版本相同的结果:

printf("%p  %p = %p\n", (void *) argstr, (void *) argstr[0], (void *) *argstr);

虽然不能保证，但很有可能以相同的方式格式化每个指针，因为它们都代表相同的地址。