具有相同名称的静态变量的开关案例的单独范围[关闭]

Question

更新：我现在重新测试了简化的测试用例和恢复共享名称的完整代码，并且它可以正常工作。我的代码中的其他地方可能还有其他错误，现在已修复。很抱歉浪费您的时间和精力；将来不会在没有工作测试用例的情况下发布。 过失。

---

我有一个反复调用的 C++ 函数。它里面有下面的sn-p

     switch(c)
     {
     case 1:
        {
          static int i = 0;
          if ( ... )  { i = 0; }
          .... 
          break;
        }
     case 2:
        {
          static int i = 0;
          if ( ... )  { i = 0; }
          .... 
          break;
        }
     case 3:
        {
          static int i = 0;
          if ( ... )  { i = 0; }
          .... 
          break;
        }
     }

这个想法是它必须记住每个案例的状态，有时它必须重置它。

它没有正常工作。当我调试它（​​MSVC++ 2010 Express Edition）时，我注意到每个i 的行为并不是独立的，它们的值似乎在自行变化；此外，当重置条件被触发时，相应的if 输入正常，但i = 0; 语句只是...... 跳过！ “locals”窗口显示i，其先前的值保持不变（而当前语句是下一个语句，仍在if 内）。 if 中的其他语句正在正常执行。

当我用唯一的名称（i1、i2、i3）重命名每个 i 时，问题就消失了。

这是一些错误，还是我应该知道的一些语言特性？我认为每个块{ ... } 都定义了独立的范围。这里发生了什么？它可以在 C 中工作吗？

编辑：很抱歉没有构建测试用例。会这样做，稍后再报告。

Answer 1

这听起来像是您的代码或解释中的错误。我可以想象调试器中的“监视窗口”功能会出错，因为块没有名称，因此很难在文本中识别。

具有static 存储持续时间的局部变量受块范围约束。

这是他们确实不具有函数范围的证据：

[C++11: 3.3.5/1]: 标签 (6.1) 具有函数作用域，可以在声明它们的函数中的任何位置使用。 只有标签有功能范围。

这是一个实际的演示：

#include <iostream>

void f(const int i)
{
    switch (i) {
        case 3: {
            static int x = 0;
            std::cout << x;
            x = 3;
            std::cout << x << ' ';
            break;
        }

        case 4: {
            static int x = 0;
            std::cout << x;
            x = 4;
            std::cout << x << ' ';
            break;
        }
    }
}

int main()
{
    f(3);
    f(4);
}

// Output: 03 04

这表明当输入第二种情况时，您正在使用不同的本地静态变量x。否则你会看到03 34。

Live demo using GCC 4.8;我使用 Visual Studio 2012 得到了相同的结果。

Answer 2

函数内的静态变量具有块作用域，并且它们在连续调用它时是持久的。您不能在同一范围内声明两个具有相同名称的变量，但如果它们位于不同的范围内，则可以这样做，表示为

{}

这是你的情况。

switch(c)
 {
 case 1:
    {
      static int i = 0;
    }
 case 2:
    {
      static int i = 0;
    }
 case 3:
    {
      static int i = 0; 
    }
 }

因此这应该可以按您的预期工作，因此这可能是编译器、调试器（或在没有给出更多信息的情况下难以猜测的其他地方）中的错误，它将所有这些静态变量视为同一个变量。这就是为什么更改这些变量的名称可以解决您的问题。

Answer 3

我必须自己检查一下，我想我会分享我的小测试。变量仅在大小写大括号内可见。并且可以在另一个案例中声明相同的变量名，并且不会覆盖另一个变量。

变量在函数中是不可见的，只能在 switch 语句的大括号内。

#include<stdio.h>
int call_switch(int);
int main()
{
call_switch(2);
call_switch(3);
call_switch(2);
call_switch(3);
return 0;
}

int call_switch(int a){
switch(a)
{ 
   case 2:
   {
     static int i = 5;
     i++;
     printf(" i declared as 5     %d\n",i);
     break;
   }
   case 3:
   {
     static int i = 10;
     i++;
     printf("i declared as 10   %d\n",i);
     break;
   }
}
  // printf("%d",i ); not visible here
  return 0;

}

输出是

i declared as  5     6
i declared as 10    11
i declared as  5     7
i declared as 10    12

Answer 4

static 函数内的变量具有函数作用域。该变量在整个函数中都是可见的。

static函数外的变量有文件作用域，在文件内部可见，但跨文件不可见。