-
-
[求助]菜鸟问题，typedef在编译器中是如何实现的？求大牛帮助！
-
发表于: 2012-5-13 12:50
-
这个问题可能有些钻死牛角。 但是我确实想知道这是为什么？大牛不要笑我哟
起因，是如下程序：
//typedef.cxx 这个代码是编译不能通过的，因为 编译器不知道 whereItIs到底是个什么东东。
class test
{
public:
void show(void) {cout<<m_i<<endl;}
whereItIs m_i;
typedef int whereItIs;
};
int main()
{
test o_o;
o_o.show();
return 0;
}
下面的两个能编译通过，这个是对比的例子，我都是在show()调用hello函数，而且hello 函数在show函数之下，并不是之前，这是与第一个例子的对比。
//function.cxx
class test
{
public:
void show(void);
void hello();
};
void test::show(){
hello();
}
void test::hello(){
cout<<"hello world\n";
}
int main()
{
test o_o;
o_o.show();
return 0;
}
//function2.cxx
class test
{
public:
void show(void){hello();}
void hello(){cout<<"hello world\n";}
};
int main()
{
test o_o;
o_o.show();
return 0;
}
我能想到的解释： 第２、３个例子说明编译器在生成代码时，类作用域中的函数符号表是没有先后次序的。
我的结论：typedef 改变类型名后，它不会加入符号表。 后面再次验证：确实如此：
１、预处理阶断typedef的类型并没有进行替换，如下图所示：
2、编译阶断也没有whereItIs的符号表
3、汇编阶断同样。
因此便特别想知道 typedef在编译器中是怎么实现的？ 菜鸟
起因，是如下程序：
//typedef.cxx 这个代码是编译不能通过的，因为 编译器不知道 whereItIs到底是个什么东东。
class test
{
public:
void show(void) {cout<<m_i<<endl;}
whereItIs m_i;
typedef int whereItIs;
};
int main()
{
test o_o;
o_o.show();
return 0;
}
下面的两个能编译通过，这个是对比的例子，我都是在show()调用hello函数，而且hello 函数在show函数之下，并不是之前，这是与第一个例子的对比。
//function.cxx
class test
{
public:
void show(void);
void hello();
};
void test::show(){
hello();
}
void test::hello(){
cout<<"hello world\n";
}
int main()
{
test o_o;
o_o.show();
return 0;
}
//function2.cxx
class test
{
public:
void show(void){hello();}
void hello(){cout<<"hello world\n";}
};
int main()
{
test o_o;
o_o.show();
return 0;
}
我能想到的解释： 第２、３个例子说明编译器在生成代码时，类作用域中的函数符号表是没有先后次序的。
我的结论：typedef 改变类型名后，它不会加入符号表。 后面再次验证：确实如此：
１、预处理阶断typedef的类型并没有进行替换，如下图所示：
2、编译阶断也没有whereItIs的符号表
3、汇编阶断同样。
因此便特别想知道 typedef在编译器中是怎么实现的？ 菜鸟
|
|
|---|---|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
