为什么允许使用C中的指针修改常量？

Question

我想知道为什么允许使用指针修改常量？

int main( int argc, char ** argv ) {
  const int my_const = 9;
  int *ptr = &my_const;
  *ptr += 10;
  printf("%d", my_const);
  return 0;
}

这会打印 19 而不会出现任何错误 这是编译器特定的行为吗？ （我在Windows上运行 gcc 4.7 ）

...谢谢