实参与形参

dq 喜欢用这个表达. 专门查一下, 备忘.

---

实参对应 argument, 是函数调用的时候真正扔进去的参数.

形参对应 parameter, 是函数定义的时候对将要被扔进去的东西的指代.

有时候大家会混着说.

"We will generally use parameter for a variable named in the parenthesized list in a function definition, and argument for the value used in a call of the function. The terms formal argument and actual argument are sometimes used for the same distinction."——《The C Programming Language》Section 1.7 K&R

可以看到实参和形参这两个说法其实来自 actual argument 和 formal argument.

区分形参和实参, 主要是因为

• 虽然它们看上去是一个东西, 从不同 scope 有不同的叫法;
• 但实际上, 他们不是同一个变量

比如

void swap(int a, int b) {
    int tmp = a;
    a = b;
    b = tmp;
}

int A = 1111;
int B = 2222;
swap(A, B);

A 和 B 是实参, 但进入函数后那个 a 和 b, 虽然可以指的同一个东西, 但对变量 a, b 的操作, 不会影响到 A 和 B.

这似乎和值语义的概念有关. 值对象到了函数里面, 对它的操作不再反映回外部 (除非你 return).

对象语义的话, 不太一样. 因为对象可以保存状态, 它对它 refer 的东西修改, 可以反映到外面.

当然, 对象当变量看, 可以保存的两个层面的状态, 一个是对象的状态, 一个是... 更宏观的对象的状态. 对应下面两种情况的代码:

// 改变对象的状态 (p1 和 p2 都改变了, 且可以反映到外部)
void swapAge(Person p1, Person p2) {
    int tmp = p1.getAge();
    p1.setAge(p2.getAge());
    p2.setAge(tmp);
}

// 改变对象的状态 (改变了形参 p1, 虽然并没有什么卵用, 但在函数内, 状态确实发生了迁移)
void swapPerson(Person p1, Person P2) {
    p1 = p2;
}

reference

• 编程中，parameter、argument 翻译成什么中文最好？ - 知乎