Codesys 3.5, структуры и UNION

[leon78]

Объявляю структуру:

Код: Выделить всё

TYPE sdoName:
STRUCT
    i1: INT;
    i2: INT;  
END_STRUCT
END_TYPE

Объявляю UNION:

Код: Выделить всё

TYPE uName:
UNION
    di : DINT;
    n : sdoName;
END_UNION
END_TYPE

Объявляю переменную:

Код: Выделить всё

VAR
	v: uName;
END VAR

К полям переменной теперь могу обращаться так:

Код: Выделить всё

diX := v.di;
iX1 := v.n.i1; 
iX2 := v.n.i2;

Можно ли как-то объявить UNION, чтобы обращение было без "n"?

Код: Выделить всё

diX := v.di;
iX1 := v.i1; 
iX2 := v.i2;

Например, так, но без ошибки в синтаксисе:

Код: Выделить всё

TYPE uName:
UNION
    di : DINT;
   STRUCT
    i1: INT;
    i2: INT;  
   END_STRUCT
END_UNION
END_TYPE

[SaNNy]

Думаю, что нет, нельзя.
Только, если так

Код: Выделить всё

TYPE uName:
UNION
    di : DINT;
    i1: INT;
    i2: INT; 
END_UNION
END_TYPE

[leon78]

КОД: ВЫДЕЛИТЬ ВСЁ

TYPE uName:
UNION
di : DINT;
i1: INT;
i2: INT;
END_UNION
END_TYPE

В таком случае i1, i2, и 2 младших байта di будут лежать в одних ячейках памяти.
Мне надо, чтобы i1 лежал в младших байтах di, а i2 в старших

[leon78]

Помогли на одном зарубежном форуме:

Код: Выделить всё

TYPE uName EXTENDS sdoName :
UNION
	di : DINT;
END_UNION
END_TYPE

[keysansa]

Помогли на одном зарубежном форуме:

Я бы не использовал, даже, если это работает.
Это не очевидно. Используется "расширение" типа с его преобразованием (struct->union).
Union обычно используется только для преобразования.
Преобразование - удел функций.
Запихиваете данные типы внутрь функции (GetDintFrom2Int(Int, Int): Dint), и только в ней используете раздражающее вас "n".

Отправлено спустя 42 минуты 30 секунд:
ЗЫ. И с рефакторингом и поддержкой кода будет беда.
При изменении входных данных, при использовании функций для преобразования, вы поменяете только ее объявление, а компилятор вам подскажет, где надо поменять вызовы.
При прямом использовании типов, да еще и с наследованием, будете чесать голову, потому, что вспомнить, почему именно так - вы не сможете уже года через 2-3.

[Madwolf]

Если остальной код пишется как в примере:

diX := v.di;
iX1 := v.n.i1;
iX2 := v.n.i2;

то уже завтра хрен в нём с наскока разберёшься )))

[leon78]

Конечно, в реальной программе имена не i, x, n и т.д., а значащие ("a" например )
Немного юмора, надеюсь, никто не обидится:

[+]

Американский форум. Задаёшь вопрос, потом тебе отвечают.
Израильский форум. Задаёшь вопрос, потом тебе задают вопрос.
Русский форум. Задаёшь вопрос, потом тебе долго рассказывают, какой ты мудак.

[keysansa]

diX := v.di;
iX1 := v.n.i1;
iX2 := v.n.i2;

Чутка не так:
v.di := diX;
iX1 := v.n.i1;
iX2 := v.n.i2;

[srthrdhd]

Можно применить массив

Код: Выделить всё

TYPE uName:
UNION
    di : DINT;
    i: ARRAY [0 .. 1] OF INT;
END_UNION
END_TYPE

Использование

Код: Выделить всё

diX := v.di;
iX1 := v.i[0]; 
iX2 := v.i[1];

Пример:
https://youtu.be/VT9tjcbY8HU?t=544

[keysansa]

Можно применить массив

Мне и нравится (номерные переменные - в массиве) и не нравится (конкретно в этом применении).
Массив - не особо переносимый тип. В разных системах - может храниться по разному. Да, сейчас более-менее везде одинаково, но встречаются еще исключения.