05 2023 档案

摘要:竖轴:时间(微秒)横轴(数据量) 备注(maps与dict的key是{name,整数}与整数在速度上差别不大,array的key是正整数) ### 结论 数据量在32-10000用maps的各种操作速度更快(但内存稍多,引用官方描述,此处没测) 数据量1万以上,如果键是正整数,array与maps性 阅读全文
posted @ 2023-05-29 17:47 J6` 阅读(489) 评论(0) 推荐(0)
摘要:答案来自 Chat GPT @echo off setlocal rem 设置字符串 set "str=9" rem 检查字符串长度 if "%str:~1%"=="" ( set "str=0%str%" ) echo 结果:%str% endlocal 在这个示例中,我们首先将字符串9存储在变量 阅读全文
posted @ 2023-05-09 12:01 J6` 阅读(445) 评论(0) 推荐(0)