Linux программирование в примерах, Роббинс Арнольд

Linux программирование в примерах

на обложку

Роббинс Арнольд

Шрифт:

Рис. 12.1. Перекрывающиеся копии

Целью является скопировать четыре экземпляра

struct xyz

от

data[0]

до

data[3]

в участок от

data[3]

до

data[6]

. Здесь проблемой является

data[3]

, побайтовое копирование с перемещением в памяти из

data[0]

затрет

data[3]

до того, как он будет безопасно скопирован в

data[6]

! (Может возникнуть также сценарий, когда копирование в памяти в обратном направлении разрушит перекрывающиеся данные.)

Функция

memcpy

была первоначальной функцией в System V API для копирования блоков памяти; ее поведение для перекрывающихся блоков памяти не была подробно определена тем или иным способом. Для стандарта С 1989 г. комитет почувствовал, что это отсутствие определенности является проблемой, поэтому они придумали

memmove

. Для обратной совместимости

memcpy

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

memmove

Какую из них использовать в своем коде? Для библиотечной функции, которая не знает, какие области памяти ей передаются, следует использовать

memmove

. Таким способом вы гарантируете, что не будет проблем с перекрывающимися областями. Для кода приложения, который «знает», что две области не перекрываются, можно безопасно использовать

memcpy

Как для

memcpy

, так и для

memmove

(как и для

strcpy

) буфер назначения является первым аргументом, а источник — вторым. Чтобы запомнить это, обратите внимание на порядок, который тот же самый, как в операторе присваивания:

dest = src;

(Справочные страницы во многих системах не помогают, предлагая прототип в виде '

void *memcpy(void *buf1, void *buf2, size_t n)

' и полагаясь на то, что текст объяснит, что есть что. К счастью, справочная страница GNU/Linux использует более осмысленные имена.)

12.2.3. Сравнение блоков памяти:

memcmp

Функция

memcmp

сравнивает

count

байтов из двух произвольных буферов данных. Возвращаемое ею значение подобно

strcmp

: отрицательное, нулевое или положительное, если первый буфер меньше, равен или больше второго.

Вы можете поинтересоваться: «Почему бы не использовать для такого сравнения

strcmp

?» Разница между двумя функциями в том, что

memcmp

не принимает во внимание нулевые байты (завершающий строку '

'.) Таким образом,

memcmp

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

Другим преимуществом

memcmp

является то, что она быстрее типичной реализации на C:

/* memcmp --- пример реализации на С, НЕ для реального использования */

int memcmp(const void *buf1, const void *buf2, size_t count) {

const unsigned char *cp1 = (const unsigned char*)buf1;

const unsigned char *cp2 = (const unsigned char*)buf2;

int diff;

while (count-- != 0) {

diff = *cp1++ - *cp2++;

if (diff != 0)

return diff;

}

return 0;

}

Скорость может быть достигнута в результате использования специальных инструкций «блочного сравнения памяти», которые поддерживают многие архитектуры, или в результате сравнения единиц, превышающих байты. (Эта последняя операция коварна, и лучше оставить ее автору библиотеки.)

По этим причинам всегда следует использовать вашу библиотечную версию

memcmp

вместо прокручивания своей собственной. Велика вероятность, что автор библиотеки знает машину лучше вас

12.2.4. Поиск байта с данным значением:

memchr

Функция

memchr

сходна с функцией

strchr

: она возвращает местоположение определенного значения внутри произвольного буфера. Как и в случае

memcmp

против