亲宝软件园·资讯

展开

C++缺省参数

跳动的bit 人气:0

一、缺省参数概念

缺省参数是声明或定义函数时为函数的参数指定一个默认值。在调用该函数时,如果没有指定实参则采用该默认值,否则使用指定的实参

#include<iostream>
using namespace std;
void TestFunc(int a = 0)//参数缺省值
{
    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()
{
    //假设明确知道这里至少需要100个数据到st1
    struct Stack st1; 
    StackInitCpp1(&st1, 100);
    //假设不知道st2里需要多少个数据 ———— 希望开小点
    struct Stack st2;  
    StackInitCpp2(&st1);//缺省
    return 0;
}

二、缺省参数分类

❗ 全缺省参数 ❕

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,注意它没办法实现b不传,只传a和b,也就是说编译器只能按照顺序传
    return 0;
}

⚠ 注意:

1️⃣ 全缺省参数只支持顺序传参

❗ 半缺省参数 ❕

//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,至少得传一个,这是根据形参有几个非半缺省参数确定的
    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️⃣ 半缺省参数必须从右往左依次来给出,且不能间隔着给

  2️⃣ 缺省参数不能在函数声明和定义中同时出现

  3️⃣ 缺省值必须是常量或者全局变量

  4️⃣ C 语言不支持缺省

缺省参数的误区

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

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。

加载全部内容

相关教程
猜你喜欢
用户评论