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;
}

2. 形参初始化与变量初始化一样。一般指针和引用初始化时需类型匹配。

#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;
}

2. 形参是指向常量的指针或引用时，其函数所能接受的实参范围更大。形参被实参初始化时，指向常量的指针形参可以接受指向对应的非常量，常量引用的形参可接受能够转换成对应类型的任意表达式。

#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;
}