(2 - 4 = -1), когда значение int присваивается указателю в C?

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

Давайте еще больше упростим ваш вопрос:

p = 2;
q = 4;

printf("P-Q: %d, P: %d, Q: %d", (p - q), p, q);

который дает тот же дурацкий результат:

P-Q: -1, P: 2, Q: 4

Как указал @gsamaras, мы пытаемся вычесть два указателя. Давайте попробуем и посмотрим, как это может привести к -1:

p - q = (2 - 4) / sizeof(int)
      = (-2)    / 4
      = -1

Я предлагаю попробовать пару ваших собственных значений p и q, чтобы посмотреть, что произойдет.

Примеры с разными p и q:

p - q = ??
==========
0 - 0 =  0
0 - 1 = -1
0 - 2 = -1
0 - 3 = -1
0 - 4 = -1
1 - 0 =  0
1 - 1 =  0
1 - 2 = -1
1 - 3 = -1
1 - 4 = -1
2 - 0 =  0
2 - 1 =  0
2 - 2 =  0
2 - 3 = -1
2 - 4 = -1
3 - 0 =  0
3 - 1 =  0
3 - 2 =  0
3 - 3 =  0
3 - 4 = -1
4 - 0 =  1
4 - 1 =  0
4 - 2 =  0
4 - 3 =  0
4 - 4 =  0

Создано с использованием gcc -fpermissive на:

#include <stdio.h>

int main() {
    printf("p - q = ??\n");
    printf("==========\n");

    for (int i = 0; i < 5; ++i) {
        for (int j = 0; j < 5; ++j) {
            int* p = i;
            int* q = j;

            printf("%d - %d = %2d\n", p, q, (p - q));
        }
    }

    return 0;
}

В повторяющемся вопросе упоминается, что:

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

Подробнее об этом читайте в путанице с вычитанием указателя.

Однако ваш код неверен и имеет неправильный формат, поскольку вызывает неопределенное поведение. Пожалуйста, скомпилируйте с включенными предупреждениями, и вы получите:

main.c: In function ‘main’:
main.c:12:7: warning: assignment makes pointer from integer without a cast [-Wint-conversion]
     p = arr[1];
       ^
main.c:13:7: warning: assignment makes pointer from integer without a cast [-Wint-conversion]
     q = arr[3];
       ^
main.c:15:12: warning: format ‘%d’ expects argument of type ‘int’, but argument 2 has type ‘long int’ [-Wformat=]
     printf("P-Q: %d, P: %d, Q: %d", (p - q), p, q);
            ^
main.c:15:12: warning: format ‘%d’ expects argument of type ‘int’, but argument 3 has type ‘int *’ [-Wformat=]
main.c:15:12: warning: format ‘%d’ expects argument of type ‘int’, but argument 4 has type ‘int *’ [-Wformat=]

Ошибки все равно будут. Для предупреждений я просто использовал флаг -Wall.

Чтобы ваш код имел смысл, вы можете просто объявить p и q как простые int, а не как указатели.

Или вы можете сделать это:

p = &arr[1];
q = &arr[3];

printf("P-Q: %td, P: %p, Q: %p", (p - q), (void *)p, (void *)q);

и получить что-то вроде этого:

P-Q: -2, P: 0x7ffdd37594d4, Q: 0x7ffdd37594dc

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