c语言杂谈系列:模拟虚函数

从整体来看,笔者的做法与之前的模拟多态十分相似,毕竟c++多态的实现与虚函数密切相关

废话少说,see my code:

kernel.c

#include "kernel.h"
#include <stdio.h>

void shape_draw(struct shape_t* obj) {
    /* Call draw of the real Instance */


    obj->vtable->draw();

}

kernel.h:

#ifndef UNTITLED_KERNEL_H
#define UNTITLED_KERNEL_H


struct shape_t {
    /*Virtual Method Table */
    const struct shape_interface* const vtable;
};


struct shape_interface {

    void (*draw)();

};


void shape_draw(struct shape_t* obj);

    //obj->vtable->draw();

#endif //UNTITLED_KERNEL_H

try.c:


#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "try.h"


void draw() {
    printf("error is try!\n");
}

void draw1() {
    printf("error is try2!\n");
}


struct shape_t* shape_create_rectangle() {
	
	//直接赋值,这里有个命名错误,跟gcc有关:
    //static const struct shape_interface_t vtable = { draw1 } ;
    //static struct shape_t base = { &vtable };
    
    //笔者认为给结构体成员赋值,下面的写法更妥当
    
    static const struct shape_interface vtable = { 
            .draw = draw1
    } ;

    static struct shape_t base = { 
            .vtable = &vtable
    };
    //推荐上面这种写法,因为某些编译器很有趣

    struct rectangle_t* rectangle = malloc(sizeof(*rectangle));
    memcpy(&rectangle->base, &base, sizeof(base));

    return (struct shape_t*)(&rectangle->base);
}

顺便一提,clion的编译器相当有趣

笔者在之前曾经写错了shape_interface (_t)结构体名称,但是笔者发现:

//static const struct shape_interface_t *vtable = { draw1 } ;
//static struct shape_t base = { &vtable };

改成这样也能运行

这是为什么呢?笔者推测,gcc应该是无法找到对于结构体,就把vtable当成了数组,加上*就成为了数组。然后&vtable就成为了二级指针,由于draw1本身就是一个指针,把它转成空指针什么的可以随便赋值。gcc在找不到对应结构体后,索性为base里的vtable开辟了一段空间,由于&vatble是二级指针,但是找不到对应地址指向,可能它在编译过程中被转为了一级空指针,且等于draw1本身,这样就能解释通了。(如果有c语言高手可以留言解答一下,笔者对c语言和编译器的处理所知甚少)

try.h:

#ifndef UNTITLED_TRY_H
#define UNTITLED_TRY_H

#include "kernel.h"

struct rectangle_t {
    struct shape_t* base; /* Reference to Base Class */
    /* Rectangle specific Members */
    int x;
    int y;
};

struct shape_t* shape_create_rectangle();
        

#endif //UNTITLED_TRY_H

在主函数中这样调用即可:

main.c:

#include "try.h"
#include "kernel.h"




int main() {
    struct shape_t* rectangle = shape_create_rectangle();


    shape_draw(rectangle);


    return 0;
}

接下来是重点,虚函数表的实现,可以适当改动try.c文件:

try.c:

//
// Created by el on 2024/8/16.
//

#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include "try.h"


void draw() {
    printf("error is try!\n");
}

void draw1() {
    printf("error is try2!\n");
}


struct shape_t* shape_create_rectangle() {
	//static const struct shape_interface *vtable[] = { draw , draw1 } ;
	
	
    static const struct shape_interface_t *vtable[] = { 
    	.vtable = draw
    } ;

    static struct shape_t base = { vtable + 1};

    struct rectangle_t* rectangle = malloc(sizeof(*rectangle));
    memcpy(&rectangle->base, &base, sizeof(base));

    return (struct shape_t*)(&rectangle->base);
}

使用函数指针数组,就可以模拟出比较相近的虚函数表。

整个c程序的UML图如下:

其实这张图跟笔者前一篇模拟多态的文章思想是一样的。

相关推荐
----云烟----13 分钟前
QT中QString类的各种使用
开发语言·qt
lsx20240617 分钟前
SQL SELECT 语句:基础与进阶应用
开发语言
开心工作室_kaic42 分钟前
ssm161基于web的资源共享平台的共享与开发+jsp(论文+源码)_kaic
java·开发语言·前端
向宇it43 分钟前
【unity小技巧】unity 什么是反射?反射的作用?反射的使用场景?反射的缺点?常用的反射操作?反射常见示例
开发语言·游戏·unity·c#·游戏引擎
武子康1 小时前
Java-06 深入浅出 MyBatis - 一对一模型 SqlMapConfig 与 Mapper 详细讲解测试
java·开发语言·数据仓库·sql·mybatis·springboot·springcloud
转世成为计算机大神1 小时前
易考八股文之Java中的设计模式?
java·开发语言·设计模式
搬砖的小码农_Sky1 小时前
C语言:数组
c语言·数据结构
机器视觉知识推荐、就业指导1 小时前
C++设计模式:建造者模式(Builder) 房屋建造案例
c++
宅小海2 小时前
scala String
大数据·开发语言·scala
qq_327342732 小时前
Java实现离线身份证号码OCR识别
java·开发语言