Wie könnte ich ein Konzept<A, B> erstellen, um zu überprüfen, ob Typ „A“ von der Vorlage „B<...etwas...>“ abgeleitet ist ⇐ C++

[Guest]

Minimales, vollständiges, überprüfbares Beispiel für Godbolt
Ich habe ein Konzept Trait_AActuallyBTemplate, um zu überprüfen, ob Typ A eine Instanz einer Vorlage ist B, und es funktioniert.
Wie könnte ich ein neues Konzept erstellen, um zu überprüfen, ob A von B erbt?

Code: Select all

#include 
#include 
namespace hid{
template 
struct is_mytype : std::false_type { };

template 
struct is_mytype : std::true_type { };

};

template 
concept Trait_AActuallyBTemplate = hid::is_mytype::value;

//vvv need modifying here
template 
concept Trait_AInheritFromBTemplate = hid::is_mytype::value;
//^^^ need modifying here

int main() {
static_assert(Trait_AActuallyBTemplate,"hehe1");
static_assert(!Trait_AActuallyBTemplate,"hehe2");
struct MyVector : public std::vector {};
static_assert(Trait_AInheritFromBTemplate,"hehe3");
//^^^ Assert only fails here. (It should work. I am sad.)
}