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
