C++,那些可爱的小陷阱

此系列是为那些读过TC++PL或者具有类似水平的同学准备的,作为系列的第一篇以及有趣的热身,我们来看一个链接问题:
D1.cpp
#include <stdio.h>
struct X {
X(int);
X(int, int);
};
X::X(int = 0, int = 0) { printf("1\n"); }
class D: public X {
};
int minus(int a,int b)
{
D d;
return a-b;
}
D2.cpp
#include <stdio.h>
struct X {
X(int);
X(int, int);
};
X::X(int = 0) { printf("2\n"); }
class D: public X {
};
int add(int a,int b)
{
D d;
return a+b;
}
用来执行的main.cpp:
#include <stdio.h>
int minus(int a,int b);
int add(int a,int b);
int main()
{
add(1,2);
minus(1,2);
}
将以上三个cpp文件分别编译并链接成一个应用程序,在运行之前,请先猜个结果。然后运行。
好吧,我想你看到了答案。在你开始思考为什么会是这样的之前,请再做一件事,将D1.cpp和D2.cpp两个文件的内容完全交换,然后重新编译运行一次。
请原谅上面写的比较混乱且没有给出每一步的结果,因为使用VS的C++编译器,这个结果是不确定的。然而毫无疑问,两次运行的结果将是不同的!
在我这里,第一次显示了
2
2
第二次显示了
1
1
OMG,文件居然影响了程序结果!所以请不要总是相信编译器,这个例子来自C++标准,它用以说明一个重要的准则:One Defination Rule,简写ODR
ODR在C++标准中被解释为:
1.任何编译单元都不能包含变量、函数、枚举、类或者模板的定义一次以上。
2.所有程序必须且只能包含一次其中用到的所有非内联函数和对象。
3.在需要类的完整定义的编译单元中,类的定义必须且只能出现一次。
4.(好bt的一条啊,恰好这一条可以解释我们的程序)包括类、枚举、类模板......(具体有哪些请自己看spec)在内的一些定义可以在一个程序中出现多次,但是必须满足以下条件:
(1)所有定义的token序列必须相同(token你可以认为就是有效的语言要素,出了空白、换行注释之类的)
(2)所有的命名查找必须指向同一个实体,也就是说,你不能搞一些命名空间 typedef之类的,让这些相同的token表示不同的意义
(3)所有运算符必须表示同一个重载
(4)对于你要定义的实体中的所有带默认参数的函数,默认参数必须满足以上三条
(5)对于类定义,构造函数中调用的基类构造函数必须是同一个
总而言之,这个第四条的意思就是不同的定义之间不能有任何歧义
所以按照标准,应该无法通过链接器,这里似乎VC++实现的不是很理想,产生了一个未定义行为,既没有给出警告也没有报错。晚上回去看看g++的表现,也欢迎知道更多细节的朋友指点。
PS.g++似乎做了跟VC++相同的事情,表现基本一致。

内容版权声明:除非注明,否则皆为本站原创文章。

转载注明出处:https://www.heiqu.com/wwpxyy.html