what concept should I write in C++20 to make sure a template parameter is the instantiation of a template class C

Hi,

I have this code:

1
2
3
4
5
template <typename T, typename ...RefBy> requires (???))
struct TableDef
{
};


I need T to be TableKey<U, int U::*K> for some U and K... I tried using this :

 
requires (template<typename U, int U::* K> std::is_same_v(TableKey<U,K >, T))


but it does not compile....

Any ideas?

Regards,
Juan
Topic archived. No new replies allowed.