西伯尔 - 博客园

2022年2月22日

摘要： 1、什么是optional？试想一下，当你有一个电商系统，然后需要设计一个接口去获取注册的用户的地址的时候，一般这个接口的返回值类型会是string，但是如果你调用这个接口时得到一个返回值为空字符串，你会怎么认为它的含义？是用户设置的就是空字符吗？还是用户没有设置呢？这种问题一般有种办法可以解决阅读全文

posted @ 2022-02-22 10:52 西伯尔阅读(614) 评论(0) 推荐(0) 编辑

2022年2月21日

go学习（十五）CGO调用C函数

摘要： Go 语言通过自带的一个叫 CGO 的工具来支持 C 语言函数调用，同时我们可以用 Go 语言导出 C 动态库接口给其它语言使用。参考： https://docs.hacknode.org/gopl-zh/ch13/ch13-04.html https://github.com/chai2010/ 阅读全文

posted @ 2022-02-21 10:30 西伯尔阅读(141) 评论(0) 推荐(0) 编辑

http学习（四）CORS跨域资源共享

摘要： CORS：Cross-Origin Resource Sharing，跨域资源共享它是一种机制，这个机制使用一个额外的HTTP响应头来赋予当前user-agent（浏览器）获得在当前源（origin）下使用非同源资源的权限。 1、被浏览器限制的同源资源出于安全的原因，浏览器限制从脚本内发起跨源的阅读全文

posted @ 2022-02-21 09:58 西伯尔阅读(52) 评论(0) 推荐(0) 编辑

2022年2月18日

毕设（二）静态类型

摘要：文：《Python外部函数的静态类型推断》 1、静态类型语言 vs 动态类型语言（1）动态类型语言（Dynamically Typed Language）动态类型在解释语言中极为普遍，如 Go、JavaScript、Perl、Python、Ruby 等等。所谓动态类型语言，就是类型的检查是在运阅读全文

posted @ 2022-02-18 02:02 西伯尔阅读(44) 评论(0) 推荐(0) 编辑

go学习（十四）Duck Typing 与 Interface

摘要： Duck Typing 的原话是，走起来像鸭子、游泳起来像鸭子、叫起来也像鸭子，那么它就是一只鸭子。参考： https://zhuanlan.zhihu.com/p/85106978 阅读全文

posted @ 2022-02-18 01:55 西伯尔阅读(37) 评论(0) 推荐(0) 编辑

2022年2月17日

go学习（二十二）不同类型判断相等

摘要：在判断是否相等之前，我们先看下go中的类型都有哪些吧，不同类型比较方式不同 1、可用 == 和 != 直接比较的类型 bool布尔类型；数值类型：两个值具有相同的数值类型或者可以转化为相同的类型； string字符串；指针：比较两个指针是否指向内存中的同一个值，或者都为 nil； channel 阅读全文

posted @ 2022-02-17 17:42 西伯尔阅读(880) 评论(0) 推荐(0) 编辑

go进行md5加密

摘要： Golang封装加盐的MD5函数： func get_token(id string) string { // 方法一：通过Sum传参 // data := []byte(id) // s := fmt.Sprintf("%x", md5.Sum(data)) // fmt.Println(s) / 阅读全文

posted @ 2022-02-17 16:42 西伯尔阅读(967) 评论(0) 推荐(0) 编辑

yaml文件的坑

摘要： 1、冒号后要有空格！绿框内正确，冒号后有空格，字段salt是蓝色。红框内没有空格，字段salt是橙色，执行报错： panic: yaml: unmarshal errors: line 6: cannot unmarshal !!str `salt:'HXL'` into config.Toke 阅读全文

posted @ 2022-02-17 15:39 西伯尔阅读(4662) 评论(0) 推荐(0) 编辑

gs系统涉及的技术

摘要：软件清单： https://www.cnblogs.com/sybil-hxl/p/16004080.html 1、web的登录状态保持方式:JWT 解决问题：账号安全验证登录之后的状态保持，后台核心数据需要校验权限等。一系列涉及账号安全问题都需要我们进行-**签名验签，保持账号信息的可靠性** 阅读全文

posted @ 2022-02-17 09:26 西伯尔阅读(432) 评论(0) 推荐(0) 编辑

2022年2月16日

毕设（三）形式化证明相关

摘要：涉及的形式化概念 1、函数式语言中的类型在典型的函数式语言类型系统（以ML和Haskell为代表）中，除基本数据类型（整数、逻辑真值、浮点数等）和简单的复合数据类型（如数组、n元组和记录）外，还存在函数类型、归纳定义的数据类型（或称代数数据类型）等类型，以及参数化多态性、函子（functor）、单阅读全文

posted @ 2022-02-16 23:05 西伯尔阅读(571) 评论(0) 推荐(0) 编辑