Отказывающееся «наследование» при доступе к элементам структур в C

Question

У меня есть вопрос о C и попытка издеваться над частичным типом «наследования», только при доступе к членам структур. Посмотрите на следующий пример:

#pragma pack(push,1) 
typedef struct foo 
{ 
    int value; 
    int value2; 
}foo; 
typedef struct foo_extended 
{ 
    // "inherits" foo 
    int value; 
    int value2; 
    // "inherits" foo stops 
    //we also have some additional data 
    float additional; 
}foo_extended; 
#pragma pack(pop) 


//! This function works for both foo types 
void workboth(void* objP) 
{ 
    foo* obj = (foo*)objP; 

    obj->value = 5; 
    obj->value2 = 15; 
} 

//! This works only for the extended 
void workextended(foo_extended* obj) 
{ 
    obj->value = 25; 
    obj->value2 = 35; 
    obj->additional = 3.14; 
} 

int main() 
{ 
    foo a; 
    foo_extended b; 

    workboth(&a); 
    workboth(&b); 
    workextended(&b); 

    return 0; 
} 

Это работает в моей системе, но мой вопрос, может ли это быть портативными, пока есть правильная упаковка вовлеченных структур (в зависимости от компилятора). Полагаю, для этого нужно было бы #ifndefs корректно использовать плотную упаковку в других компиляторах.

Конечно, очевидная проблема - полное отсутствие проверки типа и возложение всей ответственности за правильное использование программиста, но мне интересно, переносимо это или нет. Благодаря!

P.S .: Забыл упомянуть, что стандарт я стараюсь придерживаться является C99

Answer 1

При чтении 6.7.2.1/12 и/13 в C99 draft, я думаю, можно предположить, что две разные структуры с одинаковыми начальными элементами совместимы с первым различным членом.

6.7.2.1/12

Каждый член небитового-поле структуры или объединения объекта выравнивается в определенном реализацией способом, соответствующим его типу.

6.7.2.1/13

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

Answer 2

У меня есть немного другой метод. Вместо того, чтобы использовать одни и те же значения, я создаю-структуру в структуры, и таким образом упаковка ненужно:

typedef struct foo 
{ 
    int value; 
    int value2; 
}foo; 

typedef struct foo_extended 
{ 
    foo father; 
    float additional; 
}foo_extended; 

теперь остальное довольно много, как вы показали, с небольшой разницей:

void workextended(foo_extended* obj) 
{ 
    obj->father.value = 25; 
    obj->father.value2 = 35; 
    obj->additional = 3.14; 
} 

, но я бы добавил id как поле первого объекта в иерархии, чтобы убедиться, что кастинг сделан для правильного объекта.

Этот метод гарантированно работает по стандарту C.

Answer 3

По С11, а также при поддержке некоторых существующих компиляторов как расширения старых стандартов, вы должны использовать анонимный struct для этого

struct foo_extended { 
    struct { 
     int value; 
     int value2; 
    }; 
    //we also have some additional data 
    float additional; 
}; 

этих вашей субструктуры имеет точно такое же расположение, как foo в в частности, что касается выравнивания его частей: быть совместимым между различными единицами компиляции struct, которые имеют одинаковые поля в том же порядке, должны быть одинаковыми.

(Воздействие вашей упакованной прагмы не очень понятно мне)

С вашей foo структуры является первым в foo_extended она всегда должна быть со смещением 0 в том.