C/C++ __restrict type

Question

Есть ли способ определить, используя тип typedef integer/float, который не подразумевает отсутствие псевдонимов?

что-то эквивалентно (но примитивная конструкция):

template < typename T > 
struct restrict { T* __restrict data; }; 

, как связанный с этим вопрос, можно ли спросить GCC, что она определяет псевдоним/не псевдонима указатель?

Answer 1

Как отмечалось в комментариях, многие новые компиляторы C++ поддерживают реализацию C99 классификатора ограничения. Поскольку restrict не является зарезервированным ключевым словом в C++, компиляторы обычно используют __restrict или __restrict__. Оба GCC и Visual C++ документируют это красиво, с явными ссылками на C99.

В C++ 1998 стандарт устанавливает, что «typedef спецификатор не должны ... быть объединены в Децл-спецификатор-сл с любым видом спецификатора кроме типа спецификаторов.» По существу, это должен быть список спецификаторов типа, который включает в себя два cv-квалификаторы, const и volatile.

C99 определяет typedef аналогично, за исключением того, что его список квалификаторов включает restrict.

Казалось бы, разумно ожидать подобную поддержку в typedefs для нестандартного __restrict ... но вы никогда не знаете!

Умный и простой способ проверить это следующим образом:

extern void link_fail(); 

typedef int *__restrict restricted_int_p; 

void test(restricted_int_p a, restricted_int_p b) { 
    *a = 1; 
    *b = 2; 

    if (*a == 2) link_fail(); 
} 

Это просто использует тот факт, что если нерешенный link_fail символа найден в объектном файле, компоновщик выдаст ошибку. Если компилятор правильно ограничивает два аргумента, тогда он должен знать значение a, даже после того, как будет изменен b. Таким образом, он должен удалить весь блок if из созданного объектного файла, так как он никогда не будет запущен.

Обратите внимание, что хотя GCC поддерживает синтаксис ограничения с по крайней мере версии 3.0, он действительно не выполнял правильную оптимизацию до version 4.5.