<![CDATA[Metaprogrammierung Limits]]>Hi, lese gerade einige Sachen über Metaprogrammierung und finde immer die Warnung, dass mans mit Rekursionen nicht übertreiben soll und der Compiler relativ schnell an seine Grenzen stösst.
Könnte mir jemand erklären, wovon diese Begrenzung/maximale Tiefe abhängt?
Ist diese Grenze eventuell anpassbar? (Habe in VS08 bislang noch nix gefunden)

Eine "maximale Tiefe" ist wohl auf nur einen(1) rekursiven Lauf bezogen, bei mir macht der Compiler bei Tiefe 500 schlapp.

Ich teste das ganze hiermit:

// -----------------IF THEN ELSE-------------------------
template< bool condition, typename Then, typename Else >
struct IF
{
	typedef Then RET;
};

template< typename Then, typename Else >
struct IF<false, Then,Else >
{
	typedef Else RET;
};
// ------------------------------------------------------

template< int N >
struct Value
{
	enum { result = N };
};

template< int N, int U = IF< !(N%2), Value<0>, Value<N> >::RET::result  >
struct OnlyPositive
{

	typedef typename IF< !(N%2), OnlyPositive<N-1,N-1>, OnlyPositive<N-1,0> >::RET SubRET;
	enum { result = N - U + SubRET::result };
};

template<>
struct OnlyPositive<0,0>
{
	enum { result = 0 };
};

int main()
{
  // std::cout << OnlyPositive< 499 >::result; // Compiler fehler
     std::cout << OnlyPositive< 495 >::result; // OK
}
]]>https://www.c-plusplus.net/forum/topic/244695/metaprogrammierung-limitsRSS for NodeSat, 19 Sep 2026 04:49:16 GMTSat, 04 Jul 2009 09:10:56 GMT60<![CDATA[Reply to Metaprogrammierung Limits on Sat, 04 Jul 2009 09:10:56 GMT]]>Hi, lese gerade einige Sachen über Metaprogrammierung und finde immer die Warnung, dass mans mit Rekursionen nicht übertreiben soll und der Compiler relativ schnell an seine Grenzen stösst.
Könnte mir jemand erklären, wovon diese Begrenzung/maximale Tiefe abhängt?
Ist diese Grenze eventuell anpassbar? (Habe in VS08 bislang noch nix gefunden)

Eine "maximale Tiefe" ist wohl auf nur einen(1) rekursiven Lauf bezogen, bei mir macht der Compiler bei Tiefe 500 schlapp.

Ich teste das ganze hiermit:

// -----------------IF THEN ELSE-------------------------
template< bool condition, typename Then, typename Else >
struct IF
{
	typedef Then RET;
};

template< typename Then, typename Else >
struct IF<false, Then,Else >
{
	typedef Else RET;
};
// ------------------------------------------------------

template< int N >
struct Value
{
	enum { result = N };
};

template< int N, int U = IF< !(N%2), Value<0>, Value<N> >::RET::result  >
struct OnlyPositive
{

	typedef typename IF< !(N%2), OnlyPositive<N-1,N-1>, OnlyPositive<N-1,0> >::RET SubRET;
	enum { result = N - U + SubRET::result };
};

template<>
struct OnlyPositive<0,0>
{
	enum { result = 0 };
};

int main()
{
  // std::cout << OnlyPositive< 499 >::result; // Compiler fehler
     std::cout << OnlyPositive< 495 >::result; // OK
}
]]>https://www.c-plusplus.net/forum/post/1736970https://www.c-plusplus.net/forum/post/1736970Sat, 04 Jul 2009 09:10:56 GMT<![CDATA[Reply to Metaprogrammierung Limits on Sat, 04 Jul 2009 09:12:54 GMT]]>Abhängig ist die tiefe lediglich von der Grösse des Stacks. Sprich es gibt einen Stakcoverflow, wenn du es übertreibst.

]]>https://www.c-plusplus.net/forum/post/1736971https://www.c-plusplus.net/forum/post/1736971Sat, 04 Jul 2009 09:12:54 GMT<![CDATA[Reply to Metaprogrammierung Limits on Sat, 04 Jul 2009 10:26:18 GMT]]>Naja, die Tiefe ist auch abhängig von der Kompilierzeit 😉 evilissimo hat hier mal ein Beispiel gebracht, das man auf einem sehr starken Rechner nicht in einigen Tagen kompilieren konnte.

[Edit] Hier ists: http://www.c-plusplus.net/forum/viewtopic-var-t-is-136704-and-postdays-is-0-and-postorder-is-asc-and-start-is-0.html

]]>https://www.c-plusplus.net/forum/post/1736988https://www.c-plusplus.net/forum/post/1736988Sat, 04 Jul 2009 10:26:18 GMT