Добавление указателей на обугливает

Question

Я подозреваю, когда по причинам переносимости добавления указателей делает допущения, лежащие в отношении реализации, но может кто-то пожалуйста, объясните, почему под MinGW GCC я не могу сделать следующее, из-за следующей ошибки

«недействительных операнды бинарной + (имеют char *char * и)»

char *cbase; 
char *ep; 
char *tbase; 
tbase = ep + tbase; 

Тем не менее, если я немного манипулировать код, который я могу уйти с

char *cbase; 
char *ep; 
int temp; 

temp = cbase; 
tbase = ep + temp; 

Я знаю, что я делаю некоторые предположения относительно реализации указателя, но мой вопрос в том, почему компилятор не может решить это для меня?

Answer 1

TL; DR - Вы не можете добавить два указателя.

Указатель (и) - (-ы) адрес (-ы) памяти. Подумайте на мгновение, даже если вы бы были разрешено добавить два указателя, каково значение результата? Он будет производить в основном a недействительный значение, не так ли?

OTOH, вы можете добавить int в указатель. Это похоже на создание адреса , перемещающегося, что многие элементы.

Кроме того, от стандарта C11, глава §6.5.6, Аддитивные операторы (курсив мой)

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

Answer 2

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

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

char *source = "Some text for a test"; 
char *head = strstr(source, "text"); 
char *tail = strstr(source, "for"); 
size_t length = tail - head - 1; 

даст вам длину text, так что вы можете вычислить разницу указателей.