[C] Строгий алиасинг для структур

>An object shall have

Кстати, почему не shall has?

потому что после shall всегда инфинитив идет, родной. теперь это english, motherfucker-тред!

[code]
void f(struct A *a, struct B *b)
{
assert(a == b);
}
[/code]

a и b - это указатели. Естественно, равенство не будет выполняться

Полагаю, как и в русском - «должен иметь», а не «должен имеет».

Linux - must has для любого хаккера!

Естественно, равенство не будет выполняться

Почему?

не понял, что ты хочешь спросить

> Проясните, пожалуйста, пункт стандарта 6.5/7:

Где вопрос?

Естественно, равенство не будет выполняться

А если так:

struct A{
  int x;
  int y;
};

struct B{
  struct A aa;
  int z;
}

http://habrahabr.ru/blogs/cpp/114117/

Извиняюсь за ссылку на хабр.

Имеет ли компилятор право предполагать, что a == b или a != b в двух указанных случаях?

так то да, но это частный случай

непонятно, при чем тут сравнение указателей и пункт стандарта 6.5/7

С какими аргументами будет вызываться функция f в обоих случаях? В тексте дано только определение функции

Про стандарт не знаю. Не читал. Да и при чем здесь стандарт, если он - для компилятора, а не для человека?

Спасибо, про __restrict не знал.

Там объясняется алиасинг, но нет ответов на мои вопросы.

С какими аргументами будет вызываться функция f в обоих случаях?

Это неважно. Пусть это библиотечная функция.

> С какими аргументами будет вызываться функция f в обоих случаях? В тексте дано только определение функции

С теми, с которыми её вызвали.

--

К.О.

> Очевидно, что в этом случае a != b, но по стандарту получается, что это допустимо (и для указания обратного нужно добавить restrict). Я верно понимаю? Это ведь нелогично - для алиасинга нужно, чтобы одна структура была первым членом другой.

Судя по-всему ты не понимаешь приведённого(ых) тобой абзаца(ев)

Перефразирую: схожие типы могут ссылаться/содержать один и тот же объект, разные типы - не могут.

Структуры разных размеров не являются схожими и должны ссылаться на разные объекты, но один и тот же объект может быть вложенными в структуры/юнионы.

в твоём примере:

struct A { int a; }

struct B { int b; struct A a; }

void f(struct A *a, struct B *b);

a и b->a имееют тип struct A* и могут ссылаться на один и тот же объект; компилятор не может делать предположение, что объекты по адресам a и b->a всегда разные.

Организация полей в структуре B значения не имеет.

ОК, действительно, плохо подумал.

для алиасинга нужно, чтобы одна структура была первым членом другой

- это неверно. a != b, но тем не менее, алиасинг возможен, стандарт прав.

Второй вопрос закрыт.

При сравнении указателей вопросов aliasing'a вообще не возникает. Они возникают при разыменовании указателей.

> Второй вопрос закрыт.

Какой вопрос остался «открытым»? Есть два поинтера на один и тот же тип - они могут указывать на один и тот же объект.

В первом пунте два указателя на _разные_ типы, но указывают они на один объект.

Проблемы возникнут, когда ты попытаешья разыменовать эти неполные типы

Сделать это ты не сможешь, потому что эти типы неполные

Значит, проблем не будет

Ясно, спасибо.

Заклинило меня на этом сравнении указателей.