基于嵌套的内部参数专门化模板

Question

我想根据模板的内部参数专门化模板。我使用了非严格的评估，这让事情变得困难。

专门化应该基于嵌套最少的模式匹配。例如：

template<typename T>
struct data1;
template<typename T>
struct fun1 {
  using type = data1<T>;
};
template<typename T>
struct fun2;
template<typename T>
struct fun2<data1<T>> {
  using type = data1<T>;
};
fun2<data1<int>> x1;             // this works as expected, T=int
fun2<data1<fun1<int>>>::type x2; // this works as expected, T=fun1<int>
fun2<fun1<int>>::type x3;        // this should be specialized as fun2<data1<int>>, T=int
fun2<fun2<fun1<int>>>::type x4;  // this should be specialized as fun2<data1<int>>, T=int

我该怎么做？

Answer 1

您只需使用模板模板参数：

template<typename T>
struct data1;
template<typename T>
struct fun1 {
  using type = data1<T>;
};
template<typename T>
struct fun2;
template<class T>
struct fun2<data1<T>>{
  using type = data1<T>;
};
template<template<class> class X, class T>
struct fun2<X<T>>
  : fun2<typename X<T>::type>{};

测试：

#include <type_traits>
static_assert(std::is_same<fun2<data1<int>>::type, data1<int>>::value, "fun2<data1<int>>");
static_assert(std::is_same<fun2<data1<fun1<int>>>::type, data1<fun1<int>>>::value, "fun2<data1<fun1<int>>>");
static_assert(std::is_same<fun2<fun1<int>>::type, data1<int>>::value, "fun2<fun1<int>>");
static_assert(std::is_same<fun2<fun2<fun1<int>>>::type, data1<int>>::value, "fun2<fun2<fun1<int>>>");
int main(){
}

Ideone上的实时示例（使用别名更改为typedefs）。