C++缺省參數(shù)的具體使用

更新時間：2022年01月09日 15:45:49 作者：跳動的bit

缺省參數(shù)是聲明或定義函數(shù)時為函數(shù)的參數(shù)指定一個默認值。本文就詳細的介紹了一下C++缺省參數(shù)的具體使用，具有一定的參考價值，感興趣的可以了解一下

一、缺省參數(shù)概念

缺省參數(shù)是聲明或定義函數(shù)時為函數(shù)的參數(shù)指定一個默認值。在調(diào)用該函數(shù)時，如果沒有指定實參則采用該默認值，否則使用指定的實參

#include<iostream>
using namespace std;
void TestFunc(int a = 0)//參數(shù)缺省值
{
?? ?cout << a << endl;
}
int main()
{
?? ?TestFunc();//沒有指定實參，使用缺省值
?? ?TestFunc(10);//指定實參，使用實參
?? ?return 0;
}

? 有什么用 ?

比如在 C 語言中有個很苦惱的問題是寫棧時，不知道要開多大的空間，之前我們是如果棧為空就先開 4 塊空間，之后再以 2 倍走，如果我們明確知道要很大的空間，那么這樣就只能一點一點的接近這塊空間，就太 low 了。但如果我們使用缺省，明確知道不需要太大時就使用默認的空間大小，明確知道要很大時再傳參

#include<iostream>
using namespace std;
namespace WD
{
?? ?struct Stack
?? ?{
?? ??? ?int* a;
?? ??? ?int size;
?? ??? ?int capacity;?? ?
?? ?};
}
using namespace WD;
void StackInit(struct Stack* ps)
{
?? ?ps->a = NULL;?
?? ?ps->capacity = 0;
?? ?ps->size = 0;
}
void StackPush(struct Stack* ps, int x)
{
?? ?if(ps->size == ps->capacity)
?? ?{
?? ??? ?//ps->capacity *= 2;//err
?? ??? ?ps->capacity == 0 ? 4 : ps->capacity * 2;//這里就必須寫一個三目
?? ?}
}

void StackInitCpp1(struct Stack* ps, int defaultCP)
{
?? ?ps->a = (int*)malloc(sizeof(int) * defaultCP);
?? ?ps->capacity = 0;
?? ?ps->size = defaultCP;
}
void StackInitCpp2(struct Stack* ps, int defaultCP = 4)//ok
{
?? ?ps->a = (int*)malloc(sizeof(int) * defaultCP);
?? ?ps->capacity = 0;
?? ?ps->size = defaultCP;
}
int main()
{
?? ?//假設(shè)明確知道這里至少需要100個數(shù)據(jù)到st1
?? ?struct Stack st1;?
?? ?StackInitCpp1(&st1, 100);
?? ?//假設(shè)不知道st2里需要多少個數(shù)據(jù) ———— 希望開小點
?? ?struct Stack st2; ?
?? ?StackInitCpp2(&st1);//缺省
?? ?return 0;
}

二、缺省參數(shù)分類

? 全缺省參數(shù) ?

void TestFunc(int a = 10, int b = 20, int c = 30)
{
?? ?cout << "a = " << a << endl;
?? ?cout << "b = " << b << endl;
?? ?cout << "c = " << c << endl;
?? ?cout << endl;
}
int main()
{
?? ?//非常靈活，
?? ?TestFunc();
?? ?TestFunc(1);
?? ?TestFunc(1, 2);
?? ?TestFunc(1, 2, 3);?? ?
?? ?//TestFunc(1, , 3);//err，注意它沒辦法實現(xiàn)b不傳，只傳a和b，也就是說編譯器只能按照順序傳
?? ?return 0;
}

? 注意：

1?? 全缺省參數(shù)只支持順序傳參

? 半缺省參數(shù) ?

//void TestFunc(int a, int b = 10, /*int f, - err*/ int c = 20);//err，

void TestFunc(int a, int b = 10, /*int f, int x = y, -> err*/ int c = 20)
{
?? ?cout << "a = " << a << endl;
?? ?cout << "b = " << b << endl;
?? ?cout << "c = " << c << endl;
?? ?cout << endl;
}
int main()
{
?? ?//TestFunc();//err，至少得傳一個，這是根據(jù)形參有幾個非半缺省參數(shù)確定的
?? ?TestFunc(1);
?? ?TestFunc(1, 2);
?? ?TestFunc(1, 2, 3);?? ?
?? ?return 0;
}

