分配内存块并立即在C中释放它失败

Question

在我与Python集成的C模块的代码中，我有一个char**（字符串数组），它被反复分配，用分配的字符串填充，然后释放并再次分配。一般的模式是，当调用某个函数（从Python）提供数组的新内容（以列表的形式）时，它遍历字符串数组，释放每个字符串，然后释放数组本身。然后它再次分配数组来保存新Python列表的内容，然后为每个要保存的字符串分配内存。在

所有这些都说明我在试图释放列表中的一个字符串时遇到了一个错误。这个错误是确定的；它总是来自程序中同一点的同一个单词列表中的同一个单词，但是这个单词或单词列表没有什么特别之处。（它只是[“CCellEnv”，“18”，“34”]，这与许多其他格式类似）我尝试在分配字符串的循环中添加一些调试代码；以下是产生错误的函数：

static PyObject* py_set_static_line(PyObject* self, PyObject* args)
{
    int i;
    //Free the old values of the allocated variables, if there are any
    if (numStaticWords > 0)
    {
        for (i = 0; i < numStaticWords; i++)
        {
            printf("Freeing word %d = '%s'\n", i, staticWords[i]);
            free(staticWords[i]);
        }
        free(staticWords);
        free(staticWordMatches);
    }

    //Parse arguments
    PyObject* wordList;
    unsigned short numWords;
    PyObject* wordMatchesList;
    if (!PyArg_ParseTuple(args, "O!HO!", &PyList_Type, &wordList, &numWords, &PyList_Type, &wordMatchesList))
        return NULL;

    numStaticWords = numWords;
    if (numStaticWords > 0)
    {
        staticWords = malloc(sizeof(char*) * numStaticWords);
        staticWordMatches = malloc(sizeof(int) * numStaticWords);

        PyObject* wordObj;
        PyObject* matchObj;
        char* word;
        for (i = 0; i < numStaticWords; i++)
        {
            //wordList is the list of strings passed from Python
            wordObj = PyList_GetItem(wordList, i);
            word = PyString_AsString(wordObj); //word is "18" in the failing case

            //staticWords is the char** array of strings, which has already been malloc'd
            staticWords[i] = malloc(sizeof(char) * strlen(word));

            //Test freeing the word to see if it crashes
            free(staticWords[i]); //Crashes for one specific word

            staticWords[i] = malloc(sizeof(char) * strlen(word));
            strcpy(staticWords[i], word);

            matchObj = PyList_GetItem(wordMatchesList, i);
            if (matchObj == Py_None)
            {
                staticWordMatches[i] = -1;
            }
            else
            {
                staticWordMatches[i] = PyInt_AsLong(matchObj);
            }
        }
    }
    Py_RETURN_NONE;
}

所以，不知何故，总是并且只针对这个特定的字符串，分配内存以放入它，然后立即释放内存会导致错误。字符串的实际文本甚至没有复制到内存中。是什么导致了这种神秘的行为？在

Answer 1

这里

staticWords[i] = malloc(sizeof(char) * strlen(word));
strcpy(staticWords[i], word);

您缺少为“strings”分配0-终止符。因此，对这些字符串数组进行任何操作，很可能会导致未定义的行为。在

这样做：

^{pr2}$