c - C函数是否保证有固定的内存地址？

Question

如果我存储一个指向函数的指针，然后在我的程序执行期间的某个稍后时间点，将它与同一函数的地址进行比较，这两个地址是否保证相等。

例如

int foo(void){return 0;}
int (*foo_p)(void) = &foo;

assert(foo_p == &foo);

在上面的代码中断言总是保证成功吗？是否存在函数地址可以更改的任何情况？

Answer 1

根据 6.5.9:

Two pointers compare equal if and only if both are null pointers, both are pointers to the same object (including a pointer to an object and a subobject at its beginning) or function, both are pointers to one past the last element of the same array object, or one is a pointer to one past the end of one array object and the other is a pointer to the start of a different array object that happens to immediately follow the first array object in the address space.

(加黑体表示强调。)