虚函数与默认实参

最新推荐文章于 2023-08-15 15:16:03 发布

转载最新推荐文章于 2023-08-15 15:16:03 发布 · 661 阅读

本文探讨了C++中虚函数使用默认实参时可能遇到的问题。特别关注通过基类引用或指针调用虚函数时，不同版本的默认实参会引起的混淆。举例说明了基类和派生类中相同虚函数的不同默认实参导致的行为差异。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

最近开始重新阅读C++ Primer，不愧是经典书籍，每次翻阅都有新的收获。

今日看书的过程中发现一个过去没有注意的细节，以一篇博文记录，也希望阅读本文的朋友能注意。

第十五章

15.2.4

5.虚函数与默认实参

像其他任何函数一样，虚函数也可以有默认实参。通常，如果有用在给定调用中的默认实参值，该值将在编译时确定。如果一个调用省略了默认值的实参，则所用的值由调用该函数的类型定义，与对象的动态类型无关。通过基类的引用或指针调用虚函数时，默认实参为在基类虚函数生命中定义的值，如果通过派生类的指针或者引用调用虚函数，则默认实参是在派生类的版本中声明的值。

在同一虚函数的基类版本和派生类版本中使用不同的默认实参几乎一定会引起麻烦。如果通过基类的引用或指针调用虚函数，但实际执行的是派生类中定义的版本，这时就可能会出现问题。在这种情况下，为虚函数的基类版本定义的默认实参将传给派生类定义的版本，而派生类版本是不同的默认实参定义的。

如果基类virtual函数中的默认实参和派生类中的默认实参不同，则一定会引起错误。原因在于这个值是在编译时确定，而且只与调用函数的类型有关，而和动态类型无关。也就是说，当动态绑定发生的时候，想要使用派生类中的默认实参，是使用的确实基类的！

以一个例子说明这个问题。

[cpp]view plaincopy 
   
 //MyClass.h  
    
 #pragma once  
 class MyClass  
 {  
 public:  
        
     MyClass(void);  
     ~MyClass(void);  
     virtual void f(int i=2);  
 };  
    
    
 //MyClass.cpp  
 #include "MyClass.h"  
 #include<iostream>  
 using namespace std;  
    
 MyClass::MyClass(void)  
 {  
    
 }  
    
    
 MyClass::~MyClass(void)  
 {  
 }  
 void MyClass::f(int i)  
 {  
     cout<<"In MyClass "<<i<<endl;  
 }  
 //Derived.h  
 #pragma once  
 #include "myclass.h"  
 class Derived :  
     public MyClass  
 {  
 public:  
     Derived(void);  
     ~Derived(void);  
     void f(int i=3);  
 };  
    
    
 //Derived.cpp  
 #include "Derived.h"  
 #include<iostream>  
 using namespace std;  
    
 Derived::Derived(void)  
 {  
 }  
    
    
 Derived::~Derived(void)  
 {  
 }  
 void Derived::f(int i)  
 {  
     cout<<"In Derived "<<i<<endl;  
 }  
 //main.cpp  
 #include<iostream>  
 #include"MyClass.h"  
 #include"Derived.h"  
 using namespace std;  
    
 int main()  
 {  
     MyClass my;  
     Derived de;  
        
     my.f();  
     de.f();  
    
     MyClass *p=&my;  
    
     p->f();  
     p=&de;  
     p->f();  
 }  