模板类请教

[羽飞]

假如有这样一个模板类：

template<class T, size_t size = 1024>
class CC
{
//....
};

请教大虾们：
CC<int, 100>和CC<int, 200>
是不是同一个类？
求解释

[pengzhixi]

当然不是同一个类了。因为你最终的模板参数不一致。100和200是不同的模板实参

[羽飞]

还有没有高人详细的解释一下

[bluewanderer]

你每提供一组不同的参数都会实例化出一个不同的类型。

你可以直接用type_traits里的std::is_same看看

[seucs]

不是同一个类，看下面的例子

template<class T, unsigned size = 1024>
class CC
{
public:
    CC(){}
};

int main()
{
    CC<int, 100> c1;
    CC<int, 200> c2;

    return 0;
}

编译成汇编以后，你看注释部分

	.file	"test.cpp"
	.def	___main;	.scl	2;	.type	32;	.endef
	.text
	.align 2
.globl _main
	.def	_main;	.scl	2;	.type	32;	.endef
_main:
	pushl	%ebp
	movl	%esp, %ebp
	subl	$24, %esp
	andl	$-16, %esp
	movl	$0, %eax
	addl	$15, %eax
	addl	$15, %eax
	shrl	$4, %eax
	sall	$4, %eax
	movl	%eax, -8(%ebp)
	movl	-8(%ebp), %eax
	call	__alloca
	call	___main
	leal	-1(%ebp), %eax
	movl	%eax, (%esp)
	call	__ZN2CCIiLj100EEC1Ev
	leal	-2(%ebp), %eax
	movl	%eax, (%esp)
	call	__ZN2CCIiLj200EEC1Ev
	movl	$0, %eax
	leave
	ret
	.section	.text$_ZN2CCIiLj100EEC1Ev,"x"
	.linkonce discard
	.align 2
.globl __ZN2CCIiLj100EEC1Ev   
	.def	__ZN2CCIiLj100EEC1Ev;	.scl	2;	.type	32;	.endef
__ZN2CCIiLj100EEC1Ev:          ; CC<int, 100> 的构造函数
	pushl	%ebp
	movl	%esp, %ebp
	popl	%ebp
	ret
	.section	.text$_ZN2CCIiLj200EEC1Ev,"x"
	.linkonce discard
	.align 2
.globl __ZN2CCIiLj200EEC1Ev   ; CC<int, 200> 的构造函数
	.def	__ZN2CCIiLj200EEC1Ev;	.scl	2;	.type	32;	.endef
__ZN2CCIiLj200EEC1Ev:
	pushl	%ebp
	movl	%esp, %ebp
	popl	%ebp
	ret
	.def	__ZN2CCIiLj200EEC1Ev;	.scl	3;	.type	32;	.endef
	.def	__ZN2CCIiLj100EEC1Ev;	.scl	3;	.type	32;	.endef

[pengzhixi]

使用这种template时必须明确使用数值才能具现化，而每一个具现化的class template都有各自的类型

[珍惜生命远离CPP]

[Quote=引用 2 楼 hnwyllmm 的回复:]

还有没有高人详细的解释一下
[/Quote]
#1 已经很明确的解释了 。。。

[seucs]

如上面的汇编代码所示。生成了两个不同的构造函数，所以不是同一个类型的

[luciferisnotsatan]

1楼不说的很明确了？

[ma100]

如果template<class T, size_t size = 1024>里面有虚函数
并且CC<int, 100>和CC<int, 200>有至少1个不同的实现
则显然说明这是2个类

如果1024里面没虚函数,你也可以说成是2个类,但没任何区别

[ryfdizuo]

类模板参数不同，实例化以后的类当然就不一样了。

[羽飞]

[Quote=引用 6 楼 akirya 的回复:]

引用 2 楼 hnwyllmm 的回复:

还有没有高人详细的解释一下

#1 已经很明确的解释了 。。。
[/Quote]
呵呵，是很清楚了，但是鄙人愚钝，不太明白，下面的大侠们解释的很详细，受益匪浅

[hondely]

汇编 还真是看不懂

[程序员小迷]

这个不能一定就判定结果，因为仅仅是数值，也许编译器会做优化，要看代码实现：

#include <iostream>
#include <typeinfo>
using namespace std;

template<class T, size_t size = 1024>
class CC
{
	
};

int main(int argc, char* argv[])
{
	CC<int, 100> c1;
	CC<int, 200> c2;
	
	cout << typeid(c1).name() << endl;
	cout << typeid(c2).name() << endl;
	
	return 0;
}

gcc 4.2输出：

2CCIiLm100EE
2CCIiLm200EE

所以不是一种类型

[yd250990477]

正解，可以结贴了

[羽飞]

其实我在设计这个类的时候已经知道不是同一个类了，就是想看看大侠们有没有理论上的解释，而不是摆事实

[pengzhixi]

貌似我说的就是理论

[羽飞]

[Quote=引用 17 楼 pengzhixi 的回复:]

貌似我说的就是理论
[/Quote]
是啊呵呵，不我鄙人愚钝，需要时间消化