我不理解谓词函数的形参，我想知道他的实参来自哪里有没有好理解的解释，如何解决？

Question

我不理解谓词函数的形参，我想知道他的实参来自哪里有没有好理解的解释。
如果这个谓词被一个算法函数当形参调用，那么算法如何给他传递实参

Answer 1

基于new Bing 的精确模式的回答：

• 谓词函数的形参是在函数定义时给出的参数，它只是一个占位符，没有实际的数据，只有在函数被调用时才会接收传递进来的数据。

• 谓词函数的实参是在函数调用时给出的参数，它包含了具体的数据，会被函数内部的代码使用。

• 谓词函数的形参和实参在数量、类型、顺序上必须严格一致，否则会发生类型不匹配的错误。

• 谓词函数的形参和实参之间的数据传递是单向的，只能把实参的值传递给形参，而不能把形参的值反向地传递给实参。因此，在函数调用过程中，形参的值发生改变并不会影响实参。

• 谓词函数的形参和实参可以同名，但它们是相互独立的变量，互不影响。形参只在函数内部有效，而实参只在函数外部有效。

代码例子：
解释谓词函数的形参和实参。请看下面的代码：

#include <stdio.h>

//定义一个谓词函数，判断两个整数是否相等，形参是x和y
int equal(int x, int y) {
  return x == y; //返回一个布尔值
}

int main() {
  int a = 10; //定义一个整数变量a
  int b = 20; //定义一个整数变量b
  int c = equal(a, b); //调用谓词函数，实参是a和b，把返回值赋给c
  printf("c = %d\n", c); //输出c的值
  return 0;
}

输出结果：

c = 0

解释：
在这个例子中，你可以看到：

• 谓词函数的形参是x和y，它们只是占位符，没有具体的数据。

• 谓词函数的实参是a和b，它们包含了具体的数据，分别是10和20。

• 谓词函数的形参和实参在数量、类型、顺序上都一致，否则会发生错误。

• 谓词函数的形参和实参之间的数据传递是单向的，只能把实参的值传递给形参，而不能把形参的值反向地传递给实参。因此，在函数调用过程中，形参x和y的值发生改变并不会影响实参a和b。

• 谓词函数的形参和实参可以同名，但它们是相互独立的变量，互不影响。形参只在函数内部有效，而实参只在函数外部有效。