Я наткнулся на эту функцию:
int foo(int *p)
{
return p - (int*)0;
}
Может кто-нибудь объяснить, что это делает? Кажется, он возвращает целое число. Какая логика стоит за этим вычитанием нулевого указателя? Также был комментарий, что это чистая и реентерабельная функция.
(int*)0 выглядел так в исходном коде или это был пользовательский макрос? Если бы это был макрос типа ROM_BASE, вышеизложенное могло бы иметь гораздо больше смысла, чем если бы это был буквальный ноль. 18.10.2018 Он имеет неопределенное поведение, поскольку арифметика указателя определена только внутри массива.
На практике на машине, которая представляет указатели числовым адресом, с достаточно большими целыми числами и нулевым указателем, представленным нулевым адресом, он преобразует адрес байта в адрес слова. То есть он дает количество кусков памяти размером int между адресом нулевого указателя и адресом p.
Также был комментарий, что это чистая и реентерабельная функция.
«Чистый» означает, что он не имеет побочных эффектов, а результат зависит только от его входных данных. «повторно входящий» означает, что его безопасно вызывать, пока он уже выполняется (например, из обработчика прерывания) — он не имеет внутренних статических данных.
Вычитание двух указателей возвращает целое число типа ptrdiff_t, смещение между двумя указателями, в единицах sizeof(int). Может ли это быть правильно приведено к int, зависит от реализации. Вычитание нулевого указателя приводит к неопределенному поведению.
Это кажется сложным и ненадежным способом преобразования указателя в целое число. Лучший способ — преобразовать его в intptr_t и разделить на sizeof(int).
Я предполагаю, что человек, написавший эту функцию, думает, что он умнее, чем он есть на самом деле. Он не делает ничего, что простой актерский состав не сделал бы лучше.
Что касается "чистого" и "реентерабельного"...
Чистая функция — это функция, единственным эффектом которой является возвращаемое значение. Это не вызывает изменения состояния.
Реентерабельная функция является потокобезопасной. Его можно прервать и вызвать другим потоком без изменения эффекта исходного вызова.
Все чистые функции реентерабельны.
Тот факт, что это чистая функция, очевиден, как и ее реентерабельность. Комментарий бессмысленный, как и сама функция.
uintptr_t? 22.05.2013uintptr_tвовсе не является неопределенным поведением. Результат определяется реализацией, но в этом нет UB. 22.05.2013(uintptr_t)p / sizeof(int)будет более определенным (покаuintptr_tсуществует): определяется реализацией с примечанием, что сопоставление не должно удивлять тех, кто знает структуру адресации базовой машины. 22.05.2013