константная корректность для структур с указателями

Чтобы объяснить, что вам нужно установить, когда вы пишете

point str;

point *p=&str;

Здесь p — указатель на str типа point.

Когда вы объявляете его как const, это означает, что p является константным указателем. Это не ограничивает указатели, которые может содержать структура.

Если вы хотите, чтобы const применялась внутри структуры, вы должны определить указатели внутри структуры также как const

typedef struct{
   const int *  x;
   const int *  y;
}point;

Снова, чтобы подтолкнуть мою точку зрения, объявите параметр как

    void get(point * const  p,int x, int y) 
   //Constant Pointer ( *to prevent p from pointing to anything else*)

    //    AND

   //Make the pointers inside point structure constant
   //( *to prevent the int pointers x & y from pointing to anything else*)

Если структура, на которую он указывает, также является константой, используйте

      void get(const point * const p, int x, int y)
     //Constant Pointer to constant structure 

Вы можете сделать это без приведения типов, определив константный тип точки и изменяемый тип точки, а затем используйте прозрачное объединение:

typedef struct{
    const int *  x;
    const int *  y;
} const_point;

typedef struct{
    int *  x;
    int *  y;
} mutable_point;

typedef union __attribute__((__transparent_union__)) {
    const_point cpoint;
    mutable_point point;
} point;

Затем вы объявляете параметры своей функции, используя либо тип point, либо тип const_point (никогда не тип mutable_point).

Объект типа point будет прозрачно приведен к типу const_point, но не наоборот. Это позволяет вам иметь большую степень безопасности типов.

См. здесь пример в gcc: http://toves.freeshell.org/xueg/

Обратите внимание, что прозрачное объединение не поддерживалось в последней версии C++, которую я проверял (не уверен в последнем стандарте C++), поэтому вы можете ожидать проблем с переносимостью.

Это также может затруднить чтение и поддержку кода, особенно если у вас более сложная структура. например: у вас может быть тип точки, где x или y является константой, или вам может потребоваться встроить структуру точки в другую структуру, например. прямоугольник, для которого вам, возможно, придется определить несколько структур для нескольких типов в зависимости от их константности.

В общем, я не уверен, что это всегда стоит дополнительных хлопот.

Если я правильно понимаю ваш вопрос, вы хотели бы получить автоматическое распространение константности всего объекта структуры на объекты, на которые указывают члены этой структуры. т.е. если объект структуры не является константным, массивы должны быть модифицируемыми, а если объект структуры константным, массивы не должны модифицироваться.

Если так, то, к сожалению, на языке C это недостижимо.

В C++ это можно сделать, заставив пользователя использовать функцию-аксессор для доступа к элементам данных (вместо прямого доступа к элементам данных). Но в C это просто невозможно сделать.

Это потому, что вы меняете содержимое памяти, на которое указывает другой указатель, а не p.

p указывает на структуру, содержащую 2 указателя на int. Вы меняете не память, на которую указывает p, а другую область памяти. Так что с компилятором все в порядке.

       +----------+
p ->   |    x     |  -> wherever  
       +----------+
       |    y     |  -> another place in memory
       +----------+

constness od p не передается по наследству. Если бы вы написали p->a = array;, компилятор бы пожаловался. const - это всего лишь контракт, в котором говорится, что вы не будете изменять память с помощью этого указателя.