在标准库中有个模板函数：std::decay可以退化类型，但退化的并不完全，如const int**[]或者const int* const类型都无法做到完全退化。这里使用模板类型的递归实现： template<typename T> struct fulldecay { using type = T; }; template<typename T> struct fulldecay<const T> : fulldecay<T> { }; template<t…