c++ - 调用静态 C++ 类方法时的堆栈溢出 (SIGSEGV)

Question

我已经研究这个问题好几个小时并尝试了各种方法，但结果都是一样的 - 一个 SIGSEGV(来自 gdb；根据 VC 调试，它是一个堆栈溢出...)静态类方法被调用。

罪魁祸首代码:

void LEHelper::copySinglePath (std::string from_path, std::string to_path)
{
    // first check if this path is a file or folder
    if (!folderExists(from_path)) // is a file
    {
        FILE *fp = fopen(from_path.c_str(), "rb");
        FILE *tp = fopen(to_path.c_str(), "wb");

        if (fp && tp)
        {
            // read 1MB chunks from the file and copy to the new destination until finished
            LEuchar bytes[1048576];

            while (!feof(fp))
            {
                size_t read_num = fread(bytes, sizeof(LEuchar), 1048576, fp);
                fwrite(bytes, sizeof(LEuchar), read_num, tp);
            }
        }

        if (fp)
            fclose(fp);
        if (tp)
            fclose(tp);
    }
    else // is a folder
    {
        // make a new directory at the "to" path to copy files into
    #if defined(LE_OS_OSX)
        mkdir(to_path.c_str(), S_IRWXO | S_IRWXG | S_IRWXU);
    #elif defined(LE_OS_WIN)
        mkdir(to_path.c_str());
    #endif

        // need to get all contents and recursively perform this method with correct pathing
        LEArray<std::string> contents = getContentsOfDirectoryUsingFilter(from_path, LEH_DIR_BOTH);
        std::string *current;

        contents.initEnumerator();
        while ((current = contents.nextObject()))
        {
            // first build the current file or folder path (and new path)
            std::string current_path = from_path;
            std::string new_path = to_path;

            if (current->length() > 0)
            {
                current_path += LE_PATH_SEPARATOR + *current;
                new_path += LE_PATH_SEPARATOR + *current;
            }

            // then copy as necessary --- this is where things go bad ---
            copySinglePath(current_path, new_path);
        }
    }
}

调用堆栈是:

#0 00000000 0x0040db8a in _alloca() (??:??)
#1 00403888 LEHelper::copySinglePath(from_path=..., to_path=...) 
#2 00403AD1 LEHelper::copySinglePath(from_path=..., to_path=...) 
#3 00403C8C LEHelper::copyPath(existing_path=..., new_path=..., ow=true) 
#4 00402CD3 main(argc=1, argv=0x992c10) 

在我正在测试的程序中，一旦成功到达所有值都正确的递归点，它就会被调用(我一直在使用 printf 检查字符串值)，但是在调用 其中的 copySinglePath() 失败。由于调用堆栈非常小，我很难相信这实际上是太多递归导致的堆栈溢出......但我的理解可能是错误的。

在研究答案时，我读到大多数段错误是由指针问题引起的，所以我尝试将 copySinglePath() 的参数更改为指针，将传入的字符串分配到heap with new(所以我可以控制分配等)，但这没有任何区别。

同样奇怪的是，这段完全相同的代码在 OSX 上运行完美。因此，我认为我的 mingw 设置可能有问题，所以我用最新的 mingw-get 重新安装了它，但仍然没有什么不同。我什至认为我的 Visual Studio 安装文件可能会以某种方式被使用(包括那个)，所以暂时更改了它们的文件夹以试图确保它仍然编译等，所以不应该是这样......

我现在完全不知道为什么会这样。如果有人对我可能做错的事情有任何想法，请...

提前致谢

Answer 1

这个变量:

LEuchar bytes[1048576];

在堆栈上并且非常大，导致堆栈溢出。使用全局变量或动态分配的变量，问题就会消失。