以下程序输出结果是____。

最新推荐文章于 2021-02-13 13:41:31 发布

原创最新推荐文章于 2021-02-13 13:41:31 发布 · 7.1k 阅读

2 ·

CC 4.0 BY-SA版权

文章标签：

#class

面试笔试题专栏收录该内容

21 篇文章

订阅专栏

本文通过一个程序示例解释了C++中动态绑定（虚拟函数）与静态绑定（默认参数值）的区别。当派生类没有覆盖基类的虚拟函数，但在调用该函数时，会根据对象的实际类型进行动态绑定。然而，即使调用了派生类的函数，缺省参数值仍使用基类的设定。因此，结论是不应在派生类中重定义基类的默认参数值。

以下程序输出结果是__。

class A
{
public:
    virtual void func(int val = 1)
    { std::cout<<"A->"<<val <<std::endl;}
    virtual void test()
    { func();}
};
class B : public A
{
public:
    void func(int val=0)
{std::cout<<"B->"<<val <<std::endl;}
};
int main(int argc ,char* argv[])
{
    B*p = new B;
    p->test();
return 0;
}

正确答案: B

A、A->0
B、B->1
C、A->1
D、B->0
E、编译出错
F、以上都不对

正确答案：B

记住：virtual 函数是动态绑定，而缺省参数值却是静态绑定。意思是你可能会在“调用一个定义于派生类内的virtual函数”的同时，却使用基类为它所指定的缺省参数值。
结论：绝不重新定义继承而来的缺省参数值！（可参考《Effective C++》条款37）
对于本例：

B*p = newB;
p->test();

p->test()执行过程理解：
(1) 由于B类中没有覆盖（重写）基类中的虚函数test()，因此会调用基类A中的test()；
(2) A中test()函数中继续调用虚函数 fun()，因为虚函数执行动态绑定，p此时的动态类型（即目前所指对象的类型）为B*，因此此时调用虚函数fun()时，执行的是B类中的fun()；所以先输出“B->”；
(3) 缺省参数值是静态绑定，即此时val的值使用的是基类A中的缺省参数值，其值在编译阶段已经绑定，值为1，所以输出“1”；
最终输出“B->1”。所以大家还是记住上述结论：绝不重新定义继承而来的缺省参数值！