Re: name binding from one template to another

Thanks Igor,

My confusion is, a compiler should do two major working items,

1. Identify the type of variable;
2. Identify referred symbols (find declaration), like function call.

If either task can not be completed when paring a section of code (e.g. a
function), it should be dependent name on template parameter and could only
be resolved when instantiation is done.

In my understanding, each type has an identifier and compiler needs to match
variable with related type identifier (like typeid typeof operator, giving
variable a type tag). For the sample, how could compiler identify what type
of v is? So, I think v is dependent on template parameter.

I do not understand why it is treated as a template parameter non-dependent
name in your minds and also in Bjarne's points.

[Code]
#include <vector>
bool tracing;
/ / ...
template <class T> T sum (std :: vector <T>& v)
{
T t = 0 ;
if (tracing) cerr << "s u m (" << &v << ")\ n ";
for (int i = 0 ; i <v .size(); i ++) t = t + v [i ];
return t ;
}
[/Code]

regards,
George