5

Вопрос по поводу арифметики указателей С. Пусть

int *p;
int *q;
int *o;
int i;
o = NULL;

Допустим p и q указывают на разные элементы одного массива. Допустимы выражения (i, естественно, где-то определено):

p+i; q-i; p-q;

А допустимо ли:

p-o;
o-p;

И что получится, если допустимы? Т.е. с одной стороны o не указывает на тот же массив и вроде нет, но он же равен и обычному 0, и первое вроде бы да.

2
  • Допустимы, но бессмысленны.
    – Mirdin
    Commented 23 дек. 2015 в 15:44
  • 1
    @Mirdin, что означает бессмысленны? Истинно ли p == p - NULL? И что такое NULL - p - на что он указывает и указатель ли это. Или в обоих случаях UB?
    – andy.37
    Commented 23 дек. 2015 в 15:50

4 ответа 4

8

Нет, не допустимы.

Стандарт С++ говорит (С++11 [expr.add]p6), что если два указателя не принадлежат одному массиву, то поведение не определено.

Результат вычитания двух указателей - это количество элементов между ними. Если p не выровнен на sizeof(int), то выражение p-o должно вернуть дробное количество элементов, чего не может быть.

При этом выражение p-NULL может быть валидно только если NULL - это #define NULL 0, и не валидно если, например, NULL определено как (void*)0 (в Си). Поскольку стандарт не говорит как именно должен быть определен NULL, то следует считать, что выражение p-NULL не валидно.

Примечание: выражение p-0 валидно и равно p, но это работает только для целого числа 0.

11
  • а границы массива разве компилятор отслеживает?
    – Mirdin
    Commented 23 дек. 2015 в 16:04
  • Почему про 0 удалили? К тому же, если оба указателя есть 0, то их можно вычитать друг из друга. По Вашей же ссылке п.7.
    – αλεχολυτ
    Commented 23 дек. 2015 в 16:05
  • Это понятно, интересовало, не преобразуется ли нулевой указатель в целый ноль, хотя, если задуматься, нет ни одной причины для этого.
    – andy.37
    Commented 23 дек. 2015 в 16:05
  • @Mirdin нет, конечно, не отслеживает. Можно смело вылезать за границы массива, если нужно. Просто не могу придумать, зачем это может понадобиться.
    – andy.37
    Commented 23 дек. 2015 в 16:07
  • 1
    @andy.37 NULL не может быть определен как (void*)0 в c++, о чем однозначно сказано в Стандарте: Possible definitions include 0 and 0L, but not (void*)0. Вытекает это из того, что в плюсах void* не может быть неявно преобразован в T*. Если бы NULL был определен как (void*)0, то конструкция вида int* p = NULL вызывала бы ошибку компиляции, но она валидна.
    – αλεχολυτ
    Commented 24 дек. 2015 в 8:29
3

Краткий ответ:

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

Подробный ответ:

В соответствии со Стандартом C++ в п. 18.2/3 сказано:

The macro NULL is an implementation-defined C++ null pointer constant in this International Standard (4.10).

При этом в сноске указаны возможные и однозначно невозможные варианты реализации:

Possible definitions include 0 and 0L, but not (void*)0.

п.4.10/1 говорит, что такое null pointer constant (выделено мной):

A null pointer constant is an integer literal (2.14.2) with value zero or a prvalue of type std::nullptr_t.

Т.о. NULL развовачивается либо в целочисленный тип, но не ясно в какой (int, long и т.д.), либо в константу nullptr (это единственно возможное значение для типа std::nullptr_t). Более подробно тут.

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

Возвращаясь к выражениям из вопроса, позволю себе немного модифицировать пример для большей самодостаточности кода:

int arr[] = {1, 2, 3};
int* p = arr;
int* o = NULL;

auto s1 = p - o;
auto s2 = o - p;
auto s3 = p - NULL;
auto s4 = o - NULL;
auto s5 = NULL - NULL;
auto s6 = o - o;

