Question

C ++语言提供virtual个函数。在纯C语言实现的约束下，如何实现类似的效果？

Answer 1

here被盗。

来自C ++类

class A {
protected:
    int a;
public:
    A() {a = 10;}
    virtual void update() {a++;}
    int access() {update(); return a;}
};

可以导出C代码片段。 class A的三个C ++成员函数使用外联（独立）代码重写，并通过地址收集到名为A_functable的结构中。 A的数据成员，并将函数表合并到名为A的C结构中。

struct A;

typedef struct {
    void (*A)(struct A*);
    void (*update)(struct A*);
    int (*access)(struct A*);
} A_functable;

typedef struct A{
    int a;
    A_functable *vmt;
} A;

void A_A(A *this);
void A_update(A* this);
int A_access(A* this);

A_functable A_vmt = {A_A, A_update, A_access};

void A_A(A *this) {this->vmt = &A_vmt; this->a = 10;}
void A_update(A* this) {this->a++;}
int A_access(A* this) {this->vmt->update(this); return this->a;}

/*
class B: public A {
public:
    void update() {a--;}
};
*/

struct B;

typedef struct {
    void (*B)(struct B*);
    void (*update)(struct B*);
    int (*access)(struct A*);
} B_functable;

typedef struct B {
    A inherited;
} B;

void B_B(B *this);
void B_update(B* this);

B_functable B_vmt = {B_B, B_update, A_access};

void B_B(B *this) {A_A(this); this->inherited.vmt = &B_vmt; }
void B_update(B* this) {this->inherited.a--;}
int B_access(B* this) {this->inherited.vmt->update(this); return this->inherited.a;}

int main() {
    A x;
    B y;
    A_A(&x);
    B_B(&y);
    printf("%d\n", x.vmt->access(&x));
    printf("%d\n", y.inherited.vmt->access(&y));
}

比必要的更精细，但它得到了重点。

Answer 2

@GCC ....虚函数在对象的Base类中声明，然后“覆盖”或在子类中实现。也就是说，你有车基类，你创建了两个子类，摩托车和汽车。 Base类将声明AddTires（）的虚函数然后Sub Classes将实现此函数，每个子类将以不同方式实现它。一辆汽车有4个轮子，摩托车有2个。但我不能给你C或C ++的语法。希望这有帮助

Answer 3

虚函数是C ++面向对象的一个特性。它们指的是依赖于特定对象实例的方法，而不是您当前携带它们的类型。

换句话说：如果你将一个对象实例化为Bar，然后将其转换为Foo，虚拟方法仍然是他们实例化的那些（在Bar中定义），而其他方法将来自Foo。

虚拟函数通常通过vtable实现（这是为了您进行更多研究;）。

你可以使用结构作为穷人的对象并在其中保存函数指针来模拟C中的类似事物。

（更准确地说，非虚函数使得该方法应该从哪个类变得模糊，但实际上我相信C ++使用当前类型。）

Answer 4

Here是虚拟函数的描述。

无法在普通C中实现虚函数，因为C没有继承的概念。

<强>更新正如下面的评论中所讨论的，可以使用结构和函数指针在直接C中执行类似于虚函数的操作。但是，如果您习惯使用像C ++这样具有“真实”虚函数的语言，那么您可能会发现C近似不那么优雅且难以使用。

如何在C中实现C ++虚函数

4 个答案: