Подтвердить что ты не робот

В чем смысл ограничения в сигнатуре функции?

int pthread_create(pthread_t *restrict thread,
              const pthread_attr_t *restrict attr,
              void *(*start_routine)(void*), void *restrict arg);

Я хотел бы знать, что означает ограничение?

Ответ 1

Это что-то введенное на C99, которое позволяет компилятору знать, что указатель, проходящий там, не указывает на то же место, что и любые другие указатели в аргументах. Если вы дадите этот намек компилятору, он может сделать некоторые более агрессивные оптимизации без нарушения кода.

В качестве примера рассмотрим эту функцию:

int add(int *a, int *b) {
    return *a + *b;
}

Очевидно, он добавляет два числа из указателей. Мы можем использовать его так, если хотим:

// includes excluded for brevity
int main(int argc, char **argv) {
    int number=4;
    printf("%d\n", add(&number, &number));
    return 0;
}

Очевидно, что он выведет 8; он добавляет 4 к себе. Однако, если мы добавим restrict в add так:

int add(int *restrict a, int *restrict b) {
    return *a + *b;
}

Тогда предыдущий main теперь недействителен; он передает &number как оба аргумента. Однако вы можете пройти в двух указателях, указывающих на разные места.

int main(int argc, char **argv) {
    int numberA=4;
    int numberB=4;
    printf("%d\n", add(&numberA, &numberB));
    return 0;
}