为什么检查字符串文字时 mprobe 会失败？

Question

为了确保我实现的数据结构功能健全，我使用mcheck 编写了一个测试文件，以确保我在分配的内存范围内工作。但是，当尝试在字符串文字上使用mprobe()（并在开头调用mcheck(NULL)）时，程序总是以MCHECK_HEAD 中止。

我用我能想到的最小程序尝试了这个：

#include <mcheck.h>
#include <stdio.h>

int main()
{

    mcheck(NULL);
    mprobe("test");

    exit(0);

}

结果如下：

$ gcc test.c -lmcheck
$ ./a.out
memory clobbered before allocated block
Aborted (core dumped)

因此，mcheck 似乎在遇到字符串文字时都会失败，认为前面的内存已被修改。为什么？是不是因为字符串没有明确malloced？

Answer 1

enum mcheck_status mprobe(void *ptr);

[...]

mprobe() 函数对ptr 指向的已分配内存块执行一致性检查。

字符串文字不是指向已分配内存的指针。 C 标准非常严格地将已分配存储定义为使用malloc、calloc、realloc 等分配的存储。 POSIX 扩展了列表，例如与strdup。另一方面，字符串文字是具有静态存储持续时间的不可修改的 array 字符，尽管它没有 const 元素类型，这就是您没有收到警告的原因.试试：

char *foo = "test";
const char *bar = "test";
mprobe(foo);
mprobe(bar);

和编译器reports a constraint violation编译后一个调用：

<source>: In function 'main':
<source>:12:12: warning: passing argument 1 of 'mprobe' discards 'const' qualifier
from pointer target type [-Wdiscarded-qualifiers]
   12 |     mprobe(bar);
      |            ^~~
In file included from <source>:1:
/usr/include/mcheck.h:53:41: note: expected 'void *' but argument is of
type 'const char *'
   53 | extern enum mcheck_status mprobe (void *__ptr) __THROW;
      |                                   ~~~~~~^~~~~