Obfuscated C++

你能预测下面这个程序的输出结果吗：

#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