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