匹配模板模板类型参数

Question

假设我想键入具有特定成员（约束）的任何容器，但也将类型变量绑定到容器和成员。例如，令t和u为模板类型变量，对应于类和成员someclass.member。这可能吗？

让我们通过模板来简化事情。这将成员类型作为模板类型参数移动到类型系统中，该参数允许删除约束。现在，我可以将类型变量绑定到模板类型和模板类型参数吗？例如，令t和u是模板类型变量，与模板的容器t＆lt; u＆gt;相对应。这可能吗？

例如，

template <typename T>
struct S1 {
    T a;
    int b;
};

struct S2 {
    S1<int> a;
    S1<double> b;
};

void cb(auto*);

// Many things have been tried
template<T<U>>
template<template<typename U> typename T>
void caller(T<U>*, void (*)(U*));

template<S1<T>>
void caller(S1<T>*, void (*)(T*));

template<T>
void caller<S1<T>>(S1<T>*, void (*)(T*));

Answer 1

caller的模板列表应为

template <typename T>
struct S1 {
  T a;
  int b;
};

void cb(auto*);

template<template<typename...> typename Temp, typename U>
void caller(Temp<U>*, void (*)(U*));

int main() {
  S1<int> a;
  caller(&a, cb);

  S1<double> b;
  caller(&b, cb);
}

demo

Answer 2

我想传递s1指针s1和cb到呼叫者，以便cb的类型是从s1-＆gt; a

的类型推断

这样的类型？

#include <iostream>
#include <type_traits>

template <typename T>
struct S1 {
    T a;
    int b;
};

template <typename T>
void caller(S1<T> *, void (*)(std::type_identity_t<T> *)) {}

int main()
{
    S1<int> s1;
    caller(&s1, [](int *){});
}

这里type_identity_t需要停止从第二个参数推导出t，这会使编译器通过lambda时混淆。