3

对于类成员函数的本地 POD：

有什么理由更喜欢static const int ONE = 1;或const int ONE = 1吗？

有什么理由更喜欢static const float HALF = (float)0.5;或const float HALF = (float)0.5。

例如f在课堂上的功能A

 #ifdef SP
 #define float REAL
 #else
 #define double REAL
 #endif

double
A::f(const REAL x)
{
   static const REAL HALF = (REAL)0.5;
   return max(x, HALF);
}

or

double
A::f(const REAL x)
{
   const REAL HALF = (REAL)0.5;
   return max(x, HALF);
}

or

double
A::f(const REAL x)
{
   const REAL HALF = 0.5f;
   return max(x, HALF);
}
4

1 回答 1

1

例如，在函数/方法内部，普通const变量可以从参数计算并在函数/方法的相应调用中分配不同的值，而static const一个只能初始化一次（也可能从参数初始化），随后的调用只需对其价值没有影响。为了说明这种差异，请看以下演示：

#include <iostream>

using std::cout;
using std::endl;

void
non_static_case(int x, int y) {
   const int z = x + y;

   cout << z << endl;
}

void
static_case(int x, int y) {
   static const int z = x + y;

   cout << z << endl;
}

int
main() {
    non_static_case(1, 2);
    non_static_case(3, 4);

    cout << endl;

    static_case(1, 2);
    static_case(3, 4);
}

输出：

3
7

3
3

您可以清楚地看到函数z内部static_case，在第一次初始化后，在后续调用中不再更改。

值得一提的是，编译器通常使用隐藏标志来指示局部static变量是否已经初始化。在函数的每个条目上都会检查此标志，这会导致很少的开销。然而，在这种特殊情况下，当只考虑原始类型并将变量分配给编译时常量时，我​​毫不怀疑生成的代码会被编译器优化并且实际上没有使用隐藏标志。因此，在这种特殊情况下，我会说没有理由更喜欢一种方法而不是另一种方法。

如果变量是某个类的成员，则实际上与函数/方法案例中的变量相同的规则适用。该const成员可以在构造函数初始化列表中计算并与类的特定实例相关联，而该成员static const在程序启动初始化期间设置并在其余执行期间保持不变，并且在所有实例之间“共享”班级。

于 2013-05-06T23:21:07.683 回答