0

我正在尝试将Splint与 MySQL C API 一起使用，并且遇到了一些与释放内存有关的其他问题。在我能找到的所有关于使用 C API 的示例中，唯一被调用的释放函数是mysql_free_result，但行和字段永远不会被释放：

while ((row = mysql_fetch_row(result))) 
{ 
  for(int i = 0; i < num_fields; i++) 
  { 
    if (i == 0) 
    {              
       while(field = mysql_fetch_field(result)) 
       {
          // Bla
       }                  
    }        
  } 
}

mysql_free_result(result);
mysql_close(con);

Splint 当然会抛出一个错误，指出行和字段是内存泄漏。他们是吗？如何解决这个问题？我应该手动释放行和字段结构吗？

编辑：好的，因为mysql_fetch_row当没有更多的行时返回 null，我假设它也会从每个循环的前一行中释放所有内存。但我怎么会告诉斯普林特这件事呢？

编辑2：这是mysql_fetch_row（5.5版）的实现。没有分配内存，该函数只是将您指向下一行。因此，需要一个 Splint 注释来告诉 Splint 没有分配内存，而是共享内存。

MYSQL_ROW STDCALL
mysql_fetch_row(MYSQL_RES *res)
{
  DBUG_ENTER("mysql_fetch_row");
  if (!res->data)
  {                     /* Unbufferred fetch */
    if (!res->eof)
    {
      MYSQL *mysql= res->handle;
      if (mysql->status != MYSQL_STATUS_USE_RESULT)
      {
        set_mysql_error(mysql,
                        res->unbuffered_fetch_cancelled ? 
                        CR_FETCH_CANCELED : CR_COMMANDS_OUT_OF_SYNC,
                        unknown_sqlstate);
      }
      else if (!(read_one_row(mysql, res->field_count, res->row, res->lengths)))
      {
        res->row_count++;
        DBUG_RETURN(res->current_row=res->row);
      }
      DBUG_PRINT("info",("end of data"));
      res->eof=1;
      mysql->status=MYSQL_STATUS_READY;
      /*
        Reset only if owner points to us: there is a chance that somebody
        started new query after mysql_stmt_close():
      */
      if (mysql->unbuffered_fetch_owner == &res->unbuffered_fetch_cancelled)
        mysql->unbuffered_fetch_owner= 0;
      /* Don't clear handle in mysql_free_result */
      res->handle=0;
    }
    DBUG_RETURN((MYSQL_ROW) NULL);
  }
  {
    MYSQL_ROW tmp;
    if (!res->data_cursor)
    {
      DBUG_PRINT("info",("end of data"));
      DBUG_RETURN(res->current_row=(MYSQL_ROW) NULL);
    }
    tmp = res->data_cursor->data;
    res->data_cursor = res->data_cursor->next;
    DBUG_RETURN(res->current_row=tmp);
  }
}
4

1 回答 1

0

共享只读存储的正确注解是/*@observer@*/. 对于共享可写存储，/*@exposed@*/可以使用。

/*@observer@*/ MYSQL_ROW STDCALL mysql_fetch_row(MYSQL_RES *result);

更多在夹板手册。

于 2014-08-12T15:43:12.250 回答