以模板作为模板参数(嵌套模板)

紫火桑葚

于 2021-06-23 16:45:33 发布

阅读量399

点赞数

分类专栏： C++

本文链接：https://blog.csdn.net/lushangqiushui/article/details/118156499

版权

C++ 专栏收录该内容

54 篇文章

订阅专栏

本文深入探讨了C++中模板类型推断和元编程的概念，通过示例展示了如何使用`<tuple>`进行复杂类型操作。讲解了`S<T<TArgs...>, U<UArgs...>>`结构体的定义，以及在`main`函数中创建的实例`s1`和`s2`，揭示了模板在实现泛型编程时的关键作用。同时，提到了理解此类概念需要对C++的元编程有一定了解。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

#include <cstdio>
#include <tuple>

using namespace std;

template<typename A,typename B> struct S{};

template<
	template<typename...>typename T,typename... TArgs  //这边很难理解，需要看tuple原型，辅助理解
	,template<typename...>typename U,typename... UArgs
>
struct S<T<TArgs...>, U<UArgs...>> {};

int main()
{
	S<int, float> s1;
	S<tuple<int, char>, tuple<char, float>> s2;

    return 0;
}

例子有点复杂，说实话，本人也是看了很久，最后查看了tuple的实现原型，才稍微看懂了一点点

template<class _This,
	class... _Rest>
	class tuple<_This, _Rest...>
		: private tuple<_Rest...>
{
	//....
}