Арифметика указателей на структуры

Question

Арифметика указателей на структуры

0

Я изучал C- код, когда натолкнулся на следующий фрагмент:

struct example *example_clone(struct example *ex)
{  
    struct example *new_ex;  
    new_ex = ex + 1;    // How does this works ?    
    ....  
    new_ex = some_func(...);  //makes new_ex as struct example
    ....  
}

Теперь рассмотрим new_ex = ex + 1;
Является ли new_ex сразу после ex в памяти?
Что делать, если какой-либо другой объект существует после ex в памяти. Он заменен?

Vikas Raturi 11 нояб. 2014, в 23:00

Источник

2

С арифметикой указателя +1 означает + sizeof(struct example) .
Galik 11 нояб. 2014, в 21:54
2

Если входной указатель ex указывает на массив структур, то ex+1 указывает на следующую структуру в массиве. Но если ex указывает на одну структуру, то ex+1 не указывает ни на что полезное.
user3386109 11 нояб. 2014, в 21:55
0

new_ex = ex + 1; означает new_ex = &ex[1];
BLUEPIXY 11 нояб. 2014, в 22:43

Показать ещё 1 комментарий

Теги:

c++

c

pointers

memory-management

3 ответа

2

Является ли new_ex сразу после ex в памяти?

Да. Он указывает на адрес памяти только за конец ex.

Что делать, если какой-либо другой объект существует после ex в памяти. Он заменен?

Одна из двух вещей случится. Во-первых, он может перезаписать объект, который есть. Во-вторых, это может быть segfault, если эта память недоступна. По этой причине я считаю эту функцию опасной. Я бы вручную ввел этот код, чтобы вы могли проверить содержимое/существование ex + 1.

Degustaf 11 нояб. 2014, в 20:34

2

Добавление 1 в указатель означает пункт следующего элемента. Помните, что указатели указывают на объект определенного типа (это не просто номера в памяти).

Например, если вы указываете на первый автомобиль на дворе автомобиля, то выполнение +1 означает, что вы указываете на второй автомобиль.

Если на самом деле нет другого объекта, тогда это нормально, C имеет специальный случай, когда вам разрешено указывать один за концом существующего объекта. Но если вы снова +1 это приведет к неопределенному поведению.

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

M.M 11 нояб. 2014, в 19:46

Ещё вопросы

С арифметикой указателя +1 означает + sizeof(struct example) .
Если входной указатель ex указывает на массив структур, то ex+1 указывает на следующую структуру в массиве. Но если ex указывает на одну структуру, то ex+1 не указывает ни на что полезное.

ouah · Accepted Answer · 2014-11-11T20-24-00.000Z

Функция предназначена для вызова с массивом объектов struct example.

Например:

struct example bla[2] = { /* initializers */ };

example_clone(bla);  // OK, bla[1] will be overwritten

Это нормально, так как ex + 1 указывает на существующий объект.

Но передача указателя на объект, а не на элемент массива, не в порядке:

struct example blo = { /* initializers */ };

example_clone(&blo);  // Not OK, the object at &blo + 1 will be overwritten

Это не так, поскольку ex + 1 не указывает на существующий объект. Выполнение функции вызовет неопределенное поведение.