Ich bastle mir gerade eine TMP-Lib. Für Listen, repräsentiert durch das list-Template gibt es eine Template-Metafunktion "tail". Sollte tail bei einer leeren Liste ebenfalls eine leere Liste zurückgeben, oder sollte da eine static_assertion fliegen?

Grüße,
Der Kellerautomat

Leere Listen sind ein gängiges Abbruchkriterium für die Rekursion. Wer das missachtet, hat wahrscheinlich einen Fehler gemacht.

Sprich:

namespace detail
	{
		template <typename L>
		struct tail : tail<typename L::type>
		{};

		template <typename Head, typename... Tail>
		struct tail<list<Head, Tail...>> : list<Tail...>
		{};
	}

	template <typename L>
	struct tail
		: extend_if // prevent messy template error from propagating for empty lists
		<
			length<L>,
			detail::tail<L>
		>
	{
		static_assert(length<L>::value != 0, "tail of empty list requested");
	};

Man beachte den Kommentar. extend_if ist, wenn die Bedingung (hier Länge ungleich 0) wahr ist, von typename detail::tail<L>::type abgeleitet, andernfalls leer. Somit bekäme der User im Fehlerfall nur den Fehler der Assertion, weil detail::tail nicht instanziert wird.