Wie erzwinge ich die Begrenzung der Kind-of-X-Beschränkung auf den Template-Parameter?

Angenommen, ich möchte die Einschränkung erzwingen, dass der übergebene Template-Parameter ein Kind von Foo ist.

Gibt es eine Möglichkeit, dies durch Typeigenschaften durchzusetzen? Ein Kompilierungszeit static_assert Fehler wäre großartig.

Machen Sie im folgenden Code eine zweiteilige (separate) Frage.

1. Erlaube nur My_Limited_Template<Bar> zu kompilieren.
2. Erlaube nur My_Limited_Template<TBar> zu kompilieren.

BEARBEITEN Ich entschuldige mich für die schlechte Benennung: TBar und TBaz sind beabsichtigt, um nicht-Vorlage-Klassen zu Zwecken zu sein. Ich habe T einfach vor die Namen angehängt, um aus den Klassen in Teil 1 zu disambiguieren.

CODE