迹忆客 专注技术分享

在本文中，我们将讨论 C++ 中形式参数的重新定义问题。

首先，我们将讨论函数定义和形式参数。 接下来，我们将讨论形式参数的重新定义问题。

C++ 中的函数定义

在编程中，参数和参数是交替使用的。 然而，从形式上看，它们之间几乎没有什么区别。

参数写在括号内，位于函数头签名中函数名称之后。 参数是通过函数调用发送的值。

在进一步讨论之前，有必要澄清这个术语。 那么，让我们看一下下面的函数头：

void add (int a, int b)

查看 add 函数的签名。 这里，a和b是形式参数。

请参阅对 add 函数的调用：

int result = add (2,5);

在函数调用内部，2 和 5 是发送给函数的参数，而函数 add 的形式参数 a 和 b 将接收这些值。 需要注意的是，除了形参之外，a和b也是函数add的局部变量。

其他局部变量和形式参数之间的区别在于，每当调用函数时，形式参数都会从函数外部接收值。 但是，其他局部变量无法接收函数外部的值。

另见代码：

void add (int a, int b){
    int result = a + b;
    cout << "Result: " << result << '\n';
}
add (2, 5);

在此代码示例中，有两个形式参数（即 a 和 b）和三个局部变量（即 result、a 和 b）。 在 add 函数中，您可以类似地使用所有三个变量。

您可以在这些变量中获取输入，分配一些常量值或变量，然后在表达式中使用它们。

了解了形式参数之后，现在我们来谈谈形式参数的重新定义问题。

C++中形式参数的重新定义

作为一名 C++ 程序员，你一定有一个想法：同一作用域内不能有两个同名的变量。 例如，您不能声明同名的全局变量（类型无关紧要）。

不能在同一个类中声明同名的数据成员。 同样，您不能声明两个同名的局部变量。

让我们看下面的例子来更好地理解它：

int a;
char a;

编译时，此代码给出以下错误：

redefinion1.cpp:6:6: error: conflicting declaration ‘char a’
 char a;
      ^
redefinion1.cpp:5:5: note: previous declaration as ‘int a’
 int a;
Similar issue in the class definition:

class A{
    int a;
    int a;
};

编译时，此代码给出以下错误：

redefinion1.cpp:9:6: error: redeclaration of ‘int A::a’
  int a;
      ^
redefinion1.cpp:8:6: note: previous declaration ‘int A::a’
  int a;

消息可能不同，但问题是相同的，即两个同名变量不能存在于同一作用域中。 但是，在不同范围内具有相同名称的变量是可能的。

例如，下面的代码将编译而不会出现错误：

#include<iostream>
using namespace std;

int a = 4;
void f(){
    cout << a << '\n';
}
int main(){
    int a = 3;
    cout << a << '\n';
    f();
    return 0;
}

这段代码的输出是：

3
4

在主函数中，只有局部变量 a 可见/可访问（全局变量在此范围内被局部 a 遮蔽）。 因此，cout 语句打印局部变量 a 的值，即 3。

在函数f中，全局变量a是可见/可访问的，并且print语句打印了全局变量的值，即4。

有时，程序员可能会错误地同时使用同名的形式参数和局部变量。 在这种情况下，两者存在于同一范围内。

因此，编译器会产生错误。

让我们看一下代码和编译器的响应：

void f(int x){
    int x = 4;
}

输出:

redefinion1.cpp: In function ‘void f(int)’:
redefinion1.cpp:6:6: error: declaration of ‘int x’ shadows a parameter
  int x = 4;
      ^

上面的代码中，函数f有一个形参x和一个局部变量x，它们都是函数f的局部变量。 因此，您可以看到“int x”的编译器错误声明隐藏了一个参数，这意味着局部变量和形式参数具有相同的名称。

总之，作为一个C++程序员，一定要注意不要声明与形参名称相似的局部变量。 否则，编译器将无法区分它们并生成错误。