内建函数‘sign’的实参‘b’必须具有与‘a’一样的类型和种别

内建函数'sign'是一种用于返回给定数值的符号的函数，它的实参'b'必须与实参'a'具有相同的类型和种别。
在计算机编程中，类型和种别是用于描述数据的属性的概念。

类型指的是一个数据的特定类别，例如整数、浮点数、字符等。当我们使用'sign'函数时，它要求传入的实参'a'和'b'具有相同的类型，这意味着如果实参'a'是一个整数，那么实参'b'也必须是一个整数。

种别是用于描述数据存储的方式。有些编程语言要求同一个类型的数据具有相同的种别，例如32位整数和64位整数具有不同的种别。在使用'sign'函数时，它要求传入的实参'a'和'b'必须具有相同的种别，这意味着如果实参'a'是一个32位整数，那么实参'b'也必须是一个32位整数。

当我们调用'sign'函数并传入不同类型或种别的实参'a'和'b'时，编译器会报错并提醒我们实参'b'必须具有与实参'a'一样的类型和种别。这是为了确保函数能够正确处理输入数据，并返回符合期望的结果。

因此，我们在使用内建函数'sign'时应该注意实参'a'和'b'的类型和种别是否相同，以避免出现类型错误的情况。