C++缺省参数函数简介和使用

╰半夏微凉° 2022-07-14 14:58 188阅读 0赞

所谓缺省参数，顾名思义，就是在声明函数的某个参数的时候为之指定一个默认值，在调用该函数的时候如果采用该默认值，你就无须指定该参数。缺省参数使用主要规则：调用时你只能从最后一个参数开始进行省略，换句话说，如果你要省略一个参数，你必须省略它后面所有的参数，即：带[缺省值][Link 1]的参数必须放在参数表的最后面。 缺省值必须是[常量][Link 2]。显然，这限制了缺省参数的数据类型，例如[动态数组][Link 3]和界面类型的缺省参数值只能是 nil；至于记录类型，则根本不能用作缺省参数。 缺省参数必须通过值参或常参传递。

1. 如果函数已经带有缺省参数的函数原型声明，则在该函数的定义中不允许出现缺省值。

2. 一旦为函数的某个参数指定了缺省值，则必须为后续参数也定义缺省值，从右到左定义缺省参数。

void showmessage(char \*text,int length=1,int color ) ; //错color也应定义缺省值。

3. 调用函数时，如果略去一个参数传递，则略去后续所有参数传递，调用时将参数从左至右，逐一传递给行参。

showmessage("hello");

showmessage("hello",5);

showmessage("hello",5,8);

showmessage("hello", ,8);          // 错误

缺省参数的误区

使用缺省参数时应该注意避开下列几种误区。

1.滥用缺省参数，损害代码的结构和可读性。  
      void f(bool b=false)  
      \{  
            if (b)  
            \{  
                  file://code of open file  
            \}  
            else  
            \{  
                  file://code of close file  
            \}  
      \}  
    打开文件和关闭文件在实现代码上没有什么共同点，把两个属于同一类别的函数误认为是实现机制相同，凭空捏造一个参数硬把它们凑在一块，没有什么好处！相反，谁能记得住f(true)代表打开，f()代表关闭呢？况且，f(false)、f()都可以关闭文件，如果调用者混合使用它们就会增加维护上的困难。这种情况下，写成两个独立的函数，非常清晰。  
      void Open()  
      \{  
                  file://code of open file  
      \}  
      void Close()  
      \{  
                  file://code of close file  
      \}  
    推而广之，如下的做法也值得商榷。  
      class CString  
      \{  
      private:  
            char \* pcData;  
      public:  
            CString(char \* pc=NULL);  
      \};  
      CString::CString(char \* pc)  
      \{  
            if (pc==NULL)  
            \{  
                  pcData=new char\[1\];  
                  //...  
            \}  
            else  
            \{  
                  pcData=new char\[strlen(pc)+1\];  
                  //...  
            \}  
      \}  
    这一个更具备迷惑性，“都是构造器嘛，当然写在一块喽。”有人说。非也！应当看到，无参构造器与带char \*参数的构造器使用的代码完全分离，并且缺省参数值NULL在设置数据成员时没有任何作用。CString()构造器应改写如下：  
      class CString  
      \{  
      private:  
            char \* pcData;  
      public:  
            CString();  
            CString(char \* pc);  
      \};  
      CString::CString()  
      \{  
            pcData=new char\[1\];  
            //...  
      \}  
      CString::CString(char \* pc)  
      \{  
            pcData=new char\[strlen(pc)+1\];  
            //...  
      \}  
    总结：  
    (1)凡是出现利用缺省参数值作if判断，并且判断后实现代码完全不同的，都应该分拆成两个独立的函数。  
    (2)只有缺省参数值在函数体中被无歧视的对待，也就是函数对于任何参数的实现机制都相同时，才可能是合理的。

2.多个缺省参数，可能引入逻辑含混的调用方式  
    设计一个类，不仅仅是提供给客户代码正确的功能，更重要的是，对不正确的使用方式作力所能及的限制。  
      class CPoint  
      \{  
      public:  
            int x;  
            int y;  
            CPoint(int x=0,int y=0)  
            \{  
                  this->x=x;  
                  this->y=y;  
            \}  
      \};  
    乍一看，没什么问题。构造CPoint对象时如果不指定x、y的初值，则设为原点坐标。让我们测试一下：  
      CPoint pnt1;  
      CPoint pnt2(100,100);  
      CPoint pnt3(100);      file://\[1\]  
    结果发现pnt3的值为(100,0)，跑到x轴上去了。对于想绑定两个参数，让它们同时缺省，或者同时不缺省，我们无能为力。但是如果去掉缺省参数，情况就会好转。  
      class CPoint  
      \{  
      public:  
            int x;  
            int y;  
            CPoint()  
            \{  
                  x=0;  
                  y=0;  
            \}  
            CPoint(int x,int y)  
            \{  
                  this->x=x;  
                  this->y=y;  
            \}  
      \};  
    这样，语句\[1\]就会引发编译错误，提醒使用者。  
    抬杠的会说：“CPoint pnt3(100);初始化到x轴，本来就是我想要的。”真的吗？那么，请你在你的类文档中明确指出这种独特的调用方法，并且告诉使用者，将点初始化到y轴是CPoint pnt4(0,100);这种不对称的形式。  
    至于我嘛，self document好了。

3.重载时可能出现二义性  
    这个简单，随便举个例子：  
      void f(int a,int b=0)  
      \{  
      \}  
      void f(int a)  
      \{  
      \}  
    虽然潜在的模棱两可的状态不是一种错误，然而一旦使出现f(100);这样的代码，潜伏期可就结束了。

4.函数调用中的精神分裂症  
    Effective C++ 2nd中的条款，为了本篇的完整性加在这里。这种罕见的症状出现的条件是：派生类改写了基类虚函数的缺省参数值。  
      class CBase  
      \{  
      public:  
            virtual void f(int i=0)  
            \{  
                  cout<<"in CBase "<<i<<endl;  
            \}  
      \};  
      class CDerive : public CBase  
      \{  
      public:  
            virtual void f(int i=100)  
            \{  
                  cout<<"in CDerive "<<i<<endl;  
            \}  
      \};  
      CDerive d;  
      CBase \* pb=&d;  
      pb->f();      file://\[2\]  
    运行后输出：  
      in CDerive 0  
    记住，缺省参数是静态绑定，而虚函数是动态绑定，所以\[2\]运行的是CDerive::f()的函数体，而使用的缺省值是CBase的0。

[Link 1]: http://baike.baidu.com/view/116467.htm
[Link 2]: http://baike.baidu.com/view/346799.htm
[Link 3]: http://baike.baidu.com/view/675652.htm