microPython的源码解析之 objset.c

MicroPython 是一种适用于微控制器和其他受限环境的 Python 编程语言的实现。它旨在提供与 Python 3 语言的紧密兼容，同时考虑到内存和计算资源的限制。MicroPython 库是这门语言的核心组成部分，提供了一系列的模块和函数，使得开发者能够在硬件上执行各种任务。
下面将通过系列文章,逐一解读microPython,以便让读者了解掌握microPython的整个核心逻辑.,以便读者可以透过这个Python的最小内核,掌握Python解析器的核心实现逻辑,学习世界上最优秀的源码设计之一.

---

microPython Python最小内核源码解析
NI-motion运动控制c语言示例代码解析
python编程示例系列 python编程示例系列二
python的Web神器Streamlit

---

这段代码是一个集合（set）的实现，包括了集合的基本操作，如添加元素、删除元素、判断是否为空、求交集、并集、差集等。代码中使用了MicroPython的运行时库，这是为了在MicroPython环境中实现Python的集合类型。
此外，代码还定义了一个不可变集合（frozenset），它提供了与集合相似的方法，但是不允许修改集合的内容。这在需要确保集合内容不变的场景下非常有用。

代码中的方法实现使用了MicroPython对象系统的一些特性，例如mp_obj_t类型的使用，以及mp_obj_set_store函数中的mp_check_self宏，这些特性使得代码能够与MicroPython的其他部分无缝集成。

最后，代码中的mp_obj_new_set函数提供了一种便捷的方式来创建一个新的集合对象，接受一个元素数组和数组的长度作为参数，并将这些元素添加到新创建的集合中。这为用户提供了一种简单直观的方式来使用集合。

#include <stdbool.h>
#include <string.h>
#include <assert.h>

#include "py/runtime.h"
#include "py/builtin.h"

#if MICROPY_PY_BUILTINS_SET

// 定义集合对象的结构体
typedef struct _mp_obj_set_t {
   
    mp_obj_base_t base; // 继承自基础对象
    mp_set_t set; // 存储集合元素的哈希表
} mp_obj_set_t;

// 定义集合迭代器对象的结构体
typedef struct _mp_obj_set_it_t {
   
    mp_obj_base_t base; // 继承自基础对象
    mp_fun_1_t iternext; // 迭代器的下一个元素获取函数
    mp_obj_set_t *set; // 关联的集合对象
    size_t cur; // 当前迭代的索引
} mp_obj_set_it_t;

// 判断一个对象是否是集合或不可变集合
static bool is_set_or_frozenset(mp_obj_t o) {
   
    return mp_obj_is_type(o, &mp_type_set)
           #if MICROPY_PY_BUILTINS_FROZENSET
           || mp_obj_is_type(o, &mp_type_frozenset)
           #endif
    ;
}

// 打印集合对象
static void set_print(const mp_print_t *print, mp_obj_t self_in, mp_print_kind_t kind) {
   
    (void)kind;
    mp_obj_set_t *self = MP_OBJ_TO_PTR(self_in);
    #if MICROPY_PY_BUILTINS_FROZENSET
    bool is_frozen = mp_obj_is_type(self_in, &mp_type_frozenset);
    #endif
    if (self->set.used == 0) {
   
        #if MICROPY_PY_BUILTINS_FROZENSET
        if (is_frozen) {
   
            mp_print_str(print, "frozen");
        }
        #endif
        mp_print_str(print, "set()");
        return;
    }
    bool first = true;
    #if MICROPY_PY_BUILTINS_FROZENSET
    if (is_frozen) {
   
        mp_print_str(print, "frozenset(");
    }
    #endif
    mp_print_str(print, "{");
    for (size_t i = 0; i < self->set.alloc; i++) {
   
        if (mp_set_slot_is_filled(&self->set, i)) {
   
            if (!first) {
   
                mp_print_str(print, ", ");
            }
            first = false;
            mp_obj_print_helper(print, self->set.table[i], PRINT_REPR);
        }
    }
    mp_print_str(print, "}");
    #if MICROPY_PY_BUILTINS_FROZENSET
    if (is_frozen) {
   
        mp_print_str(print, ")");
    }
    #endif
}

// 创建新的集合对象
static mp_obj_t set_make_new(const mp_obj_type_t