很好奇的一个模板实例化的问题

[DraculaW]

template<typename T, typename U>
class Test
{
public:
void a(T)
{
}

void a(U)
{

}
};

Test<int, int> test;

test.a(0);

这个时候 这个a（0）应该连到哪一个上面去呢.....

[taodm]

自己编译试一下嘛。
如果能编译过的话，你在2个函数里加打印，执行一下嘛。
举手之劳，为啥不自己试？

[loops]

你在哪个编译器上编译通过了？

[DraculaW]

当然没有通过啊 所以我才来问问...

[珍惜生命远离CPP]

g++
error: `void Test<T, U>::a(U) [with T = int, U = int]' and `void Test<T, U>::a(T) [with T = int, U = int]' cannot be overloaded

[DraculaW]

这个应该编译通不过
因为 会对Test这个函数定义两次....
不知道标准或者什么上面有说法没有

[fish6344]

对于你的如下代码:
template<typename T, typename U>
class Test
{
public:
void a(T){}
void a(U){}
};
在编译器未检索到有使用该模板的代码以前，编译器将不作实例化，仅作语法检测。

编译器检索到:
Test<int, int> test;语句时，开始具现出该模板的实体如下:

template<typename int, typename int>
class Test
{
public:
void a(int){}
void a(int){}
};

等同于你有如下声明:
class Test
{
public:
void a(int){}
void a(int){}//编译时错误，函数名'a(int)'重定义!
};

相信你也意识到了错误的原因。所以如下语句:
test.a(0);
根本不存在绑定那一个的问题!

关键是，对于非模板类，编译器在类声明的结束处(最后一个’｝’处)，就开如决义具现出类声明实体，而对于类模板这个操作要推迟到使用的时候才具现出类声明实体。