C++ 11 static_assert: Parameterized Fehlermeldungen

Question

In my previous question ich static_assert verwenden wollte einen Template-Parameter zu beschränken einen spezifischen Subtyp zu sein. Die Frage beantwortet wurde, dass der Code für archieving ist wie folgt:

template <typename T> 
struct X { 
    static_assert(std::is_base_of<Y,T>::value,"T must be derived from Y!"); 
}; 

Nun möchte ich die Fehlermeldung prägnanter machen. D.h., ich möchte angeben, welcher Typ diese Beschränkung verletzt. Z. B. wenn die Klasse A nicht von Y abgeleitet ist und jemand X<A> einführt, dann sollte die Fehlermeldung "Der Typparameter muss von Y abgeleitet sein, aber A ist nicht".

Ist das irgendwie mit der Standardbibliothek erreichbar?

Ich sehe zwei Herausforderungen:

• Montage Saiten compiletime ohne boost :: mpl
• den Namen des Typs abrufen, 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.

Answer 1

Sie können dies nicht tun. static_assert möchte ein String-Literal. Sie haben keine Möglichkeit, die semantische Identität von T und Y in das Zeichenfolgenliteral zusammenzufassen.

können Sie hoffen, dass der Compiler eine einfache gibt Backtrace der Vorlage Instanziierung Stapel zu lesen und gibt Ihnen den Wert von T und Y Template-Parameter der umgebenden Klasse Vorlage Instanziierung.

Andere Leute dachten auch darüber nach, siehe zum Beispiel http://comments.gmane.org/gmane.comp.compilers.clang.devel/5073.

Answer 2

können Sie noch BOOST_MPL_ASSERT_MSG verwenden. Er akzeptiert die generischen Typen als Parameter und versucht, die konkreten Typnamen in die Fehlermeldung aufzunehmen.

Weitere Informationen und Beispiele hier: http://www.boost.org/doc/libs/1_49_0/libs/mpl/doc/refmanual/assert-msg.html