指针段错误与未定义的行为

Question

如果我添加命令行参数或注释掉调用cpy 函数，为什么此代码在定期运行时会产生段错误，但未定义行为而不是段错误？

#include <cstdlib>
#include <iostream>
#include <cstring>
using namespace std;

int *p;

void fn() {
    int n[1];
    n[0]=99;
    p = n;

}

void cpy(char *v) {
    char x[8];
    strncpy(x,v,8);
}

int main(int argc, char** argv) {
    fn();
    cpy(argv[1]);
    cout << "p[0]:" << p[0];
}

我知道n 是函数fn 的本地变量，但是有没有办法让缓冲区溢出或输入argv[1] 的内容以使其打印n 从任何地方保存的值它在/曾经在内存中吗？

Answer 1

如果你不传递参数，那么argv[1]==nullptr。然后cpy(argv[1]) 是cpy(nullptr) 并且cpy 调用strncpy(x,nullptr,8) 和segfaults。

如果你注释掉cpy，那么没有段错误。

如果你传递一个参数，那么 cpy 就不会出现段错误。但是你会遇到一个不同的问题：fn 做了p=n，但是 n 被声明在堆栈上，所以回到 cout<<p[0] 的 main 中，p 指向不再存在的对象 n，所以行为是未定义的。