从模板模板参数中提取第一个模板参数并在类中使用它？

Question

我有以下问题：一个类模板a，有几个模板参数，我想构建一个类B，它以a为模板参数，并提取a的第一个模板参数，以便在某种方法中使用它（想想从std::vector 中提取int并返回默认的int{}）。

#include <iostream>

template<typename... Ts>
struct A {};

template<template <typename InnerType> typename U> // <--- I'd like to use InnerType!
struct B {
  InnerType foo() { return InnerType{}; }
};

int main()
{
  B<A<int>> b;
  std::cout << b.foo() << "\n"; 

  return 0;
}

我知道这种天真的方法不会编译，但我不知道如何实现这样的东西。感谢任何提示。

Answer 1

不能直接命名模板模板参数的模板参数。即使它看起来你可以命名它，正如你注意到的那样，这个名字实际上是不能使用的。

但是，对于采用单个模板参数的类型，可以使用显式特化。

template<typename... Ts>
struct B;  // incomplete type, only needed for specialization

template<template <typename> typename U, typename InnerType>
struct B<U<InnerType>>  // specialized to be able to use InnerType
{  
  InnerType foo() { return InnerType{}; }
};

这是一个演示。