Выражения s1 и s2 имеют тип такой же как std::ptrdiff_t из <cstddef> и они приводят к неопределенному поведению (UB) на основании того, что это вычитание двух указателей, не принадлежащих одному массиву (5.7/6) (ведь NULL не может указывать ни на один существующий в программе объект):

Unless both pointers point to elements of the same array object, or one past the last element of the array object, the behavior is undefined

Выражения s3 и s4 имеют тип такой же, как у p и o соответственно. В данном случае это int* и они валидны, на основании того, что это вычитание целочисленного аргумента (см. что такое NULL в начале ответа) из указателя (5.7/8):

If the value 0 is added to or subtracted from a pointer value, the result compares equal to the original pointer value.

При этом значение s3 такое же как у p, а значение s4 такое же как у o.

Выражение s5 имеет целочисленный тип, зависимый от того, как определен NULL на основании продвижения (promotions) целочисленных аргументов (4.5) и, разумеется, валидно, т.к. представляет собой разность двух целых значений.

Выражение s6 валидно и имеет тип std::ptrdiff_t на основании п. 5.7/8 (выделено мной):

If two pointers point to the same object or both point one past the end of the same array or both are null, and the two pointers are subtracted, the result compares equal to the value 0 converted to the type std::ptrdiff_t.

10
  • 1
    Ну, это бесспорно, и очевидно, а вот если один из указателей - 0?. И, сорри, это не ответ на вопрос.
    – andy.37
    Commented 23 дек. 2015 в 15:46
  • @andy.37, результатом будет разность чиселенных значений указателей делёная на размер типа данных указателя. Если указатели невалидные, то результат просто не будет иметь какого-то практического смысла.
    – insolor
    Commented 23 дек. 2015 в 15:50
  • Possible definitions include 0 and 0L, but not (void*)0. Означает ли это, что макрос NULL может быть определён только как 0 или 0L? Или он может быть определён как, например, 0LL или, например, nullptr?
    – wololo
    Commented 20 февр. 2018 в 10:33
  • @wololo из этой фразы следует возможность как минимум двух реализаций и невозможности как минимум одной.
    – αλεχολυτ
    Commented 20 февр. 2018 в 10:58
  • 1
    @wololo чтиво на тему, может ли NULL быть nullptr
    – αλεχολυτ
    Commented 21 февр. 2018 в 12:28
2

Для традиционных систем с линейным адресным пространством, размер которого задан разрядностью указателя, например, x86 (и по крайней мере в Linux/gcc/g++ (в других не проверял)) все компилируется и как ни странно вполне осмысленно.

Посмотрим небольшую программку

avp@avp-xub11:hashcode$ cat c2.c
#ifdef __cplusplus
#include <iostream>
#endif

#include <stdio.h>
#include <stdlib.h>
#include <string.h>

#ifndef T
#define T int
#endif

int 
main (int ac, char *av[])
{
  T arr[] = {1, 2, 3};
  T* p = arr;
  T* o = NULL;
  long i = p - o, j = o - p;

  printf("%p %lx (%lx) %lx (%lx) [%lx + %lx = %lx]\n", p, 
     (long)(p - o), (long)((p - o)) * sizeof(*p),
     (long)(o - p), (long)((o - p)) * sizeof(*p), 
     i, j, j + i);

};

avp@avp-xub11:hashcode$ uname -a
Linux avp-xub11 3.13.0-74-generic #118-Ubuntu SMP Thu Dec 17 22:52:02 UTC 2015 i686 i686 i686 GNU/Linux
avp@avp-xub11:hashcode$ g++ c2.c
avp@avp-xub11:hashcode$ ./a.out 
0xbfd3daa4 eff4f6a9 (bfd3daa4) 100b0957 (402c255c) [eff4f6a9 + 100b0957 = 0]
avp@avp-xub11:hashcode$ scp c2.c avp@nas: 
c2.c                                                 100%  429     0.4KB/s   00:00    
avp@avp-xub11:hashcode$ ssh nas uname -a
Linux nas.inlinegroup.ru 2.6.32-573.7.1.el6.x86_64 #1 SMP Thu Sep 10 13:42:16 EDT 2015 x86_64 x86_64 x86_64 GNU/Linux
avp@avp-xub11:hashcode$ ssh nas gcc c2.c
avp@avp-xub11:hashcode$ ssh nas ./a.out
0x7ffcd89e7530 1fff36279d4c (7ffcd89e7530) ffffe000c9d862b4 (ffff800327618ad0) [1fff36279d4c + ffffe000c9d862b4 = 0]
avp@avp-xub11:hashcode$ 