//a.h
void TestFunc(int a = 10);
//a.cpp
void TestFunc(int a = 20)
{}

? 注意：

1?? 半缺省參數(shù)必須從右往左依次來給出，且不能間隔著給

2?? 缺省參數(shù)不能在函數(shù)聲明和定義中同時出現(xiàn)

3?? 缺省值必須是常量或者全局變量

4?? C 語言不支持缺省

缺省參數(shù)的誤區(qū)

使用缺省參數(shù)時應(yīng)該注意避開下列幾種誤區(qū)。

1.濫用缺省參數(shù)，損害代碼的結(jié)構(gòu)和可讀性。

    void f(bool b=false)
      {
            if (b)
            {
                  file://code of open file
            }
            else
            {
                  file://code of close file
            }
      }

打開文件和關(guān)閉文件在實現(xiàn)代碼上沒有什么共同點，把兩個屬于同一類別的函數(shù)誤認為是實現(xiàn)機制相同，憑空捏造一個參數(shù)硬把它們湊在一塊，沒有什么好處！相反，誰能記得住f(true)代表打開，f()代表關(guān)閉呢？況且，f(false)、f()都可以關(guān)閉文件，如果調(diào)用者混合使用它們就會增加維護上的困難。這種情況下，寫成兩個獨立的函數(shù)，非常清晰。

      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];
                  //...
            }
      }

這一個更具備迷惑性，“都是構(gòu)造器嘛，當然寫在一塊嘍。”有人說。非也！應(yīng)當看到，無參構(gòu)造器與帶char *參數(shù)的構(gòu)造器使用的代碼完全分離，并且缺省參數(shù)值NULL在設(shè)置數(shù)據(jù)成員時沒有任何作用。CString()構(gòu)造器應(yīng)改寫如下：

      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];
            //...
      }

總結(jié)：
(1)凡是出現(xiàn)利用缺省參數(shù)值作if判斷，并且判斷后實現(xiàn)代碼完全不同的，都應(yīng)該分拆成兩個獨立的函數(shù)。
(2)只有缺省參數(shù)值在函數(shù)體中被無歧視的對待，也就是函數(shù)對于任何參數(shù)的實現(xiàn)機制都相同時，才可能是合理的。

2.多個缺省參數(shù)，可能引入邏輯含混的調(diào)用方式

設(shè)計一個類，不僅僅是提供給客戶代碼正確的功能，更重要的是，對不正確的使用方式作力所能及的限制。

      class CPoint
      {
      public:
            int x;
            int y;
            CPoint(int x=0,int y=0)
            {
                  this->x=x;
                  this->y=y;
            }
      };

乍一看，沒什么問題。構(gòu)造CPoint對象時如果不指定x、y的初值，則設(shè)為原點坐標。讓我們測試一下：

      CPoint pnt1;
      CPoint pnt2(100,100);
      CPoint pnt3(100);      file://[1]

結(jié)果發(fā)現(xiàn)pnt3的值為(100,0)，跑到x軸上去了。對于想綁定兩個參數(shù)，讓它們同時缺省，或者同時不缺省，我們無能為力。但是如果去掉缺省參數(shù)，情況就會好轉(zhuǎn)。

      class CPoint
      {
      public:
            int x;
            int y;
            CPoint()
            {
                  x=0;
                  y=0;
            }
            CPoint(int x,int y)
            {
                  this->x=x;
                  this->y=y;
            }
      };

這樣，語句[1]就會引發(fā)編譯錯誤，提醒使用者。

抬杠的會說：“CPoint pnt3(100);初始化到x軸，本來就是我想要的。”真的嗎？那么，請你在你的類文檔中明確指出這種獨特的調(diào)用方法，并且告訴使用者，將點初始化到y(tǒng)軸是CPoint pnt4(0,100);這種不對稱的形式。

至于我嘛，self document好了。

3.重載時可能出現(xiàn)二義性

這個簡單，隨便舉個例子：

      void f(int a,int b=0)
      {
      }
      void f(int a)
      {
      }

雖然潛在的模棱兩可的狀態(tài)不是一種錯誤，然而一旦使出現(xiàn)f(100);這樣的代碼，潛伏期可就結(jié)束了。

4.函數(shù)調(diào)用中的精神分裂癥

Effective C++ 2nd中的條款，為了本篇的完整性加在這里。這種罕見的癥狀出現(xiàn)的條件是：派生類改寫了基類虛函數(shù)的缺省參數(shù)值。

      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]