基类和继承中的静态方法中的静态变量

Question

我有这些 C++ 类：

class Base
{
protected:
    static int method()
    {
        static int x = 0;
        return x++;
    }
};

class A : public Base
{

};

class B : public Base
{

};

x 静态变量是否会在 A 和 B 之间共享，或者它们每个都有自己独立的 < code>x 变量（这就是我想要的）？

Answer 1

整个程序中只有一个x实例。一个很好的解决方法是使用 CRTP：

template <class Derived>
class Base
{
protected:
    static int method()
    {
        static int x = 0;
        return x++;
    }
};

class A : public Base<A> { };
class B : public Base<B> { };

这将创建一个不同的 Base< ;T>，因此对于从它派生的每个类都有一个不同的 x。

正如 Neil 和 Akanksh 指出的那样，您可能还需要一个“Baser”碱基来保留多态性。

Answer 2

只有一个，由所有三个班级共享。如果您想要单独的实例，则必须在派生类中创建单独的函数。

Answer 3

我很确定它将在 A 和 B 之间共享。

如果你想要独立变量，你可以使用“奇怪的重复模板模式”，例如：

template<typename Derived>
class Base
{
protected:
    static int method()
    {
        static int x = 0;
        return x++;
    }
};

class A : public Base<A>
{

};

class B : public Base<B>
{

};

当然，如果你想要多态性，你就必须定义一个甚至“Baser”类，它的 Base派生自，因为 Base 与 Base 不同：

class Baser
{
};

template<typename Derived>
class Base : public Baser
{
protected:
    static int method()
    {
        static int x = 0;
        return x++;
    }
};

class A : public Base<A>
{};

class B : public Base<B>
{};

现在 A 和 B 也可以是多态的。

Answer 4

前者。局部静态变量绑定到包含它们的方法，并且 method 存在于所有子类的一个化身中（事实上，对于整个应用程序，即使程序的其余部分看不到该方法）。

Answer 5

该变量将被共享 - 它是每个函数 - 在这种情况下，它所属的函数是 Base::method()。但是，如果 class Base 是一个模板类，您将为 class Base 模板的每个实例化（每组唯一的实际模板参数）获得一个变量实例 - 每个实例化都是一个新功能。

Answer 6

如果您将 X 设为静态，那么它将在所有子类之间共享。函数是静态的没有问题。