2

在我与 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;
}

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

4

1 回答 1

8

这里

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

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

这样做：

{
  int isNull = !word;

  staticWords[i] = calloc(sizeof(*staticWords[i]), (isNull ?0 :strlen(word)) + 1);
  strcpy(staticWords[i], isNull ?"" :word);
}
于 2013-01-02T16:19:31.837 回答