关于c++名字解析规则的一次小研究,

原创 2004年07月23日 22:23:00

c++中名字解析过程恐怕是最麻烦的东西之一了。花了很多时间,也不敢说自己弄明白了,但也得把自己自以为理解的东西写出来,以便好好整理下思路,如果不对之处请大家多多指正。

<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" />

 

毫无疑问名字解析的大半工作由编译器完成,但是知道一些,有助于我们对一些语言机制的应用。比如重载、派生机制等等,因此花点时间还是必要的,下面我试图通过一段小代码来按顺序把这个过程走一遍,代码如下:

#include “iosrtream“

using namespace std;

namespace A

{   struct tst { int sht;};

    void f( tst& );

    void f( void );

    int a = 11;

}

int a = 100;

void main()

{  

    A :: tst abc;

    f( abc );//<1>

    f();//<3>

    int a = 10;

    cout << a << endl;//<2>

    for( int i = 0 ; i < 1; ++i )

    {

       int a = 1;

       cout << a << endl;//<4>

    }

}

void A::f( tst &a )

{

    cout << a.sht << endl;

}

void A::f()

{

    cout << "f()" << endl;

}

第一步,名字查找。对于变量而言这个过程不算复杂,查找顺序是从局部域到全局域的像栈结构那样的查找方式,这里要注意的是一个域中的名字会“隐藏”其外围域的名字。并对其包涵的域中的名字不加理睬,因此不难理解,<2><4>处都能通编译,并输出结构不相同的现象了,《4》处:for循环中的a隐藏了main()中的a和全局域中的a;《2》处:隐藏了全局域的afora在此处不可见,如果去掉当前域中的a定义则向外围域查找,一旦找立刻停止,因此上三个a定义无论去掉那个都不会引起二义性,另外在派生机制中,子类和基类也存在类似的关系。子类的名字将隐藏基类的相同名字。

对于函数而言名字查找规则则要复杂些,《1》。《3》两处一对一错,可是我们发现,名字空间域A中声明在main函数中并不可见,函数定义又在main函数之后啊。为什么《1》对。《3》错呢?我们看到唯一的区别是《1》处有个tst形参,c++让函数参数类型所定义的域也加入到函数名字解析的查找范围,这个规则就叫koenig 名字查找规则具体请见:

DetailPage_IDX/1,1701,990,00.html

 

对于函数来说,名字解析还存在第二步:我一直很奇怪,为什么c++能支持函数重载,连接器能让相同的名字通过吗?难道连接器的实现也改了吗?那当年B,S的风险也太大了点吧?根据查询,我发现原来存在一种机制,这种机制使得编译器将相同的名字改为各自不同的名字再送入连接器。从而实现同名函数重载,这个就是名字重整机制,比如上面两个f()经过编译器被改为f_tst(( tst & )f_void()送入连接器,因此在连接器中就根本不存在函数名字重载的现象了。

 

关于name mangling(名字重整),和koenig name lookup(koenig名字查找规则)。我真的还有待更仔细的研究,希望以后还有机会再来补充这个文字

北京大学 科学道德与学术规范基本知识测试 题库

【题库太大了,只试出了一部分,运气不是特别差的话通过应该没问题了吧...目测题库规模应该有300+】 1.          是以人的观念、精神、情感和价值,即以人的主观精神世界及其所沉淀的精神...
  • u013012544
  • u013012544
  • 2016年09月04日 11:04
  • 24278

PaperWeekly 第32期 | 基于知识图谱的问答系统关键技术研究 #01

“   崔万云   复旦大学知识工场实验室博士生   研究方向为问答系统和知识图谱 第一章 绪论   第 1 节 问答系统背景介绍 2011 年 10 月 14 日...
  • AMDS123
  • AMDS123
  • 2017年04月08日 15:35
  • 8437

[BASIC-20] 数的读法

基础练习 数的读法   时间限制:1.0s   内存限制:512.0MB 问题描述   Tom教授正在给研究生讲授一门关于基因的课程,有一件事情让他颇为头疼:一条染色体上...
  • u011506951
  • u011506951
  • 2014年05月21日 09:15
  • 1522

c++编译器名字查找规则之ADL和Ordinal Lookup比较

在说明Ordinal Lookup(顺序查找)和Koenig查找如何共同作用的之前,先解释一下Ordinal Lookup顺序查找,所谓顺序查找,就是从函数调用所处的域开始(如果函数调用处于一个成员函...
  • nodeathphoenix
  • nodeathphoenix
  • 2014年01月11日 23:07
  • 1471

C++中一个容易被忽视的名字查找规则

现在,有下面的代码:namespace lx1{    class Point3d    {    public:        Point3d (double dx, double dy, doub...
  • eric491179912
  • eric491179912
  • 2011年03月07日 10:36
  • 1010

C++中一个容易被忽视的名字查找规则

现在,有下面的代码: namespace lx1 {     class Point3d     {     public:         Point3d (double dx,...
  • aqktjcm
  • aqktjcm
  • 2013年07月01日 00:28
  • 216

c/c++函数名字修饰规则初探

开始接触c++时,遇到的一个问题就是:为什么c++可以支持重载?而c语言却不可以?这个问题看似很简单,但是具体让你讲解的话,你可以问问自己,可不可以不加思考的道出一切缘由?如果不可以,那么恭喜你,这篇...
  • qq_34992845
  • qq_34992845
  • 2017年01月15日 22:12
  • 379

交叉编译知识解析(二) —— 交叉编译器的名字的命名规则

在折腾嵌入式开发,用到交叉编译器的时候,常常会看到这样的名字: arm-xscale-linux-gnueabi-gcc arm-liunx-gnu-gcc 等等        其中,对应的交叉编译器...
  • zqixiao_09
  • zqixiao_09
  • 2016年07月04日 20:24
  • 5362

泊松分酒(泊松是法国数学家、物理学家和力学家。他一生致力科学事业,成果颇多。有许多著名的公式定理以他的名字命名,比如概率论中著名的泊松分布。 有一次闲暇时,他提出过一个有趣的问题,后称为:)

/** * 泊松是法国数学家、物理学家和力学家。他一生致力科学事业,成果颇多。有许多著名的公式定理以他的名字命名,比如概率论中著名的泊松分布。 有一次闲暇时,他提出过一个有趣的问题,后称为...
  • wang263334857
  • wang263334857
  • 2013年07月01日 10:23
  • 2071

DNS及mDNS 名字(名称)压缩规则

--------------------------------------------------------- Author             :Shawn Lee WebSite   ...
  • twelvelee
  • twelvelee
  • 2011年08月24日 10:55
  • 2759
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:关于c++名字解析规则的一次小研究,
举报原因:
原因补充:

(最多只允许输入30个字)