让 asprintf 使用也是输入的非 NULL 目标指针是否安全？

Question

tl;dr 可以在不调用临时指针的情况下天真地使用asprintf 进行连接吗？

---

由 GNU 引入并在其他几个 clib 实现中采用的函数 asprintf 是使用类似方案的 c 中任意连接的诱人解决方案

int i=0;
char *str = strdup(argv[i]);
while (argv[++i]) {
   asprintf(&str,"%s %s",argv[i],str);   // <=== This line
}
asprintf(&str,"%s\n",str);

当包装在 main 和必要的 include 中时，这对我来说运行良好。

但是……

是不是到处都在泄漏内存？ Valgrind 说它在我的盒子上。这是一个错误吗？

我面前的手册页说

asprintf() 和 vasprintf() 函数将 *ret 设置为指向 缓冲区足够大以容纳格式化的字符串。这个指针 应该传递给 free(3) 以释放分配的存储空间 不再需要。如果无法分配足够的空间，asprintf() 并且 vasprintf() 将返回 -1 并将 ret 设置为 NULL 指针。

在没有短语 "set *ret to be a pointer to a new buffer [...]" 的情况下，我很想假设该函数使用realloc，就像getline 一样。

可能有什么问题？

使用签名int asprintf(char **ret, const char *format, ...); 表示具体性。

1. asprintf 运行 realloc 太快了。

   想象一下，我们在一个很远的地方实现了这个函数，以至于我们可以在 realloc(*ret) 取消引用一个别名为原始缓冲区的可变参数之前运行它。该缓冲区已被释放，这在技术上是未定义的行为。这将代表一个错误。

2. asprintf 在读取缓冲区之前先写入缓冲区。在上面的代码中，我们可以想象函数将argv[1] 的内容复制到*ret 之前的每个va_arg 上的str 参数。我引用的手册页似乎没有排除这种情况。

3. asprintf 不直接使用free *ret，也不是通过使用realloc。这将避免问题编号 (1)，但如果按上述方式使用，则会泄漏内存。再次，该手册页似乎没有排除它。

解决方法

上述所有情况都可以通过替换对asprintf 的单个调用来避免

{
  char *newStr = NULL;
  asprintf(newStr,"%s %s",argv[i],str);
  free(str);
  str = newStr;
}

但这很笨重。

共识实现是否保证第一个代码示例安全正确？

Answer 1

是不是到处都在泄露内存？

是的，确实如此。

char *str = strdup(argv[i]);

这里，str 包含一个指向 malloc()ated 内存的指针，它应该是 free()d。

asprintf(&str, "%s %s", argv[i], str);

这里，asprintf() 修改了str，使其指向函数本身分配的其他一些内存。现在您只是丢失了指向strdup()ped 字符串的指针，因此发生了泄漏。