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

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

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

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge you have read our privacy policy.

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