<![CDATA[Kompexe Forward-Deklaration]]>Hallo,

ich probiere mich gerade mit der Boost-Bibliothek und habe eine reflexiv aufgebaute Datenstruktur:

enum Junctor {AND, OR, IMPLICIT, EQUIVALENT};
enum Quantor {FOR_ALL, EXIST};

typedef std::string AtomicFormula;
typedef boost::tuple<Quantor, AtomicFormula, Formula> QuantorFormula;
typedef boost::tuple<Junctor, Formula, Formula> BinaryFormula;

typedef boost::variant<
		AtomicFormula,
  		boost::recursive_wrapper<QuantorFormula>,
    		boost::recursive_wrapper<BinaryFormula>
		> Formula;

Wie ihr seht, wird Formula benutzt ohne es vorher zu definieren. Mein Wissen reicht nicht aus, um eine solche Forward-Deklaration zu schreiben. Ich hoffe, dass ihr es packt 🙂

Vielen Dank.

Tobi

]]>https://www.c-plusplus.net/forum/topic/212182/kompexe-forward-deklarationRSS for NodeWed, 14 Oct 2026 16:43:31 GMTFri, 02 May 2008 18:12:45 GMT60<![CDATA[Reply to Kompexe Forward-Deklaration on Fri, 02 May 2008 18:12:45 GMT]]>Hallo,

ich probiere mich gerade mit der Boost-Bibliothek und habe eine reflexiv aufgebaute Datenstruktur:

enum Junctor {AND, OR, IMPLICIT, EQUIVALENT};
enum Quantor {FOR_ALL, EXIST};

typedef std::string AtomicFormula;
typedef boost::tuple<Quantor, AtomicFormula, Formula> QuantorFormula;
typedef boost::tuple<Junctor, Formula, Formula> BinaryFormula;

typedef boost::variant<
		AtomicFormula,
  		boost::recursive_wrapper<QuantorFormula>,
    		boost::recursive_wrapper<BinaryFormula>
		> Formula;

Wie ihr seht, wird Formula benutzt ohne es vorher zu definieren. Mein Wissen reicht nicht aus, um eine solche Forward-Deklaration zu schreiben. Ich hoffe, dass ihr es packt 🙂

Vielen Dank.

Tobi

]]>https://www.c-plusplus.net/forum/post/1502247https://www.c-plusplus.net/forum/post/1502247Fri, 02 May 2008 18:12:45 GMT<![CDATA[Reply to Kompexe Forward-Deklaration on Sat, 03 May 2008 08:16:55 GMT]]>Probier mal Formular* in Deine Tupel zu packen. Die Größe von Formular ist zur Zeit Deiner Tupel-Deklaration ja noch nicht bekannt, daher kann der Compiler nicht wissen, wie groß die Elemente sein müssen.

]]>https://www.c-plusplus.net/forum/post/1502447https://www.c-plusplus.net/forum/post/1502447Sat, 03 May 2008 08:16:55 GMT<![CDATA[Reply to Kompexe Forward-Deklaration on Sat, 03 May 2008 13:24:41 GMT]]>Danke für deine Antwort.

Nun ja, auch hierbei meldet der Compiler einen Fehler, nämlich er Formula nicht
kennt.

]]>https://www.c-plusplus.net/forum/post/1502591https://www.c-plusplus.net/forum/post/1502591Sat, 03 May 2008 13:24:41 GMT<![CDATA[Reply to Kompexe Forward-Deklaration on Sat, 03 May 2008 14:06:02 GMT]]>tobi_tud schrieb:

Danke für deine Antwort.

Nun ja, auch hierbei meldet der Compiler einen Fehler, nämlich er Formula nicht
kennt.

Naja, dann stimmt irgendwas mit Deiner Forward-Deklaration nicht.

]]>https://www.c-plusplus.net/forum/post/1502617https://www.c-plusplus.net/forum/post/1502617Sat, 03 May 2008 14:06:02 GMT<![CDATA[Reply to Kompexe Forward-Deklaration on Sat, 03 May 2008 16:05:41 GMT]]>Tachyon schrieb:

Naja, dann stimmt irgendwas mit Deiner Forward-Deklaration nicht.

da is aber alles richtig du vogel

]]>https://www.c-plusplus.net/forum/post/1502677https://www.c-plusplus.net/forum/post/1502677Sat, 03 May 2008 16:05:41 GMT<![CDATA[Reply to Kompexe Forward-Deklaration on Sat, 03 May 2008 16:09:07 GMT]]>tobi_tud schrieb:

Tachyon schrieb:

Naja, dann stimmt irgendwas mit Deiner Forward-Deklaration nicht.

da is aber alles richtig du vogel

Bevor Du Leute beleidigts wären etwas mehr Infos hilfreich. WELCHER Fehler z.B. da kommt...

]]>https://www.c-plusplus.net/forum/post/1502679https://www.c-plusplus.net/forum/post/1502679Sat, 03 May 2008 16:09:07 GMT<![CDATA[Reply to Kompexe Forward-Deklaration on Sat, 03 May 2008 18:57:53 GMT]]>tobi_tud schrieb:

Tachyon schrieb:

Naja, dann stimmt irgendwas mit Deiner Forward-Deklaration nicht.

da is aber alles richtig du vogel

Na dann ist doch alles Ok.
Gruß,

Simon2.

]]>https://www.c-plusplus.net/forum/post/1502760https://www.c-plusplus.net/forum/post/1502760Sat, 03 May 2008 18:57:53 GMT