C ++ 11 static_assert: Parametrisierte Fehlermeldungen

In meine vorherige Frage Ich wollte static_assert verwenden, um einen Template-Parameter auf einen bestimmten Subtyp zu beschränken. Die Frage wurde beantwortet, der Code für das Archivieren lautet wie folgt:

Nun möchte ich die Fehlermeldung präziser machen. D.h., ich möchte angeben, welcher Typ diese Beschränkung verletzt. Wenn beispielsweise die Klasse A nicht von Y abgeleitet wird und jemand X<A> angibt, sollte die Fehlermeldung ausgegeben werden "Der Typparameter muss von Y abgeleitet sein, aber A ist nicht" .

Ist das irgendwie mit der Standardbibliothek erreichbar?

Ich sehe zwei Herausforderungen:

• Zusammenfügen von Strings bei Compiletime ohne Verwendung von boost :: mpl
• Abrufen des Namens des Typs, mit dem T instanziiert wurde. Der Name sollte aussagekräftig sein, idealerweise der gleiche wie in der verletzenden Definition. Ich habe versucht, Typid (T) .name (), aber es gibt nur den entstellten Namen, der nicht akzeptabel ist. Ich erinnere mich, dass es eine Art Makro gab, das den Namen von etwas zurückgibt, aber ich kann mich nicht mehr daran erinnern.