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

文章由LinuxBoy分享于2019-04-01 11:04:05热评（86）

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++相同的事情，表现基本一致。

推荐文章：

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