Вычитание массива char из указателя char создает int?

Question

В приведенном ниже примере strchr приведен пример данного примера.

/* strchr example */ 
#include <stdio.h> 
#include <string.h> 

int main() 
{ 
    char str[] = "This is a sample string"; 
    char * pch; 
    printf ("Looking for the 's' character in \"%s\"...\n",str); 
    pch=strchr(str,'s'); 
    while (pch!=NULL) 
    { 
    printf ("found at %d\n",pch-str+1); 
    pch=strchr(pch+1,'s'); 
    } 
    return 0; 
} 

Почему вычитание char массива str из char указателя pch плюс один дать int? (как обозначается форматом %d) Если я удалю «-str», программа не будет выполняться до тех пор, пока я не изменю %d на %s.

Answer 1

Короткий его в том, что это ошибка :
Это выражение может быть типа int, или вы можете иметь Неопределенное поведение в вызове printf.

Давайте шаг за шагом:

1. Вы на самом деле не вычитая массив из указателя, а указатель с указателем:
   почти во всех контекстах, в array decays to a pointer to its first element.

2. Какая разница между двумя указателями (что определено только в том случае, если они указывают на или непосредственно за элементами из того же массива)?

   ptrdiff_t (Это то, что typedef в <stddef.h> для.)

3. ptrdiff_t может случиться быть int, но не зависят от него.
   Вместо этого используйте соответствующий формат-спецификатор: %ti.

Answer 2

Имена массивов распадается на указатели (в большинстве случаев) на первый элемент. Вычитание двух указателей дает данные типа ptrdiff_t, при условии, что обе точки относятся к элементам того же массива.

Answer 3

Вы смотрите на одну из странностей C/C++ и указатели. Синтаксис и семантика указателя и массива - просто орехи.

str является указателем на символ (а также массив). pch - указатель на символ.

Если вы вычтите два указателя на один и тот же тип, вы получите количество элементов между ними.

Вы можете даже сделать

3 [str] ; 

что эквивалентно

str[3] ; 

и эквивалентно

*(str+3) ; 

Ваше выражение:

pch - 1 

имеет указатель на символ. Ваше выражение

pch - str 

имеет тип int.