与 const 相同的地址和不同的值

Question

我在一个简单的 C 代码中发现了一点奇怪的东西。 实际上，我有 2 个变量，第一个是 const 变量，第二个是第一个变量的指针。

问题是，如果我打印这 2 个地址，它们是相同的，但如果我打印的值是不同的：

#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>

int                         main(void)
{
    bool const              b = true;
    bool                    *adr_b = (bool*)&b;

    *adr_b = false;
    printf("%p\n%p\n", &b, adr_b);
    printf("str = %d %d\n", b, *adr_b);

    printf("%p\n%p\n", &b, adr_b);
    return (0);
}

这怎么可能？

编辑

事实上，我知道这种行为是未定义的，但这是一个技术问题：如何一个地址可以存储 2 个不同的值？

Answer 1

未定义的行为。您正在修改 const 变量。

C11 Standard Appendix J.2. Undefined behavior:

尝试通过使用具有非 const 限定类型 (6.7.3) 的左值来修改使用 const 限定类型定义的对象。

附录 J.2 虽然不是规范性的，但可以方便地找到标准中的实际规范性位置。 6.7.3 in paragraph 6 说：

6 如果尝试通过使用具有非 const 限定类型的左值来修改使用 const 限定类型定义的对象，则行为未定义。如果尝试通过使用具有非 volatile 限定类型的左值来引用具有 volatile 限定类型定义的对象，则行为未定义。133)

---

由于您尝试 - 并成功修改 - 通过使用具有非 const 限定类型 bool（此处为 *adr_b）的左值定义了具有 const 限定类型 (const bool b) 的对象，C 标准此后对程序的行为“没有要求”。有nasal demons。