c - 为什么丢弃 const-qualification 不会导致任何警告？

Question

struct istruct {
   const int i;
};
const int i = 1;
struct istruct is = {1};

void *voidp_i = &i; // warning: discards 'const' qualifier
void *voidp_is = &is; // no warning

就所有意图和目的而言，struct istruct 似乎被解释为 const 限定类型。如果那是真的，那么最后一行也发出警告不是很有意义吗？

Answer 1

void *voidp_is = &is;

这里 &is 是 struct istruct * 类型，没有 const 限定符，只有成员 i 是常量。请注意，写入结构的 const 成员(例如 ((struct istruct *) voidp_is)->i=0;)将导致未定义的行为，因为您是修改 const int。 (C2011, 6.7.3/6)

void *voidp_i = &i;

在此示例中，&i 的类型为 int const * 并且 const 限定符在初始化时被丢弃。