你能预测下面这个程序的输出结果吗：
#include <iostream> using namespace std; namespace N { void g(int) { cout << "g(int)\n"; } }; using namespace N; namespace N { void g(char){ cout << "g(char)\n"; } }; int main(){ g('x'); return 0; }
它的输出为:g(char).这个问题的关键在于g(char)的声明是否在引用的范围内.
的确在这范围内!因为"using namespace N"为引用带入了N命名空间的所有可视
的申明,而不止是在using命令出现的地方(也在随后出现的引用的地方).这也就
意味着g(char)的声明在g('x')的呼叫范围之内.由于g(char)比g(int)更适合,
所以g(char)被呼叫.
那么,下面这个程序的结果又是什么呢?
#include <iostream> using namespace std; struct C; struct D { void operator*(D) { cout << "one\n"; } } C; struct E { void operator*(E) { cout << "two\n"; } } F; struct F; int main(){ C* C; F* F; return 0; }
这个问题的关键在于main()函数中前2个语句的含义.依照语法,这些语句是指针的声
明.空白起了迷惑作用.每条语句中,变量(C or F)即被声明为一个类,又
作为一个全局对象名而存在.在这种情形下,忽略声明的先后顺序,对象名隐藏了类名.
而这个类名只能用一复杂语句(e.g..struct C* C;)引用.每一条语句只不过是
operator*的应用.我们可以用以下语句重写:
int main(){ C.operator*(C); // Invokes D::operator*(D) F.operator*(F); // Invokes E::operator*(E) return 0; }
所以我们的程序输出为:
one
two
本文地址：http://com.8s8s.com/it/it2601.htm