首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往
您找到你想要的搜索结果了吗?
是的
没有找到

自定义View(一)-动画- XML生成View动画

感觉好久没有写博客了。首先因为最近比较忙,有在学习即时通讯相关的开源项目,好不容易忙完了。有点时间就抓紧写博客。之前学习的开源项目百篮应用已经获得360+star了。当初学习的时候没有觉得什么。虽然不是我自己原创的项目。但是也是自己一点点写出来的,也学习到了很多。所以当初的2个承诺,一个是完善功能另一个写一个学习自定义View系列文章。个人觉得第二个比较重要。因为在理解后如何去完善,是仁者见仁智者见智的事情。 这里需要注意:本人只是一个Android的小白,所以对于自定义View这个部分相比之下还是比较难的,所以文本是自己学习的总结。所以部分内容会借鉴于很多优秀的文章,如果不妥。请私信联系我,我会第一时间处理。

01

循环不变式:算法中基础概念的明晰

初始化:它在循环的第一轮迭代开始之前,应该是正确的。 保持:如果在某一次循环迭代开始之前是正确的,那么在下一次迭代开始之前,它也应该保持正确(假设当循环变量等于k时符合,再看执行一遍循环体后是否还符合循环不变式)。 结束:当循环结束时,不变式给了我们一个有用的性质,它有助于表明算法是正确的(这一步是和数学归纳法不同的一点,用循环不变式则更进一步,数学归纳法到这里就得出了一个关系式就结束,而用循环不变式,不但要先确保一个正确的关系式,还要看最后循环结束时,循环变量最后等于多少,根据循环不变式推导是否符合自己的要求。)。 编写循环时,让每次循环都成立的逻辑表达式称为循环不变式(loop invariant)。 注意:每个循环都可以找到一个循环不变式,我们可以通过这个循环不变式证明循环迭代的正确性。

02
领券