7

Просматривая стандарт POSIX наткнулся на такое объявление:

#include <aio.h>

int lio_listio(int mode, struct aiocb *restrict const list[restrict],
       int nent, struct sigevent *restrict sig);

(Выделение добавлено.) Я понимаю, что значит ключевое слово restrict в общем случае, но что оно означает здесь?

2
  • 2
    Плюсик как минимум за мастерское форматирование. :) Commented 10 нояб. 2020 в 20:47
  • Тут оно (то что в скобках) означает, что все блоки aiocb (в функцию передается массив адресов этих блоков) должны быть разными.
    – avp
    Commented 10 нояб. 2020 в 21:28

2 ответа 2

2

Нашел. Черновик C11, 6.7.6.3/7:

A declaration of a parameter as ‘‘array of type’’ shall be adjusted to ‘‘qualified pointer to type’’, where the type qualifiers (if any) are those specified within the [ and ] of the array type derivation.

Получается, void foo(int x[restrict]); эквивалентно void foo(int *restrict x);. Это можно проверить, написав два объявления рядом и убедившись в отсутствии ругани компилятора на разные типы.

3
  • То есть, это массив на restrict-указатели, который и сам сводится к restrict-указателю?
    – Ainar-G
    Commented 10 нояб. 2020 в 21:28
  • @Ainar-G "То есть, это массив на restrict-указатели" Не очень понял. По идее, это вообще невалидное объявление массива (в том смысле что это работает только в параметрах функций). Commented 10 нояб. 2020 в 21:31
  • Я имею в виду то, что написано вот тут в последнем параграфе перед секцией Notes. «It qualifies the pointer type to which the array type is transformed».
    – Ainar-G
    Commented 10 нояб. 2020 в 21:35
0

такое сделали чтобы можно было указать и размер массива и что указатель на массив индивидуальный. void f(int a[restrict 9]); При декларации как указатель void f(int * restrict a); количество не проставишь.

В вашем случае [restrict] в квадратных скобках означает всего-лишь, что список list - это массив, а не указатель на один элемент.

Ваш ответ

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

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