C++代码经过编译后，虚函数的默认参数值最后放到哪里去了？

xb_parasite

有如下两个类的定义：
class A
{
public:
virtual void methd(int a =  9) {return a};
};
class B:A
{
public:
void methd(int a =10) {return a};
}；

请问,如下代码输出结果是10还是9？
A *ptr = new B ;
B.methd();

为什么会出现这样的情况，其编译处理的过程是怎么样的？

insnowind

Effective C++：
Item 37: Never redefine a function's inherited default parameter value

morocco

对，楼上说得很对，所谓默认参数，只是编译器的一个把戏而已，其实编译出来的代码是假设那里有参数的，虚函数是运行时的功能，所以我估计编译时只能看到编译时的东西，也就是说输出是9

xb_parasite

回insnowind ：这个问题正是大家一起讨论effective c++ 37条是推出的问题。虽然知道结果，但是，是编译的时候是怎么一个处理过程，为什么会导致这样 ？

回morocco：我们也是同样的猜测。但是谁能给出明确的编译过程？ 我是对编译过程不太了解哦。猜个大概的话，我想只是大众水平

期待高人！

zzyong08

编译器替你填上了相关的参数。

在虚函数中使用默认参数，默认参数就是调用类型的默认参数，而不是实际类型的参数。

insnowind

C++对于虚函数已经需要附加一个虚函数表来处理了，虚表中的指针在运行时动态调整指针的指向，从而确定每一个该调用的函数。如果对于默认参数也需要动态绑定，那么C++最起码需要至少再附加一个表来处理，这样如果有多个默认参数的函数，C++的对象会越来越大，这里为了简化处理，直接不管了，静态绑定，然后就根据函数指针来调用了。

insnowind

编译器具体的做法估计要看g++什么的源代码才能搞清楚。

xb_parasite

什么是静态绑定？
为什么是代码段而不是数据段什么的呢？还有编译的时候到底什么东西放在数据段什么东西放在代码段。
虚表是一个类一个吗？

xb_parasite

回复 7# insnowind


   我正想看看编译器的源代码。不过有点畏惧。恐怕代码量很大。

OwnWaterloo

默认参数被编译进每个调用点处， 跟是否虚函数没有关系。

1. 
   
2. 
   
3. // 1.cpp
   
4. extern int f(int x=12,int y=26);
   
5. int f1()
   
6. {
   
7.       return f();
   
8.       // push 26
   
9.       // push 12
   
10.       // call f
    
11. }
    

复制代码

1. 
   
2. // 2.cpp
   
3. extern int f(int x=26, int y=12);
   
4. int f2()
   
5. {
   
6.       return f();
   
7.       // push 12
   
8.       // push 26
   
9.       // call f
   
10. }
    

复制代码

1. 
   
2. // f.cpp
   
3. int f(int x,int y) { return x+y; }
   

复制代码