c-如何防止valgrind将静态变量报告为泄漏

Question

我有时会使用静态变量，只在实际调用函数时进行昂贵的初始化，并避免初始化每次调用。例如

#include <glib.h>
#include <stdbool.h>
bool is_blank(char *line) {
    static GRegex *blank_line_re = NULL;
    if( !blank_line_re ) {
        blank_line_re = g_regex_new(
            "^ \s* $",
            G_REGEX_OPTIMIZE | G_REGEX_EXTENDED,
            0,
            NULL
        );
    }
    return g_regex_match(blank_line_re, line, 0, NULL);
}

不幸的是，valgrind会将其报告为内存泄漏。我不认为静态变量是内存泄漏。

如何防止valgrind将静态变量报告为内存泄漏，而不必对每个变量进行特殊的抑制？

或者，C中是否有更好的模式来避免重新初始化？

Answer 1

Glib要求您在使用完正则表达式后立即调用g_regex_unref(GRegex *);。因此，在程序完成之前，您需要一些机制来进行此调用。

您可以有一个全局列表，在其中存储regex指针以最终取消引用，也可以有GRegex *指针全局，在那里您可以使用它来删除obejct，或者您可以重构，使指针由一个单独的函数返回，您可以使用该函数来取消引用。

GRegex * my_blank_reg()
{
  static GRegex *blank_line_re = NULL;
  if (!blank_line_re) 
  {
    blank_line_re = g_regex_new(
      "^ \s* $", G_REGEX_OPTIMIZE | G_REGEX_EXTENDED,  
      0, NULL);
  }
  return blank_line_re;
}
bool is_blank(char *line) 
{
  return g_regex_match(my_blank_reg(), line, 0, NULL);
}
void free_static()
{
  g_regex_unref(my_blank_reg());
}
int main()
{
  // do stuff with is_blank()
  free_static();
  return 0;
}

Answer 2

最简单的方法是在全局或文件范围内定义这样的变量，然后在atexit处理程序中清理它们。

struct s *s1 = NULL;
struct s *s2 = NULL;
void free_global(void)
{
    free(s1);
    free(s2);
}
...
void f1(void)
{
    s1 = malloc(sizeof(struct s));
}
void f2(void)
{
    s2 = malloc(sizeof(struct s));
}
...
int main(void)
{
    atexit(free_global);
    ...
    f1();
    ...
    f2();
    ...
}

如果你真的很喜欢，你可以有一个void *的全局数组，它保存了所有静态/全局分配的副本，这样你以后就可以释放它们，并制作一个函数，获取新分配的指针并将其添加到列表中。

Answer 3

您的指针是静态的，但随后您通过调用g_regex_new()使其指向已分配的缓冲区，并且必须释放缓冲区。

Answer 4

valgrind具有"抑制文件"功能。这是一个配置文件，它指示valgrind忽略某些内存分配，否则这些内存分配会报告为泄漏。

在这种情况下，您可以使用适当的指令指定应该忽略来自is_blank（）函数的内存分配，而不是来自is_blank()本身调用的任何其他函数的内存配置。

您可以在valgrind的文档中找到有关抑制文件的更多信息。