Как объявить/использовать прямую ссылку на struct в CORBA IDL?

Question

У меня есть следующие CORBA IDL-3.2, который пытается объявить взаимно рекурсивную структуру:

module SE 
{ 
    interface SE 
    { 

typedef unsigned short MenuItemID; // a small integer representing a unique menu item 

enum MenuSubaction { CollectCharacter, CollectStruct }; 

struct MenuItemAction; // forward declaration 

union MenuSubactionParameter switch (MenuSubaction) 
{ case CollectStruct: MenuItemAction sub_structure; // <<<<<<<<< use of forward 
}; 

struct MenuItemAction { MenuSubaction menu_subaction; 
       MenuSubactionParameter menu_subaction_parameter; 
       }; 
    }; // interface 
}; // module 

я получаю жалобы от Sun JDK 1.7 idlj на линии, отмеченные < < < < <

... SE.idl (line xx): Illegal reference to incomplete forward declaration of type MenuItemAction. 

Примечание: это не декларация «прямого интерфейса».

Что такое «неполная декларация вперед»? (Если вы успешно объявили в качестве прямого объявления, я бы не подумал, что форвардное объявление как неполное, просто еще не определено. Возможно, это просто неверно истолкованная фраза).

Что еще более важно, как мне определить свою рекурсивную структуру?

Я новичок в CORBA, поэтому я не знаю: -} знаю, что я делаю. Я не понимаю, почему CORBA не может определить такие рекурсивные структуры; один передает конкретный экземпляр, который не будет рекурсивным. В частности, это формирует дерево, которое должно быть «легко» для отправки CORBA.

EDIT: Брайан имел правильный ответ. Мне нужно заменить прямое упоминание о прямой ссылке,

  MenuItemAction sub_structure 

с

  sequence<MenuItemAction> sub_structure> 

Answer 1

Вы можете перенаправить декларирование структур, но существует множество ограничений.

Edit: Я не знаю, какая версия CORBA вы используете, но в 2.6.1 specification говорится в разделе 3.10.2.3 (курсив мой):

Синтаксис IDL позволяет генерировать рекурсивные структуры и союзов через членов , которые имеют тип последовательности.

И позже:

IDL поддерживает рекурсивных типов через упреждающее объявление для структур и объединений (а также для типы значений).

И позже:

Неполный типа может появиться только как тип элемента последовательности определения. Последовательность с неполным типом элемента называется неполным типом последовательности .

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

Пример:

struct Foo; // Forward declaration; Foo is incomplete 
typedef sequence<Foo> FooSeq; // incomplete sequence type 
struct Foo { 
    long value; 
    FooSeq chain; // incomplete seq. type used as struct member; OK 
}; 

Гораздо больше информации можно найти в ссылке, в том числе это пример, который может быть ближе к тому, что вы хотите сделать:

union Bar; // Forward declaration 
typedef sequence<Bar> BarSeq; 

union Bar switch(long) { // Define incomplete union 
    case 0: 
     long l_mem; 
    case 1: 
    struct Foo { 
     double d_mem; 
     BarSeq nested; // OK, recurse on enclosing 
        // incomplete type 
    } s_mem; 
}; 

Answer 2

Вроде бы известная ошибка «4754974: idlj не поддерживают вперед декларацию структуры и союзов»: http://bugs.sun.com/bugdatabase/view_bug.do?bug_id=4754974

после комментариев выше я опробовал:

module SE 
{ 
    interface SE 
    { 

    typedef unsigned short MenuItemID; // a small integer representing a unique menu item 

    enum MenuSubaction { CollectCharacter, CollectStruct }; 

    struct MenuItemAction; // forward declaration 

    union MenuSubactionParameter switch (MenuSubaction) 
    { 
     case CollectStruct: sequence<MenuItemAction> sub_structure; // <<<<<<<<< use of forward 
    }; 

    struct MenuItemAction { 
     MenuSubaction menu_subaction; 
     MenuSubactionParameter menu_subaction_parameter; 
    }; 
}; // interface 

, который работает. В конечном итоге вы получите последовательность, а не одну запись, но в целях, которые могут быть непонятными.