为什么使用 char agrv 而不是 char **argv 作为 main 的参数会导致以下输出？

Question

当我这样做时：

int main(int agrc, char argv)
{
    printf("%d", argv);
    return 0;
}

当我从命令行运行程序时得到这个输入：

$ prog_name 0
0

$ prog_name (from 0-7 characters)
48

$ prog_name 12345678
56

$ prog_name 1234567812345678
64

// and so on...

那么这些值是从哪里来的，为什么它们会增加 8？

当我有这个时会发生什么：

int main(int agrc, char argv[])

?

Answer 1

您的输出可能是“普通”argv 参数的地址，即隐式转换 解释为_{see comment below} 为char。换句话说，我怀疑你所拥有的相当于：

int main(int agrc, char **argv)
{
    printf("%d", (char) argv);
    return 0;
}

在我的机器上（CentOS 6 32位）反汇编的目标代码如下：

   0x080483c4 <+0>: push   %ebp
   0x080483c5 <+1>: mov    %esp,%ebp
   0x080483c7 <+3>: and    $0xfffffff0,%esp
   0x080483ca <+6>: sub    $0x10,%esp
   0x080483cd <+9>: mov    0xc(%ebp),%eax
   0x080483d0 <+12>:    movsbl %al,%eax
   0x080483d3 <+15>:    mov    %eax,0x4(%esp)
   0x080483d7 <+19>:    movl   $0x80484b4,(%esp)
   0x080483de <+26>:    call   0x80482f4 <printf@plt>

以及您发布的原始代码：

   0x080483c4 <+0>: push   %ebp
   0x080483c5 <+1>: mov    %esp,%ebp
   0x080483c7 <+3>: and    $0xfffffff0,%esp
   0x080483ca <+6>: sub    $0x20,%esp
   0x080483cd <+9>: mov    0xc(%ebp),%eax
   0x080483d0 <+12>:    mov    %al,0x1c(%esp)
   0x080483d4 <+16>:    movsbl 0x1c(%esp),%eax
   0x080483d9 <+21>:    mov    %eax,0x4(%esp)
   0x080483dd <+25>:    movl   $0x80484b4,(%esp)
   0x080483e4 <+32>:    call   0x80482f4 <printf@plt>

在这两种情况下，$0x80484b4 将"%d" 格式说明符存储为字符串文字，0xc(%ebp) 负责printf() 使用的实际值：

(gdb) x/db 0xbffff324
0xbffff324: -60
(gdb) p $al
$3 = -60

请注意AL（一个字节累加器，即EAX 的一部分）仅“获取”$ebp+0xc 地址处的第一个字节（我的 CPU 是小端序，所以它实际上是 LSB）。这意味着(char) 转换会“切断”argv 地址。

因此，您可能会观察到这些数字中的每一个都未设置log2(n) 最低有效位。这是由于指针类型对象的对齐要求。通常用于 32 位 x86 机器 alignof(char **) == 4。

正如在 cmets 中已经指出的那样，您违反了 C 标准，因此这是 UB 的一个示例。

Answer 2

来自C标准，关于main()的签名

实现没有声明这个函数的原型。

因此，如果您传递不同类型的参数，编译器不会有任何问题。

在您的代码中，

int main(int agrc, char argv)

不是main() 推荐的签名。它应该是

int main(int agrc, char* argv[])

或者，至少

int main(int agrc, char** argv)

否则，在托管环境中，行为未定义。您可以在C11 标准的第 5.1.2.2.1 章中查看更多信息。

在您的情况下，如您所见，您将第二个参数设为 char 类型。根据标准规范，

如果argc 的值大于零，则数组成员argv[0] 到argv[argc-1] 应包含指向字符串的指针......

因此，在这里，提供的 0 被传递给 main() 作为指向 string 的指针，该指针在 char 中被接受，这不是定义的行为。

Answer 3

堆栈上有一个字符串指针，但您在那里声明了一个带有字符的main，然后将其打印为十进制。该字符串的内存地址不可预测，因此您会得到不可预测的输出。

试试这个：

int main( int argc, char* argv[] )
{
    printf( "%s", argv[1] );
    return 0;
}

我认为这会给你想要的。