ich versuche mich gerade in TMP einzuarbeiten und stoße direkt auf ein paar Verstaendnisprobleme.

Ich wollte eigentlich nur ein einfaches Beispiel probieren indem ich ein is_even Template geschrieben habe was in etwa so aussieht:

template<int size>
struct is_even
{
	enum {value = size % 2 == 0};
};

Moege man sich jetzt bitte nicht ueber die Sinnhaftigkeit auslassen sondern das erstmal nur so hinnehmen wie es ist.

Dieses Template wuerde ich gerne in einem anderem Klassentemplate als "Bedingung" benutzen um ggf. Compilerfehlermeldungen zu bekommen wenn die Instanziierung des Templates keine gerade Zahl bekommen hat.

template<int size>
class Square
{
	private:
		int data[size*size];

};

Und genau an dieser Stelle komme ich ins schwitzen, wie kann ich mein is_even Template nun als Bedingung in mein Square Template einbauen ohne es erst bei der Instanziierung zu benutzen.

template<int size>
class Square
{
    private:
        int data[size*size];
    static_assert(is_even<size>::value, "Size must be even!");

};

Wenn du C++0x / C++11 hast:

template<int size>
class Square
{
    private:
        int data[size*size];
    static_assert(is_even<size>::value, "Size must be even!");

};

Schonmal sehr hilfreich, danke. Aber ich wuerde es auch gerne ohne Hilfe von C++ 11 machen, ist das dann auch moeglich?

template <bool Condition>
struct MustBeEven;

template <> 
struct MustBeEven<true> {};

template<int size>
struct is_even
{
    enum {value = size % 2 == 0};
    sizeof(MustBeEven<is_even<size>::value>);
};

Sollte funktionieren. Alternativ Boost.StaticAssert oder Boost.MPL BOOST_MPL_ASSERT (letzteres gibt finde ich besser Fehlermeldung, wobei ersteres wenn vorhanden auch C++11 static_assert benutzen kann) benutzen

template<int size>
class Square
{
    private:
        int data[size*size];

    static const int assertion_dummy = sizeof(MustBeEven<is_even<size>::value>);

};

Ist das nicht auch C++11 (Direkte Zuweisung in der Klasse von static const membern?)

Das ist auch in C++03 für integrale Typen möglich.

Und wenn du dann doch wieder Boost verwendest, Boost.MPL ist super (find ich)