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()的参数更改为指针，在堆上用{{1分配传入的字符串（所以我可以控制分配等），但这没有任何区别。

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

我现在完全失去了为什么会这样。如果有人对我可能做错了什么有任何想法，请...

感谢所有提前

Answer 1

这个变量：

LEuchar bytes[1048576];

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

Answer 2

您可能需要降低块的大小，或者在堆上分配它们。调用堆栈非常小，但堆栈包含局部变量。默认情况下，Windows堆栈距内存仅1MB，而Unix堆栈为8MB。从该堆栈分配1MB阵列是即时溢出。您需要更改链接器设置以允许更大的堆栈大小。

Answer 3

Rob的规则＃47：当你可以使用向量时，永远不要使用数组：

    // read 1MB chunks from the file and copy to the new destination until finished
    std::vector<LEuchar> bytes(1048576);

    while (!feof(fp))
    {
        size_t read_num = fread(&bytes[0], sizeof(LEuchar), bytes.size(), fp);
        fwrite(&bytes[0], sizeof(LEuchar), read_num, tp);
    }

正如其他人所指出的，问题是1M的LEuchar分配了太多的堆栈。使用向量将该分配转移到免费商店。

调用静态c ++类方法时的堆栈溢出（SIGSEGV）

3 个答案: