项目开发随笔
goto2091
举一反三求甚解。
热爱计算机科学。
展开
-
用C++生成solidity语言描述的buchi自动机的初级经验
我的项目rvtool(https://github.com/Zeraka/rvtool)中增加了生成solidity语言格式的监控器的模块。solidity特殊之处在于,它是运行在以太坊虚拟机环境中的。EVM和环境是隔离的,因此无法直接读取文件。所以rvtool中通过读取LTL文本生成监控器的方式无法直接照搬到solidity上面。rvtool中建立了表达自动机监控器的数据结构,对该数据结构的赋值是通过几个循环结构完成的。而这个部分无法在solidity代码中表达。将LTL转化为buchi自动机的算法原创 2020-09-05 22:59:04 · 442 阅读 · 0 评论 -
g++编译器declaration of xxx shadows a parameter 的解决办法
在编译的时候C++编译器报错“declaration of ‘std::ofstream ofile’ shadows a parameter”,检查后发现是形参名和函数内声明的变量重名了。funcA(string& str){ string str;}类似以上这样的错误。该报错的意思为"xxx形参在函数种又被声明了"。...原创 2020-09-05 22:34:13 · 8477 阅读 · 0 评论 -
ubuntu修改软件源的两个方法
最快方法——替换法刚安装好的ubutun,打开source.list后,用vim替换的方法将所有的us提付出替换为cn,然后保存退出,更新即可。# vim /etc/apt/source.list# 在vim的界面输入 %s/us/cn/g,保存退出# apt-get update%s/us/cn/g, g是全局的意思。%s是替换。修改软件源为本地镜像源把 /etc/apt/source.list中的内容替换为阿里云的源。deb http://mirrors.aliyun.com/ubu原创 2020-09-04 09:00:10 · 495 阅读 · 0 评论 -
解决multiple definition ofxxx
解决multiple definition ofxxx遇到了一次multiple definition of xxx错误,最后发现问题是包含xxx函数的头文件yyy.h中完整地实现了该xxx函数。而头文件起到的是预编译的作用。之前我的程序编译的时候之所以没有报错是因为只有zzz.h中包含了yyy.h,只有一个文件调用该头文件。直到另一个文件调用该函数,又预编译了一次,导致了multiple definition的问题。 解决办法是只在头文件中声明函数,而在c文件中实现该函数。分离完成之后,在make原创 2020-09-03 11:32:11 · 380 阅读 · 1 评论 -
C++的append函数用法
C++的append函数用法append是向string对象的尾部添加字符串或者字符。1.添加C字符串string A = "abc";const char* B = "qwe";A.append(d);//得到abcqwe2.添加C字符串的一部分string A = "abc";const char* B = "qwe";A.append(B,2);//添加qwe的前两个,qw3.添加string类型同上,直接添加即可。4.添加string类型的一部分string A = "原创 2020-09-03 00:09:13 · 2042 阅读 · 1 评论 -
aiohttp的使用杂记
aiohttp建立server 实现aiohttp的web server的核心关键,是实现一个个request handler, rh必须是协程, 其参数是client发送过来的request,并且返回一个Response实例。 举例如下from aiohttp import webasync def hello(request): return web.Response(text="Hello, world")app = web.Application()app.add_rou原创 2020-08-28 15:26:30 · 590 阅读 · 0 评论 -
golang开发环境配置以及简单使用
golang开发环境配置以及简单使用编译golang程序go build命令的使用http://c.biancheng.net/view/120.html使用go build, 将main.go和其他的go模块一起编译。由于默认了gopath,且src没有放到默认gopath里面,因此,build后得到的可执行文件会出现在编译的目录下其他各种go的指令linux下配置linux环境变量的配置核心语句是export PATH="$PATH:/usr/local/go/bin:$GOPATH原创 2020-08-28 15:20:42 · 1137 阅读 · 0 评论