Все это можно интерпретировать так -- p - o это количество элементов типа int от начала адресного пространства до arr[], а o - p это тоже самое, но "в другую сторону", т.е. от arr[] до начала (отрицательная величина).
А i + j естественно дает 0 из-за переполнения (т.к. мы прошли все адреса "по кругу").

В стандарте же (только С++ ?) отражается довольно естественная перестраховка для более общего случая (гипотетического?), когда объекты находятся в разных адресных пространствах и тогда часть указателя (в машинном виде) будет адресовать конкретное пространство, но вот арифметика между такими указателями уже не будет осмысленной (или по крайней мере очевидной).

9
  • Да, спасибо, я тоже все это компилировал, запускал и проверял. Просто системно-зависимое поведение, по сути, и есть UB, следовательно осмысленность подобных операций - спорна.
    – andy.37
    Commented 24 дек. 2015 в 13:38
  • @andy.37, возможно. А возможно более спорно желание всегда писать абсолютно переносимые программы. Чаще лучше явно учитывать специфику оборудования.
    – avp
    Commented 24 дек. 2015 в 13:48
  • Под спецификой, имхо, следовало бы понимать то, что в Стандарте называется 'implementation defined', а не 'undefined behavior'. Сегодня UB ведет себя так, а завтра (другие опции, другой компилятор, другая ОС) на том же оборудовании иначе.
    – αλεχολυτ
    Commented 24 дек. 2015 в 20:51
  • @alexolut, если под оборудованием понимать не только железо, а все вместе (компилятор с опциями, ОС, архитектура ... -- назовем, для определенности -- платформа), то UB ведет себя всегда одинаково на одинаковых платформах. А поскольку мало кто (и я в их числе) глубоко изучает все release notes, то вряд ли на практике есть существенная разница между UB и 'implementation defined'. В обоих случаях речь просто о переносимости кода между платформами. И часто ее проще всего обеспечить #ifdef-ами для платформозависимых частей кода.
    – avp
    Commented 24 дек. 2015 в 22:26
  • @avp, если разные опции компилятора порождают разные платформы (по Вашему определению), то, я думаю, проще учесть и не использовать вообще все места возникновения UB, нежели знать специфику таких 'платформ'. Хотя и опции компилятора знать, безусловно, полезно. Существенная разница между UB и ID в том, что UB может приводить к краху приложения, а ID - нет. Это очень важно иметь в виду, когда от работы ПО зависят жизни людей. Правильнее исключить UB из кода, чем всю жизнь провести на одной 'платформе'. Возможно ли не менять опции компилятора вообще никогда? Уверен, что так не получится.
    – αλεχολυτ
    Commented 25 дек. 2015 в 5:17
0

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

P.S. Операции с NULL ЕМНИП запрещены.

2
  • На указатели разных типов ругается компилятором, причем ошибкой, а не предупреждением. Также, как и на p-NULL (т.к. NULL имеет тип void*). Похоже, действительно UB, NULL не преобразуется в целочисленный нуль (что, впрочем, естественно) - получается бессмысленное long int число. Непосредственно p-NULL не должно сработать, даже если p имеет тип void*, т.к. арифметика указателей на void запрещена ЕМНИП. Проверил экспериментально.
    – andy.37
    Commented 23 дек. 2015 в 16:00
  • @andy.37 я довольно давно работал с этими языками, поэтому ответ Abyx с ссылкой на более новый стандарт будет полутше
    – Mirdin
    Commented 23 дек. 2015 в 16:03

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.