C++ Primer:形参与const


1. 形参本身是const

  1. 程序调用函数时会用实参来初始化形参,若形参本身是const,顶层const会被忽略。故不能通过判断形参本身是否是const来区分函数。
#include <iostream>
using namespace std;
class A
{
public:
    //形参类型是int
    int f(int i)
    {
        cout << "int f(int i)" << endl;
        return 0;
    }
    //形参类型是const int
    int f(const int i)
    {
        cout << "int f(const int i)" << endl;
        return 0;
    }
};

int main()
{
    int i = 1;
    const int ci = 2;
    A a;
    a.f(i);
    a.f(ci);
    return 0;
}

运行错误

  1. 形参初始化与变量初始化一样。一般指针和引用初始化时需类型匹配。
#include <iostream>
using namespace std;
class A
{
public:
    //形参类型是int *
    int f1(int *i)
    {
        cout << "int f1(int *i)" << endl;
        return 0;
    }
    //形参类型是int *const
    int f2(int *const i)
    {
        cout << "int f2(int *const i)" << endl;
        return 0;
    }
    //形参类型是int &
    int f3(int &i)
    {
        cout << "int f3(int &i)" << endl;
        return 0;
    }
};

int main()
{
    int i = 1;
    const int ci = 2;
    A a;
    a.f1(&i);
    a.f1(&ci); //错误,类型不匹配,形参指向int,实参指向const int
    a.f2(&i);
    a.f2(&ci); //错误,类型不匹配,形参指向int,实参指向const int
    a.f3(i);
    a.f3(ci); //错误,类型不匹配,形参引用int,实参指向const int
    return 0;
}

2. 形参指向const

  1. 形参指向常量的函数与形参指向非常量的函数是2个不同的函数。编译器可以通过判断实参是否是const决定重载函数。
#include <iostream>
using namespace std;
class A
{
public:
    //形参类型是int*
    int f1(int *i)
    {
        cout << "int f1(int *i)" << endl;
        return 0;
    }
    //形参类型是const int *
    int f1(const int *i)
    {
        cout << "int f1(const int *i)" << endl;
        return 0;
    }

    //形参类型是int &
    int f2(int &i)
    {
        cout << "int f2(int &i)" << endl;
        return 0;
    }
    //形参类型是const int &
    int f2(const int &i)
    {
        cout << "int f2(const int &i)" << endl;
        return 0;
    }
};

int main()
{
    int i = 1;
    const int ci = 2;
    A a;

    a.f1(&i);
    a.f1(&ci);
    cout << "---------------------------------" << endl;

    a.f2(i);
    a.f2(ci);

    return 0;
}

运行结果

  1. 形参是指向常量的指针或引用时,其函数所能接受的实参范围更大。形参被实参初始化时,指向常量的指针形参可以接受指向对应的非常量,常量引用的形参可接受能够转换成对应类型的任意表达式。
#include <iostream>
using namespace std;
class A
{
public:
    //形参类型是int*
    int f1(int *i)
    {
        cout << "int f1(int *i)" << endl;
        return 0;
    }
    //形参类型是const int *
    int f2(const int *i)
    {
        cout << "int f2(const int *i)" << endl;
        return 0;
    }

    //形参类型是int &
    int f3(int &i)
    {
        cout << "int f3(int &i)" << endl;
        return 0;
    }
    //形参类型是const int &
    int f4(const int &i)
    {
        cout << "int f4(const int &i)" << endl;
        return 0;
    }
};

int main()
{
    int i = 1;
    const int ci = 2;
    A a;

    //形参指向非常量的函数,只能接受对应的非常量实参
    a.f1(&i);
    a.f1(&ci); //错误,类型不匹配,形参指向int,实参指向const int

    //形参指向常量的函数,可以接受对应的常量或非常量实参
    a.f2(&i);
    a.f2(&ci);
    cout << "---------------------------------" << endl;

    //形参引用非常量的函数,只能接受对应的非常量实参
    a.f3(i);
    a.f3(ci); //错误,类型不匹配,形参引用int,实参是const int
    a.f3(1);   //错误,类型不匹配,形参引用int,实参是字面值类型
    a.f3(1.5); //错误,类型不匹配,形参引用int,实参是字面值类型

    //形参引用常量的函数,可以接受任何能转换的实参
    a.f4(i);
    a.f4(ci);
    a.f4(1);
    a.f4(1.5);
    return 0;
}
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值