Блог

У меня есть вопрос о объединении на языке C. Переменные, объявленные в объединении, будут совместно использовать одну и ту же память, хорошо, я понимаю. например,

 union student {
   int i;
   int j;
}x;
  

как мы могли бы получить доступ к i и j?
если у нас есть: x.i = 1;
и тогда мы printf("%d",j);
что произойдет? ошибка компилятора?
Хорошо, тогда как насчет следующего случая:

 union student {
       int i;
       float j;
    }x;
  

если мы присвоим x.i = 2;
каково значение x.j?

Предполагая, что вы используете

 printf("%d", x.j); 
  

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

Представьте, например, что вы хотели бы рассматривать a double как a double и время от времени напрямую обращаться к битам (1s и 0s), которые представляют double, вы бы сделали это со следующим объединением.

 union DoubleData
{
    double d;
    char b[8];
} x;
  

Теперь вы можете назначать / получать доступ к double напрямую через d элемент или манипулировать тем же значением через 8 байт, которые представляют double в памяти.

Используя ваше недавнее обновление вопроса,

 union student 
{       
  int i;
  float j;    
}x;
  

Давайте сделаем предположение о вашей платформе, int это 4 байта, а a float — 4 байта. В этом случае при доступе x.j вы будете манипулировать и обрабатывать 4 байта как double, при доступе x.i вы будете манипулировать и обрабатывать 4 байта как целое число.

Итак, обе переменные накладываются друг на друга в одной и той же области памяти, но что будет отличаться, так это то, как вы интерпретируете битовый шаблон в этой области памяти. Имейте в виду, что любой 4-байтовый битовый шаблон является допустимым значением int, НО не любой 4-байтовый битовый шаблон является допустимым значением float.

Давайте сделаем другое предположение о вашей платформе, и значение int равно 2 байтам, а значение float равно 4 байтам. В этом случае при доступе x.i вы будете манипулировать только половиной битового шаблона, на который накладывается значение float, потому что x.i в этом случае наложение будет лишь частичным, x.j поскольку x.j охватывает больше байтов.

Оба i и j будут совместно использовать одну и ту же память, поэтому все, что вы назначите одному, будет доступно и в другом элементе.

 x.i  = 1;
// x.j = 1
  

Это «неопределенное поведение».

Вы не можете записывать в i , а затем читать из j . Вы можете «использовать» только один из элементов одновременно.