select_borrow_records 函数

好的，下面是一个读取文件实现的 `select_borrow_records` 函数的示例代码：

def select_borrow_records(book_id: int, user_id: int, borrow_file: str) -> List[Dict]:
    """
    通过文件查询该用户所借阅的该图书的借阅记录
    :param book_id: int, 图书ID
    :param user_id: int, 用户ID
    :param borrow_file: str, 借阅记录文件名
    :return: List[Dict], 借阅记录列表
    """
    with open(borrow_file, 'r') as f:
        borrow_records = json.load(f)
    
    result = []
    for borrow_record in borrow_records:
        if borrow_record['book_id'] == book_id and borrow_record['user_id'] == user_id:
            result.append(borrow_record)
            
    return result

其中，`borrow_file` 是借阅记录的文件名，假设该文件的格式为 JSON，每个借阅记录是一个 JSON 对象，可以使用 `json.load` 函数来读取该文件并解析成 Python 对象。然后遍历借阅记录列表，找到匹配的借阅记录，将其加入结果列表。最后返回结果列表。

需要注意的是，该函数返回的是一个列表，因为一个用户可能会借阅同一本书多次，因此可能有多个借阅记录。