一个类可以有虚拟数据成员吗？

Question

class Base{  
    public:  
        void counter();   
    ....   
}

class Dervied: public Base{  
    public:  
        ....  
}

void main()  
{  
     Base *ptr=new Derived;  
     ptr->counter();  
}

为了识别基类指针指向派生类并使用派生成员函数，我们使用“虚拟”。

同样，我们可以将派生数据成员设为“虚拟”吗？ （数据成员是公开的）

Answer 1

virtual 是一个函数说明符...

来自标准文档，

7.1.2 函数说明符 函数说明符只能在函数声明中使用。 函数说明符： 排队 虚拟的 明确的

所以没有什么叫做虚拟数据成员。

希望对你有帮助...

Answer 2

不，但是你可以创建一个虚函数来返回一个指向你所谓的虚数据成员的指针

Answer 3

不，在 C++ 中没有虚拟数据成员。

Answer 4

我不这么认为，但您也许可以使用虚拟 getter 和 setter 来模拟它？

Answer 5

为了识别基类指针指向派生类并使用派生成员函数，我们使用“虚拟”。

这是不正确的。我们制作虚函数以允许派生类提供与基类提供的不同的实现。不用于标识基类指针指向派生类。

同样，我们可以将派生数据成员设为“虚拟”吗？ （数据成员是公开的）

只有非静态成员函数可以是虚函数。数据成员不能。

Here's 包含更多信息的链接

Answer 6

不，因为这会以无数意想不到的方式破坏封装。无论您想实现什么，都可以使用受保护的属性和/或虚函数来完成。

另外，虚函数是dispatch的一种方法（即选择调用哪个函数），而不是选择成员属性对应的内存位置。

Answer 7

也许你可以用等效的方式看到问题：

class VirtualDataMember{  
    public:  
    ...
}

class DerviedDataMember: public VirtualDataMember{  
    public:  
    ... 
}

class Base{  
    public:  
        VirtualDataMember* dataMember;
        void counter();     
        ...  
}

Answer 8

一个类不能有一个虚拟成员，例如这个answer。 但是，您可以使用指针、继承等类似的东西 和运行时多态性。

在下面的 sn-p 中，我定义了几何 shape 的原型， 有一个area 方法。 picture 类有一个成员 shape* s; 而s指向的shape的方法被picture::show()使用。 在此设置中，不希望在之前有 picture 的实例 给出了 shape 的实际实现，因此我们强制 picture 为 通过添加一个虚拟虚函数picture::make_real()进行抽象。

// prototypes
class shape
{
    public:
    virtual double area() = 0; // to be defined later
};
class picture
{
    protected:
    shape* s;
    
    virtual void make_real() = 0; // force picture to be abstract
    
    public:
    picture(shape* ptr):
        s{ptr}
    {}
    
    void show()
    {
        std::cout << s->area() << '\n';
    }
};

接下来，我们实际上实现了一个名为square 的shape 和一个picture 类型 square_picture（字面意思）有一个squareshape。

// actual implementation

class square : public shape
{
    double len;
    
    public:
    square(double l):
        len{l}
    {}
     
     double area() override
    {
        return len*len;
    }
};



class square_picture : public picture
{
    void make_real() override {} // square_picture is not abstract
    
    public:
    square_picture(double l):
        picture{new square{l}}
    {}
    
    ~square_picture()
    {
        delete s;
    }
};

类square_picture可以用下面的sn-p测试

int main()
{
    square_picture A{2.0};
    A.show();
    
    //picture B{nullptr}; // error: picture is abstract
    return 0;
}

哪个输出：

4

Answer 9

我有一个使用对象数组的基类。我从那个类派生了一个使用不同类型对象数组的新类。两个变量的名称完全相同。两个类都添加了虚拟成员函数来处理数组。这些成员函数可以轻松找到正确的变量。成员函数和它们使用的变量在一个公共范围内。

两个类中的虚拟成员函数几乎相同。只有数组的类型发生了变化。

C++ 模板也可以达到同样的效果。