C++模板实例化

深入理解C++中第七章提到模板实例化参数的选择：函数的决议结果只和函数参数有关和返回值无关。记录一下。

测试程序如下：

#include <iostream>
using namespace std;
int foo(int d)
{
	cout << "int foo" << endl;
	return d+1;
}
double foo(double d)
{
	cout << "double foo" << endl;
	return d+1;
}
#include <iostream>
using namespace std;
extern int foo(int);
extern double foo(double);
template <class type>
class A {
private:
	int _val;
	type _member;
public:
	void invariant() { _member = foo(_val); }//形参为int，返回型为double，但调用foo(int)
	type type_dependent() {
		return foo(_member);//形参为double，调用foo(double)
	}
};

int main(int argc, char *argv[])
{
	A< double > a;
	a.invariant();
	a.type_dependent();
	return 0;
}

测试结果如下：

int foo

double foo

当模板有实例化具体类型时，才产生具体的对象类图:

Class A<double>
   size=12 align=4
   base size=12 base align=4
A<double> (0x0xb686e850) 0