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