Минимальный, полный, проверяемый пример на godbolt
У меня есть концепция Trait_AActuallyBTemplate, позволяющая проверить, является ли тип A экземпляром шаблона B, и это работает.
Как я могу создать новую концепцию, чтобы проверить, наследует ли A от B?
#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.)
}
Подробнее здесь: https://stackoverflow.com/questions/790 ... m-template
