类作用域与命名空间续-----留有后续疑问

类作用域与命名空间续

(名字查找规则)

在版本4中，有关于类作用域中的名字查找有这么一段话：

迄今为止，在我们所编写的程序中，名字查找（寻找与给定的名字相匹配的声明的过程）是相对直接的。

(1) 首先，在使用该名字的块中查找名字声明，只需考虑在该项使用之前声明的名字。

(2) 如果找不到该名字，则在包围的作用域（外层作用域，也需要在使用之前）中查找。

(3) C++中所有名字必须在使用之前声明。

(4) 在名字查找期间，如果类作用域使用的名字不能确定为成员名，则在包含该类或者成员定义的作用域中查找，以便找到该名字声明。

知道理论不见得理解了本质，或者说理解可能会有偏差。下面我们一如既往地做个小测试，测试程序如下：

//findName 头文件

#include<iostream>
#include<string>
namespace std{void Show(int i){}template＜ｃｌａｓｓ　Ｔ＞void CallShow(){   //Show();   //Show(std::string("empty"));}template＜ｃｌａｓｓ　Ｔ＞void CallShow(T s){   //show();   Show(s);   //Show(std::string("empty"));}template＜ｃｌａｓｓ　Ｔ＞class display{public:   void CallShow(T s)   {        Show(s);   }};}int main(){   std::CallShow();   std::string str = std::string("song");   std::CallShow(str);        std::display d;   d.CallShow(str);}namespace std{void Show(){   std::cout<<"Empty Show!"<<std::endl;}void Show(std::string s){   std::cout<<"s = "<<s<<std::endl;}}
这段代码能成功执行煞是费解，难道此处Show不是在实例化之后定义的吗？这个问题留待以后学完模板吧。