Чтение запись в разные поля union

@rikimaru2013 · Регистрация: 30.11.2013

Добрый вечер,

C++

union Foo
{
    int a;
    float b;
};
 
int main()
{
    Foo f;
    f.a = 15;
    int y = f.b;
}

сторожили этого раздела говорят, что это UB (запись в одно поле, чтение с другого) - не могу найти запись об этом в стандарте C++(15-12-04) в разделе union/

Содержит ли данный код UB, и если да - какая цитата с стандарта это доказывает.

@gromo · 29.04.2016, 03:45

9.5. Unions
In a union, at most one of the non-static data members can be active at any time, that is, the value of at most one of the non-static data members can be stored in a union at any time

If only one value is stored, how can you read another? It just isn't there.

Возможно и очень вероятно, что значение как раз там, но это там остается на откуп фразы implementation defined allocation.

http://stackoverflow.com/a/11373277

@gromo 382 / 280 / 31 Регистрация: 04.09.2009 Сообщений: 1,225
	29.04.2016, 03:45	2
	9.5. Unions In a union, at most one of the non-static data members can be active at any time, that is, the value of at most one of the non-static data members can be stored in a union at any time If only one value is stored, how can you read another? It just isn't there. Возможно и очень вероятно, что значение как раз там, но это там остается на откуп фразы implementation defined allocation. http://stackoverflow.com/a/11373277 0

Опции темы