arguments - C++ const 形参和实参的类型问题
ringa_lee
ringa_lee 2017-04-17 15:26:51
0
1
965

最近在学习C++ Primer 5th(英文版), 函数(章节6),P.216。这里有一个例子如下:

voide fcn(const int i) //fcn can read but not write to i。

按照书上自己的定义(P.203),函数的形参和实参的类型必须是匹配的,或者有形参的隐式转换。那么对这个例子来说,我的思路是:

  • 这里是值传递,那么fcn会创建一个实参的拷贝parameter。

  • 如果这个parameter 是const int类型,那么很显然这个复制是不能完成的。(const

  • 因此那么这个parameter 只能是普通的int类型,top_level const被忽略掉了。

我写了一段代码来测试,编译器报错说不能对只读形参操作。

#include <iostream>
using namespace std;
void const_parameter(const int i);
int main(int argc, char const *argv[])
{
    const int a = 1;
    const_parameter(a);
    return 0;
}
void const_parameter(const int i){
    ++i; // try to modify parameter i but failed.
}

我的问题是,为什么这里是只读形参?如果是只读形参,那这个只读形参是怎么接受实参的拷贝的?谢谢!

ringa_lee
ringa_lee

ringa_lee

membalas semua(1)
黄舟

回头再看了一下自己刚才的思路,其实在第二步就有一个非常大的问题,弄混了const的 initialization 和 assignment。在 pass by value 这个过程中,进行的操作其实是用 argument 对 parameter 进行初始化,而不是 assignment。而对于const来说,初始化的时候是允许给一个const类型的初始值的,比如:

const int i = 10;
const int j = i; //no problem at all!

所以先前 function 里的这个 parameter 的定义已经很清楚了,不管你怎么转换,不管你 argument 里是啥值,来了都得给我变成const int类型,这也是为什么i不可写的原因。
真是不写程序不知道自己有多蠢啊。。。

Muat turun terkini
Lagi>
kesan web
Kod sumber laman web
Bahan laman web
Templat hujung hadapan