Question

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

是否有理由更喜欢static const int ONE = 1;或const int ONE = 1？

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

e.g。 for class 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);
}

Answer 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);
}

输出：

您可以清楚地看到z函数中的static_case在第一次初始化后，在后续调用中不再发生变化。

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

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

static const POD vs const POD

1 个答案: