Question

我正试图让我的脚进入C，并编写了这个程序，在随机位置显示我的RAM的kb。这是代码，它工作正常：

#include <stdio.h>

int main(){
    char *mem;
    for(int i =0; i < 1024; i++){
        mem++;
        printf("%c", *mem);
    }
    return 0;
}

之后，我在代码中做了以下更改，每次运行程序时都会出现段错误：

#include <stdio.h>


// Just added this signature
int main(int argc, char *argv[]){
    char *mem;
    for(int i =0; i < 1024; i++){
        mem++;
        printf("%c", *mem);
    }
    return 0;
}

我的蜘蛛感官告诉我，我得到的段错是随机的，也应该在第一个例子中引起，但是一次又一次地运行不同的程序使它看起来像是可预测的行为。

$ gcc -v
Configured with: --prefix=/Applications/Xcode.app/Contents/Developer/usr --with-gxx-include-dir=/Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX10.11.sdk/usr/include/c++/4.2.1
Apple LLVM version 7.3.0 (clang-703.0.31)
Target: x86_64-apple-darwin15.6.0
Thread model: posix
InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

Answer 1

当您尝试

时，两个代码段都会调用undefined behavior

走出界限（mem++;，没有分配）
使用未初始化的值（访问*mem）

使用当前版本。

请记住，指针不会神奇地继承（或获取）内存，通常需要使指针指向有效的内容。

Answer 2

mem的值未定义（未初始化），但不是随机的。如果在调用main之前调用其他C运行时函数，则mem使用的堆栈槽可能在其中具有有效指针。将参数添加到主更改使用哪个插槽并更改行为。这可能意味着代码不会崩溃，尽管它不正确。

Answer 3

您需要初始化mem。我想你只是想读取随机内存，但这是不允许的。例如，您可能正在尝试读取其他进程使用的内存，或者您可能正在尝试阅读计算机中甚至不存在的某些地址。

通过更改main的签名，您已经更改了mem中的随机垃圾值。它可能的工作方式是mem从某个寄存器中取一个随机值。修改功能签名后，argc和argv正在使用这些寄存器。因此mem获得垃圾堆栈值的不同垃圾寄存器值。无论如何，你不应该试着跟随垃圾指针。

仅仅因为它在一个例子中起作用，只意味着你很幸运。你仍然不应该这样做。如果任何小事情发生变化，它很可能无法发挥作用。

Answer 4

您永远不会初始化mem，因此其内容未定义。当您尝试使用++递增或取消引用指针时，您会得到undefined behavior。

未定义行为可能发生的一件事情是程序可能看起来正常工作，并且做出看似无关的更改会导致崩溃。

为什么在更改main的签名时会出现段错误？

4 个答案: