7.2 Ограничение алиасинга указателей

Как и в случае с C-фронтом, G++ понимает возможность C99 с ограниченными указателями, задаваемыми с помощью __restrict__, или __restrict квалификатора типа. Поскольку вы не можете скомпилировать C++ с помощью флага языка -std=c99, restrict не является ключевым словом в C++.

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

void fn (int *__restrict__ rptr, int &__restrict__ rref)
{
  /* … */
}

В теле fn, rptr указывает на целочисленное значение без алиасов, а rref ссылается на (другое) целочисленное значение без алиасов.

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

void T::fn () __restrict__
{
  /* … */
}

Внутри тела T::fn, this имеет эффективное определение T *__restrict__ const this. Обратите внимание, что интерпретация квалификатора метода-члена __restrict__ отличается от квалификаторов const или volatile, поскольку он применяется к указателю, а не к объекту. Это согласуется с другими компиляторами, которые реализуют ограниченные указатели.

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