俄罗斯方块：win32api开发
时间：2014-06-16 18:46:30
收藏：0
阅读：594
本文简述一门课程，演示win32api开发俄罗斯方块的开发过程。假设学生学习过C语言，没学过或者学习C++不好，刚刚开始学习win32api程序设计，还不懂消息循环和注册窗口类。
我这学期讲一门课，本科三年级，学生满员17人。一般接近满员，最低一次5人，那天据林同学说，其他的同学都去看足球赛了。
课程名字叫做算法与程序设计实践3。第一堂课我照例要解释：到了"3"这个阶段，就不讲算法了，只有实践。不过，后来看看算法也还是有一点应用，比如从一个线性表里删除符合条件的元素们，在线性表里查找符合条件的元素，这种难度的。
课是在机房上的，大部分时间学生和教师都看着显示，所以一学期下来，好多同学和我见面可能都不太认识。不过我们对代码的形成过程更熟悉一些。
我试图贯彻下述原则：学生应该看到教师编程的过程，而不仅仅是结果；学生应该看到在编辑器和编译器中的代码，而不是WORD或PPT里的；学生应该先学会临模教师的编程过程，而没有能力直接临模结果；学生甚至应该看到教师的错误及错误的解决过程、教师的无知及检索过程，学生不应该看到事先排练的完美的编程过程和全知全能的教师，那样的过程和专家，学生模仿时无从下手。
所以，我课前不准备，在课堂上无意犯各种错误--偶尔演示学生们容易犯的错误--及解决。在LOG文件中记录我们的计划和当前的进度，在画图里画下原型。
所以，我假装对某些API和函数不熟悉，演示在MSDN和互联网中查找手册和解决方案的步骤。单独做一些技术原型验证对API的调用结果的猜想，而不是在工程的过程中在项目代码中测试技术。有时，我知道问题在哪里，但是要先列出各种可能，然后一一验证猜想(而不是直接解决，这似乎是计算机本科生非常容易犯的错误，如果解决了就认定那是问题的原因)。除了这两点，其余的时间我应该尽可能诚实。
有时候，学生会告诉我哪里错了，先于我发现问题的原因。这令我享受这样的教学过程。
最终，我们--以我编码为主--实现了WIN32API开发的俄罗斯方块。
选择俄罗斯方块的原因，是因为小游戏的业务逻辑足够复杂，保证学生了解在相对复杂的业务逻辑时的面临的问题和编程行为与toy作品不同；所使用的到技术较少，避免过多的机制 (数据库、网络等)分散学生的注意力，保证学生把精力集中在对业务逻辑上。
选择win32api是课堂上投票的结果。选择C语言而没有使用C++有两个原因。一是学生的C++掌握通常并不熟练；二是我希望学生能在项目中发现面向对象的必要性和优点，而不是仅因为学习过哪些语言而在工程中选用；三是希望演示用C也可以实现基于对象的程序设计 (不是面向对象，不包括继承，仅包括方法与数据的内聚)。
2. 技术原型
涉及到的技术原型，要在工程开始前建立小项目，以验证对这些技术的掌握和对效果的猜想。
要实验的技术列表，来源于需求。我们先不写代码，口头描述需求，然后分解需求到所需的技术。这样就形成了技术列表。这个过程中，同时也形成了定义，包括名词和动词表。
这些技术原型也限定了除C语言以外需要掌握的技术，在这次开发当中。
技术原型包括：
* 使用GDI画图、擦除。用于画小块和移动小块。移动是根据视觉暂留在新的位置上画图，并把旧位置上的小块以底色重画。
* 键盘消息响应。用于在不暂停小块下落的情况下接受玩家通过按键操纵小块左移、右移、旋转、快速下落。
* 特定范围的随机数生成。用于在创建新的小块时，决定是哪个类型。类型计有S型、L型、凸形、田形，及它们的旋转。
* 计时器 (timer)，用于驱动小块定时下落，判断是否该清除一行，计分，刷新工作区 (重画) 等。
* 在工作区输出文字。用于调试和显示分数。
最终形成的原型部分代码量如下。代码在附件中的 prototype目录下
画图 (及消息循环) ,draw,226行
擦除，eraser，263行
在工作区输出文字，textout，201行
按键消息响应，key，207行
随机数，random, 31行
计时器，timer，214行
3. 开发过程的里程碑
技术原型确定以后，再重新回到需求，并把需求排期。争取每次课程限定完成一个功能。
需求排期遵循的原则是：优先完成对其他功能无信赖的部分；优先完成核心功能。
以下是开发过程中的里程碑。
1） 生成块。
2） 计时器驱动，块自动下降
3） 键盘控制块 旋转、快速下降、左移、右移
4） 落到底或粘在底部已存在块上 (if (conficted || touch_bottom) stick)
5） 删除一行：删除一行，把之上的行下降一行
6） 计分：消除一行和多行分值不同
以下功能在本学期没有实现。
7） 生成新块前，在预览区显示下一个块
8） 分数积累到一定程度 (？)，加快块下落的速度
开发过程以git版本控制方式记录了历史，每个重要功能一次commit，以日期作为message。
4. 定义
我们在开发前用示意图约定了一些定义，作为词汇表。排版原因，我在这里有文字解释一下。
俄罗斯方块元素：工作区上绘图的最小单位，是一个小方格。俄罗斯方块的名字 Terris 即四元素，因为每个当前块由4个元素组成。
数组元素：即C语言中的数组元素，数组中的某一个。提出这个定义是为了区别于俄罗斯方块的元素。
当前块 (current block) ：正在移动的由四个元素构成的块。有S型、L型、田字型等类型。
已存在的块 (exist block) ：堆积在工作区底部的，已经粘成一团的元素。
像素坐标，世界坐标。像素坐标是由GDI绘图定义的，世界坐标由我们定义，以元素为单位，左上是原点 (0，0) ，向右向下递增。
stick。当前块接触到已存在的块，或者当前块接触到工作区底部，此时应该把当前块加入到已存在的块中，然后生成新的当前块；如果导致已存在的块中某一行充满元素，需要按游戏规则删除此行，然后把已存在的块中此行以上的元素降落一行。
5. 数据结构及流程
以下介绍当前块、已存在块、键盘操作、删除已存在块中的一行的数据结构和流程。
5.1 当前块
当前块中，包括当前块的以下数据：当前坐标，上一次的坐标 (用以擦除) ，当前类型 (接下来会解释)，上一次的类型 (用于旋转)。结构体如下，整个程序中只有这个结构体的唯一实例。
struct struct_block{
int x;
int y; /* row 0, col 0 */
int old_x;
int old_y;
int* type;
int* old_type;
};
当前块的类型使用数组实现，如下，分别是一字型、田字型、凸字型。
int line_v_block[]={0, 0, 0, 1, 0, 2, 0, 3};
int line_h_block[]={0,0,1,0,2,0,3,0};
int tian_block[]={0, 0, 0, 1, 1, 0, 1, 1};
int tu_v_block[]={0,1,1,0,1,1,2,1};
int tu_h_block[]={0,1,1,0,1,1,1,2};
数组中的每两个数值 (数据中的元素)代表一个当前块中的元素的坐标，计8个数值代表4个元素。
生成块时，
current_block.type = line_v_block;
指定了当前块的元素。
绘图时，遍历"类型数组"，把每个元素绘出。无论何种类型，都遵循这一流程，从而实现"以数据作为代码"：类型数组即数据，遍历"类型数组"、在旋转时改变类型等即为引擎。
旋转的代码示例，改变类型 (的指针) ：
if(current_block.type == line_v_block)
{
current_block.type = line_h_block;
}
平移的代码示例，改变横坐标：
current_block.x -= 1;
自动下降的代码示例，改变上一次的纵坐标和当前纵坐标。
if(! is_conflicted() && ! is_touch_bottom())
{
current_block.old_y = current_block.y;
current_block.y = current_block.y + 1;
}
else
{
stick();
generate_block();
}
快速下降：
纵坐标 增加 所有元素中到达底部 (或已存在块中同一横坐标的顶) 的最短距离。
貌似题外话，helper函数：is_conflicted()，判断当前块是否接触到已存在块；is_touch_bottom()，判断当前块是否触底；匹配横坐标，给出当前块的底坐标；求当前块距离底部的最短距离。等等。
开发helper函数的目的，是为了使程序整体流程清晰。保障整体清晰的方法之一，是要求每个函数内容不得超过一屏。如果超过了，就需要折解出 helper 函数。在主流程中调用 helper 函数，而把helper函数体移出主流程，这样主流程代码长度就下降了。这和小学写作文的时候，老师要求先拉大纲是一个道理。经常有同学说，在开发过程中会发现新的功能，在开发遇到新的技术，没有做原型的，因此难以把握大纲。这都说明把握大纲和做计划的能力还差，需要通过练习来训练。这和小学生写着写着作文发现需要查字典，或者写跑题了，是一个道理。我们的成长并非认识的字多了，而是能预见到将会用到哪些字 (甚至表达手法、写作素材)。
此外，在面向对象中，有些的函数会成为game (或者 current block 或者 exist block )的成员函数。这在开发中会认识到，如果它们与数据能内聚在一个类中，该是多么方便，因此了解面向对象的在信息隐藏方面的优势。这些函数应归属于哪个类，是由哪个类承担这个责任决定的。
5.2 已存在块
已存在块中包括以下数据结构：块的长度 (事实上，是块的长度*2，代码中以横坐标和纵坐标作为两个数组元素) ，已存在块数组。如下。
int exist_block_size=0;
int exist_block[(maxx+1)*(maxy+1)];
这种数据结构，及当前块的数据结构，把横纵坐标无差别地，不以结构体地方式放在数组中，在后续开发中带来了麻烦。不过由于课程时间有限，后来，我未对此做出修改。应该逐渐演化程序结构，形成以元素作为结构体的数组。再开发出一些helper甚至成员函数，遍历时以俄罗斯方块元素为单位，而不是当前代码中的以数组元素为单位。
对已存在块数据结构操作的函数之一是 stick，用于在当前块触底 (或触及已存在块)时，把当前块中的元素移到已存在块中。
有不少helper函数，基本都是通过遍历 exist_block，按匹配条件读其中的坐标。包括：匹配横坐标，给出已存在块的顶坐标 int get_exist_block_top(int x)。
5.3 键盘操作 & 动作序列
玩家操作块这一操作，由键盘消息响应开始。我们不在键盘响应中处理这一事件，而是只在这里记住这个动作，加入动作序列中。这是后来的版本。最初的版本，我们也不在键盘响应中处理事件，而是调用 block.cpp 中的函数。原则是：凡依赖win32api的，放在 tetris.cpp 中，如 timer, 键盘响应，绘图；凡是与业务逻辑有关，平台无关的，放在 block.cpp 中。接收向上箭头，是键盘响应，平台相关，所以放在 tetris.cpp 中；此时调用的 rotate，用于改变当前块的类型或坐标，平台无关，所以放在 block.cpp 中。
动作序列的数据结构如下。在动作序列数组buffer_action_seq中，数组动作元素
(动作) 的类型是 枚举 action。
enum action{ action_left=1, action_right=2, action_speed_down=3, action_rotate=4, action_down_auto=5, action_na=0};
action buffer_action_seq[action_size]={action_na};
int buffer_action_cursor = 0;
由玩家触发键盘消息开始，流程如下。
1）键盘消息响应：
buffer_action_seq[buffer_action_cursor++] = action_rotate;在动作序列中加入一个动作。这对应于设计模式中的 commander 模式要解决的问题。
2）在timer中自动下降
timer中 buffer_action_seq[buffer_action_cursor++] = action_down_auto; 在动作序列中加入一个动作。
3）在timer中触发WM_PAINT
timer 中 InvalidateRect 触发 WM_PAINT
4）WM_PAINT中执行动作序列
erase_old_block_seq(hdc);
erase_old_block_seq (hdc) 遍历动作序列，按每个动作改变当前块坐标，然后擦除由于动作产生的旧块。遍历动作序列以后，就完成了自上个 timer 周期以来所有的动作，擦除了这期间产生的所有旧块。
void erase_old_block_seq(HDC hdc) 片断如下：
for (i = 0; i < buffer_action_cursor; i++)
{
switch (buffer_action_seq[i])
{
case action_left:
move_left();
erase_old_block(hdc);
break;
在序列里的每个动作中，move_left 改坐标， erase_old_block(hdc) 擦除旧块.
5）WM_PAINT画新的当前块和已存在块
draw_current_block(hdc);
draw_exist_block(hdc);
因为重绘比计算花费的时间要多，作为性能优化，如果当前块与旧块坐标完全相同，不重画。
另，另一个版本的动作序列，不使用枚举和swtich-case，通过把函数作为消息传递给责任者，实现disptach：
void (*next_action)() = move_still;
next_action = move_left
其中 move_left是一个函数。next_action这样的元素 (类型是函数) 组成一个数组，作为动作序列。执行动作序列时，用下面这样的代码：
while ( next_action++ != action_termination )
next_action;
由于 next_action 既是函数，也是数组元素的指针，因此上述代码不是伪代码，而是可以执行的。这类似于 jump table 技术，数组元素的类型函数，可以遍历数组，执行元素对应的函数。
5.4 删除一行 & 计分数
每个 timer 中，都调用 void kill_all_full_lines()。它遍历 exist block，凡符合满行条件的，调用 kill_block_in_line 删除该行，调用move_exist_block_down_line 把该行以上的 exist_block 下降一行。
这三个 helper 函数都是通过遍历 exist block 中的每个元素，匹配坐标条件，然后删除数组元素或者改变数组元素的值。如前所述，由于 exist block 封装中未使用 俄罗斯方块元素，所以这些遍历都写得非常丑陋。
删除一行以后，累积删除的行数。全删以后，根据删除的行数进行 switch-case，向全局变量 score 累加分数。在下个timer中，把 score 用 textout 输出到工作区。
6. 回顾和检讨
6.1 数据结构，封装，循环条件
由于最初的 (也是最终的)数据结构设计偷了懒，后来又没有足够的时间修改，此前已经提及两次，exist block的结构过于贴近平台，而远离需求。exist block的颗粒度太低，是以 int 为类型的 数组元素，对应于需求中的 俄罗斯方块元素 中的横纵坐标之一。某个数组元素到底是横坐标还是纵坐标，到底是第几个俄罗斯方块元素，这些都需要由代码实现。这样，按需求写helper函数的时候，遍历的元素选取、终止条件，都遇到了麻烦。我在课堂上写作时需要考虑，有时还会错。经验说明，当我需要仔细考虑，或者讲述时间较长时，学生听懂可能已经有相当难度了。终止条件错误的bug，在代码中存在两三处，导致在 exist block够多时，即游戏进行一段时间，工作区中会出现莫名其妙的俄罗斯方块元素。这个bug在最后阶段才解决。
这个故事告诉我们，设计不好，对编码实现的难度要求就会提高。战略失误，战役和战斗就不容易打。领导决策肤浅，要求下属跑死，结果也是白扯。道理都是一样的。
6.2 不要对付过去
在开发中间的某堂课，我们发现当前块移动时后面留了尾迹，擦得不干净。这些那堂课快结束了。为了能让学生在课后重复我课堂上的工作，所以我"对付"了代码，由局部刷新改为刷新整个工作区，包括背景。这样尾迹表面上清除掉了。
之后，延续了这段"对付"的代码。直到期末将至，我才发现这段"对付"掩盖了另一些bug，坐标移动的bug导致除非刷新整个工作区就有尾迹。这个bug在最后阶段才解决。
6.3 并行，timer
有文章指出，初学者非常不容易理解的程序概念包括：赋值、递归和迭代、并行。本程序中有几个埋得比较深的bug，是由于我对并行没有足够警惕造成的。
timer, 键盘响应，WM_PAINT会并行发生。当其中一个未处理完的时候，另一个可能就开始执行；甚至timer未处理完的时候，另一个timer也可能会开始。而这些并行的代码，都调用了 block.cpp。比如有时导致其中一个正改坐标尚未完成，另一个开始刷新工作区，这样工作区里就出现个元素，位置是乱七八糟的。
并行的处理，需要 原子操作、进程间通信、避免重入 等概念。上述提到的动作序列，目的之一就是希望擦除旧的当前块这一动作只在 timer 中发生。
在本课程中，应该不期待学生具备这些操作系统中的知识。不过我还没有想到该如何设计才能规避这些知识。不过我猜应该类似于不用线程也能设计出贪吃蛇，应该有依赖更浅显知识的设计手段，比如单纯轮询，而不用事件响应、消息循环。有哪位知道，请赐教，谢谢。
6.4 猜想后，应该先验证，然后再修改
学生们通常把验证猜想和实施解决归约成了一步，我也经常如此。下文中的他们，包括我。
他们观察到问题，然后做出猜想。这是正常步骤。
但是他们不以实验验证猜想是正确的，急急按猜想修改代码。如果问题消失了，好，他们假设抓住了问题的原因；如果问题还在，就再做个猜想，然后又马上修改。甚至更糟糕，没有退回到上一步的起点，就在当前工作代码上"继续"修改，让各个猜想累加起来，最终问题解决的时候甚至不知道是什么原因。
应该先设计实验，按猜想的模型，如果怎样就会怎样。验证猜想以后，再去解决。比如假设由于 timer 和 keyboard事件响应 同步导致画图混乱，那么，不应该着争写进程通信，而是 应该先选用简单粗暴的手段 去除同步，以更大的颗粒度作为原子操作，验证猜想。如果猜想正确，现象应该有所改变。虽然影响性能和效果，但这并不是准备最终采用的代码，只是用来验证猜想的。当猜想验证以后，再去想效果更好的方案真正解决，比如建立个变量作为信号灯。
6.5 不要轻易更换技术方案，试图绕过问题
这个方面，我最初是发现计算机本科的同学倾向强烈。经常有方案，明明再向前一步就能解决，他们却在此时换了方案。问为什么。答：因为这个技术解决不了这个问题。
确定"不"是极其困难的，甚至比确定"能"要难上很多。你不能，并非就能确定这个方案不能。
需要充分了解你所使用的技术，对它能够完成的任务有足够和明确的自信。同时，对用来替换的方案能解决何种问题，也应该明确。做原型验证，根据理论推论，这些都是解决之道。见到工具，拿来就用，偏听偏信别人的评论，就太草率了；一旦发现并非万能良药，转身就去寻找就的手段，这就更草率了。
6.6 版本控制
为了让学生能看到开发的过程，我上课时用文件系统做了版本控制，每次课一个目录，有时压缩成zip。课程结束以后，一个版本一个版本加入git，然后commit，操作了两个小时(？)，其间又担心整错了，苦不堪言。
下次一定要从最开始就做版本控制。还要在 commit 前把 debug, pch, sdf 等二进制垃圾手动删除。
7. 附件
附件是以git版本控制的代码及日志，在这里[http://download.csdn.net/detail/younggift/7499881]。
protype下是技术原型。
tetris下的是俄罗斯方块项目本身。早先的版本是VS2010的，最后一天的是VS2012的。你可以仅代码部分添加进win32工程，以适应你的VS版本，或者dev c++版本。
log0.txt是课堂上的日志。log1.txt是最后一天前期的日志。log2.doc是最后一天后期的日志，因为需要截图，所以改成用word。
pic.bmp是图片，用来说明定义的。
branch是一个分支，我忘了它是否加入了 trunk，留在那里备用，以防遗漏。
--------------------
博客会手工同步到以下地址：
[http://giftdotyoung.blogspot.com]
[http://blog.csdn.net/younggift]
最近的照片在这里 [http://www.douban.com/photos/album/132796665/] 和 [http://www.douban.com/photos/album/133241544/]。
1. 背景和原则我这学期讲一门课，本科三年级，学生满员17人。一般接近满员，最低一次5人，那天据林同学说，其他的同学都去看足球赛了。
课程名字叫做算法与程序设计实践3。第一堂课我照例要解释：到了"3"这个阶段，就不讲算法了，只有实践。不过，后来看看算法也还是有一点应用，比如从一个线性表里删除符合条件的元素们，在线性表里查找符合条件的元素，这种难度的。
课是在机房上的，大部分时间学生和教师都看着显示，所以一学期下来，好多同学和我见面可能都不太认识。不过我们对代码的形成过程更熟悉一些。
我试图贯彻下述原则：学生应该看到教师编程的过程，而不仅仅是结果；学生应该看到在编辑器和编译器中的代码，而不是WORD或PPT里的；学生应该先学会临模教师的编程过程，而没有能力直接临模结果；学生甚至应该看到教师的错误及错误的解决过程、教师的无知及检索过程，学生不应该看到事先排练的完美的编程过程和全知全能的教师，那样的过程和专家，学生模仿时无从下手。
所以，我课前不准备，在课堂上无意犯各种错误--偶尔演示学生们容易犯的错误--及解决。在LOG文件中记录我们的计划和当前的进度，在画图里画下原型。
所以，我假装对某些API和函数不熟悉，演示在MSDN和互联网中查找手册和解决方案的步骤。单独做一些技术原型验证对API的调用结果的猜想，而不是在工程的过程中在项目代码中测试技术。有时，我知道问题在哪里，但是要先列出各种可能，然后一一验证猜想(而不是直接解决，这似乎是计算机本科生非常容易犯的错误，如果解决了就认定那是问题的原因)。除了这两点，其余的时间我应该尽可能诚实。
有时候，学生会告诉我哪里错了，先于我发现问题的原因。这令我享受这样的教学过程。
最终，我们--以我编码为主--实现了WIN32API开发的俄罗斯方块。
选择俄罗斯方块的原因，是因为小游戏的业务逻辑足够复杂，保证学生了解在相对复杂的业务逻辑时的面临的问题和编程行为与toy作品不同；所使用的到技术较少，避免过多的机制 (数据库、网络等)分散学生的注意力，保证学生把精力集中在对业务逻辑上。
选择win32api是课堂上投票的结果。选择C语言而没有使用C++有两个原因。一是学生的C++掌握通常并不熟练；二是我希望学生能在项目中发现面向对象的必要性和优点，而不是仅因为学习过哪些语言而在工程中选用；三是希望演示用C也可以实现基于对象的程序设计 (不是面向对象，不包括继承，仅包括方法与数据的内聚)。
2. 技术原型
涉及到的技术原型，要在工程开始前建立小项目，以验证对这些技术的掌握和对效果的猜想。
要实验的技术列表，来源于需求。我们先不写代码，口头描述需求，然后分解需求到所需的技术。这样就形成了技术列表。这个过程中，同时也形成了定义，包括名词和动词表。
这些技术原型也限定了除C语言以外需要掌握的技术，在这次开发当中。
技术原型包括：
* 使用GDI画图、擦除。用于画小块和移动小块。移动是根据视觉暂留在新的位置上画图，并把旧位置上的小块以底色重画。
* 键盘消息响应。用于在不暂停小块下落的情况下接受玩家通过按键操纵小块左移、右移、旋转、快速下落。
* 特定范围的随机数生成。用于在创建新的小块时，决定是哪个类型。类型计有S型、L型、凸形、田形，及它们的旋转。
* 计时器 (timer)，用于驱动小块定时下落，判断是否该清除一行，计分，刷新工作区 (重画) 等。
* 在工作区输出文字。用于调试和显示分数。
最终形成的原型部分代码量如下。代码在附件中的 prototype目录下
画图 (及消息循环) ,draw,226行
擦除，eraser，263行
在工作区输出文字，textout，201行
按键消息响应，key，207行
随机数，random, 31行
计时器，timer，214行
3. 开发过程的里程碑
技术原型确定以后，再重新回到需求，并把需求排期。争取每次课程限定完成一个功能。
需求排期遵循的原则是：优先完成对其他功能无信赖的部分；优先完成核心功能。
以下是开发过程中的里程碑。
1） 生成块。
2） 计时器驱动，块自动下降
3） 键盘控制块 旋转、快速下降、左移、右移
4） 落到底或粘在底部已存在块上 (if (conficted || touch_bottom) stick)
5） 删除一行：删除一行，把之上的行下降一行
6） 计分：消除一行和多行分值不同
以下功能在本学期没有实现。
7） 生成新块前，在预览区显示下一个块
8） 分数积累到一定程度 (？)，加快块下落的速度
开发过程以git版本控制方式记录了历史，每个重要功能一次commit，以日期作为message。
4. 定义
我们在开发前用示意图约定了一些定义，作为词汇表。排版原因，我在这里有文字解释一下。
俄罗斯方块元素：工作区上绘图的最小单位，是一个小方格。俄罗斯方块的名字 Terris 即四元素，因为每个当前块由4个元素组成。
数组元素：即C语言中的数组元素，数组中的某一个。提出这个定义是为了区别于俄罗斯方块的元素。
当前块 (current block) ：正在移动的由四个元素构成的块。有S型、L型、田字型等类型。
已存在的块 (exist block) ：堆积在工作区底部的，已经粘成一团的元素。
像素坐标，世界坐标。像素坐标是由GDI绘图定义的，世界坐标由我们定义，以元素为单位，左上是原点 (0，0) ，向右向下递增。
stick。当前块接触到已存在的块，或者当前块接触到工作区底部，此时应该把当前块加入到已存在的块中，然后生成新的当前块；如果导致已存在的块中某一行充满元素，需要按游戏规则删除此行，然后把已存在的块中此行以上的元素降落一行。
5. 数据结构及流程
以下介绍当前块、已存在块、键盘操作、删除已存在块中的一行的数据结构和流程。
5.1 当前块
当前块中，包括当前块的以下数据：当前坐标，上一次的坐标 (用以擦除) ，当前类型 (接下来会解释)，上一次的类型 (用于旋转)。结构体如下，整个程序中只有这个结构体的唯一实例。
struct struct_block{
int x;
int y; /* row 0, col 0 */
int old_x;
int old_y;
int* type;
int* old_type;
};
当前块的类型使用数组实现，如下，分别是一字型、田字型、凸字型。
int line_v_block[]={0, 0, 0, 1, 0, 2, 0, 3};
int line_h_block[]={0,0,1,0,2,0,3,0};
int tian_block[]={0, 0, 0, 1, 1, 0, 1, 1};
int tu_v_block[]={0,1,1,0,1,1,2,1};
int tu_h_block[]={0,1,1,0,1,1,1,2};
数组中的每两个数值 (数据中的元素)代表一个当前块中的元素的坐标，计8个数值代表4个元素。
生成块时，
current_block.type = line_v_block;
指定了当前块的元素。
绘图时，遍历"类型数组"，把每个元素绘出。无论何种类型，都遵循这一流程，从而实现"以数据作为代码"：类型数组即数据，遍历"类型数组"、在旋转时改变类型等即为引擎。
旋转的代码示例，改变类型 (的指针) ：
if(current_block.type == line_v_block)
{
current_block.type = line_h_block;
}
平移的代码示例，改变横坐标：
current_block.x -= 1;
自动下降的代码示例，改变上一次的纵坐标和当前纵坐标。
if(! is_conflicted() && ! is_touch_bottom())
{
current_block.old_y = current_block.y;
current_block.y = current_block.y + 1;
}
else
{
stick();
generate_block();
}
快速下降：
纵坐标 增加 所有元素中到达底部 (或已存在块中同一横坐标的顶) 的最短距离。
貌似题外话，helper函数：is_conflicted()，判断当前块是否接触到已存在块；is_touch_bottom()，判断当前块是否触底；匹配横坐标，给出当前块的底坐标；求当前块距离底部的最短距离。等等。
开发helper函数的目的，是为了使程序整体流程清晰。保障整体清晰的方法之一，是要求每个函数内容不得超过一屏。如果超过了，就需要折解出 helper 函数。在主流程中调用 helper 函数，而把helper函数体移出主流程，这样主流程代码长度就下降了。这和小学写作文的时候，老师要求先拉大纲是一个道理。经常有同学说，在开发过程中会发现新的功能，在开发遇到新的技术，没有做原型的，因此难以把握大纲。这都说明把握大纲和做计划的能力还差，需要通过练习来训练。这和小学生写着写着作文发现需要查字典，或者写跑题了，是一个道理。我们的成长并非认识的字多了，而是能预见到将会用到哪些字 (甚至表达手法、写作素材)。
此外，在面向对象中，有些的函数会成为game (或者 current block 或者 exist block )的成员函数。这在开发中会认识到，如果它们与数据能内聚在一个类中，该是多么方便，因此了解面向对象的在信息隐藏方面的优势。这些函数应归属于哪个类，是由哪个类承担这个责任决定的。
5.2 已存在块
已存在块中包括以下数据结构：块的长度 (事实上，是块的长度*2，代码中以横坐标和纵坐标作为两个数组元素) ，已存在块数组。如下。
int exist_block_size=0;
int exist_block[(maxx+1)*(maxy+1)];
这种数据结构，及当前块的数据结构，把横纵坐标无差别地，不以结构体地方式放在数组中，在后续开发中带来了麻烦。不过由于课程时间有限，后来，我未对此做出修改。应该逐渐演化程序结构，形成以元素作为结构体的数组。再开发出一些helper甚至成员函数，遍历时以俄罗斯方块元素为单位，而不是当前代码中的以数组元素为单位。
对已存在块数据结构操作的函数之一是 stick，用于在当前块触底 (或触及已存在块)时，把当前块中的元素移到已存在块中。
有不少helper函数，基本都是通过遍历 exist_block，按匹配条件读其中的坐标。包括：匹配横坐标，给出已存在块的顶坐标 int get_exist_block_top(int x)。
5.3 键盘操作 & 动作序列
玩家操作块这一操作，由键盘消息响应开始。我们不在键盘响应中处理这一事件，而是只在这里记住这个动作，加入动作序列中。这是后来的版本。最初的版本，我们也不在键盘响应中处理事件，而是调用 block.cpp 中的函数。原则是：凡依赖win32api的，放在 tetris.cpp 中，如 timer, 键盘响应，绘图；凡是与业务逻辑有关，平台无关的，放在 block.cpp 中。接收向上箭头，是键盘响应，平台相关，所以放在 tetris.cpp 中；此时调用的 rotate，用于改变当前块的类型或坐标，平台无关，所以放在 block.cpp 中。
动作序列的数据结构如下。在动作序列数组buffer_action_seq中，数组动作元素
(动作) 的类型是 枚举 action。
enum action{ action_left=1, action_right=2, action_speed_down=3, action_rotate=4, action_down_auto=5, action_na=0};
action buffer_action_seq[action_size]={action_na};
int buffer_action_cursor = 0;
由玩家触发键盘消息开始，流程如下。
1）键盘消息响应：
buffer_action_seq[buffer_action_cursor++] = action_rotate;在动作序列中加入一个动作。这对应于设计模式中的 commander 模式要解决的问题。
2）在timer中自动下降
timer中 buffer_action_seq[buffer_action_cursor++] = action_down_auto; 在动作序列中加入一个动作。
3）在timer中触发WM_PAINT
timer 中 InvalidateRect 触发 WM_PAINT
4）WM_PAINT中执行动作序列
erase_old_block_seq(hdc);
erase_old_block_seq (hdc) 遍历动作序列，按每个动作改变当前块坐标，然后擦除由于动作产生的旧块。遍历动作序列以后，就完成了自上个 timer 周期以来所有的动作，擦除了这期间产生的所有旧块。
void erase_old_block_seq(HDC hdc) 片断如下：
for (i = 0; i < buffer_action_cursor; i++)
{
switch (buffer_action_seq[i])
{
case action_left:
move_left();
erase_old_block(hdc);
break;
在序列里的每个动作中，move_left 改坐标， erase_old_block(hdc) 擦除旧块.
5）WM_PAINT画新的当前块和已存在块
draw_current_block(hdc);
draw_exist_block(hdc);
因为重绘比计算花费的时间要多，作为性能优化，如果当前块与旧块坐标完全相同，不重画。
另，另一个版本的动作序列，不使用枚举和swtich-case，通过把函数作为消息传递给责任者，实现disptach：
void (*next_action)() = move_still;
next_action = move_left
其中 move_left是一个函数。next_action这样的元素 (类型是函数) 组成一个数组，作为动作序列。执行动作序列时，用下面这样的代码：
while ( next_action++ != action_termination )
next_action;
由于 next_action 既是函数，也是数组元素的指针，因此上述代码不是伪代码，而是可以执行的。这类似于 jump table 技术，数组元素的类型函数，可以遍历数组，执行元素对应的函数。
5.4 删除一行 & 计分数
每个 timer 中，都调用 void kill_all_full_lines()。它遍历 exist block，凡符合满行条件的，调用 kill_block_in_line 删除该行，调用move_exist_block_down_line 把该行以上的 exist_block 下降一行。
这三个 helper 函数都是通过遍历 exist block 中的每个元素，匹配坐标条件，然后删除数组元素或者改变数组元素的值。如前所述，由于 exist block 封装中未使用 俄罗斯方块元素，所以这些遍历都写得非常丑陋。
删除一行以后，累积删除的行数。全删以后，根据删除的行数进行 switch-case，向全局变量 score 累加分数。在下个timer中，把 score 用 textout 输出到工作区。
6. 回顾和检讨
6.1 数据结构，封装，循环条件
由于最初的 (也是最终的)数据结构设计偷了懒，后来又没有足够的时间修改，此前已经提及两次，exist block的结构过于贴近平台，而远离需求。exist block的颗粒度太低，是以 int 为类型的 数组元素，对应于需求中的 俄罗斯方块元素 中的横纵坐标之一。某个数组元素到底是横坐标还是纵坐标，到底是第几个俄罗斯方块元素，这些都需要由代码实现。这样，按需求写helper函数的时候，遍历的元素选取、终止条件，都遇到了麻烦。我在课堂上写作时需要考虑，有时还会错。经验说明，当我需要仔细考虑，或者讲述时间较长时，学生听懂可能已经有相当难度了。终止条件错误的bug，在代码中存在两三处，导致在 exist block够多时，即游戏进行一段时间，工作区中会出现莫名其妙的俄罗斯方块元素。这个bug在最后阶段才解决。
这个故事告诉我们，设计不好，对编码实现的难度要求就会提高。战略失误，战役和战斗就不容易打。领导决策肤浅，要求下属跑死，结果也是白扯。道理都是一样的。
6.2 不要对付过去
在开发中间的某堂课，我们发现当前块移动时后面留了尾迹，擦得不干净。这些那堂课快结束了。为了能让学生在课后重复我课堂上的工作，所以我"对付"了代码，由局部刷新改为刷新整个工作区，包括背景。这样尾迹表面上清除掉了。
之后，延续了这段"对付"的代码。直到期末将至，我才发现这段"对付"掩盖了另一些bug，坐标移动的bug导致除非刷新整个工作区就有尾迹。这个bug在最后阶段才解决。
6.3 并行，timer
有文章指出，初学者非常不容易理解的程序概念包括：赋值、递归和迭代、并行。本程序中有几个埋得比较深的bug，是由于我对并行没有足够警惕造成的。
timer, 键盘响应，WM_PAINT会并行发生。当其中一个未处理完的时候，另一个可能就开始执行；甚至timer未处理完的时候，另一个timer也可能会开始。而这些并行的代码，都调用了 block.cpp。比如有时导致其中一个正改坐标尚未完成，另一个开始刷新工作区，这样工作区里就出现个元素，位置是乱七八糟的。
并行的处理，需要 原子操作、进程间通信、避免重入 等概念。上述提到的动作序列，目的之一就是希望擦除旧的当前块这一动作只在 timer 中发生。
在本课程中，应该不期待学生具备这些操作系统中的知识。不过我还没有想到该如何设计才能规避这些知识。不过我猜应该类似于不用线程也能设计出贪吃蛇，应该有依赖更浅显知识的设计手段，比如单纯轮询，而不用事件响应、消息循环。有哪位知道，请赐教，谢谢。
6.4 猜想后，应该先验证，然后再修改
学生们通常把验证猜想和实施解决归约成了一步，我也经常如此。下文中的他们，包括我。
他们观察到问题，然后做出猜想。这是正常步骤。
但是他们不以实验验证猜想是正确的，急急按猜想修改代码。如果问题消失了，好，他们假设抓住了问题的原因；如果问题还在，就再做个猜想，然后又马上修改。甚至更糟糕，没有退回到上一步的起点，就在当前工作代码上"继续"修改，让各个猜想累加起来，最终问题解决的时候甚至不知道是什么原因。
应该先设计实验，按猜想的模型，如果怎样就会怎样。验证猜想以后，再去解决。比如假设由于 timer 和 keyboard事件响应 同步导致画图混乱，那么，不应该着争写进程通信，而是 应该先选用简单粗暴的手段 去除同步，以更大的颗粒度作为原子操作，验证猜想。如果猜想正确，现象应该有所改变。虽然影响性能和效果，但这并不是准备最终采用的代码，只是用来验证猜想的。当猜想验证以后，再去想效果更好的方案真正解决，比如建立个变量作为信号灯。
6.5 不要轻易更换技术方案，试图绕过问题
这个方面，我最初是发现计算机本科的同学倾向强烈。经常有方案，明明再向前一步就能解决，他们却在此时换了方案。问为什么。答：因为这个技术解决不了这个问题。
确定"不"是极其困难的，甚至比确定"能"要难上很多。你不能，并非就能确定这个方案不能。
需要充分了解你所使用的技术，对它能够完成的任务有足够和明确的自信。同时，对用来替换的方案能解决何种问题，也应该明确。做原型验证，根据理论推论，这些都是解决之道。见到工具，拿来就用，偏听偏信别人的评论，就太草率了；一旦发现并非万能良药，转身就去寻找就的手段，这就更草率了。
6.6 版本控制
为了让学生能看到开发的过程，我上课时用文件系统做了版本控制，每次课一个目录，有时压缩成zip。课程结束以后，一个版本一个版本加入git，然后commit，操作了两个小时(？)，其间又担心整错了，苦不堪言。
下次一定要从最开始就做版本控制。还要在 commit 前把 debug, pch, sdf 等二进制垃圾手动删除。
7. 附件
附件是以git版本控制的代码及日志，在这里[http://download.csdn.net/detail/younggift/7499881]。
protype下是技术原型。
tetris下的是俄罗斯方块项目本身。早先的版本是VS2010的，最后一天的是VS2012的。你可以仅代码部分添加进win32工程，以适应你的VS版本，或者dev c++版本。
log0.txt是课堂上的日志。log1.txt是最后一天前期的日志。log2.doc是最后一天后期的日志，因为需要截图，所以改成用word。
pic.bmp是图片，用来说明定义的。
branch是一个分支，我忘了它是否加入了 trunk，留在那里备用，以防遗漏。
--------------------
博客会手工同步到以下地址：
[http://giftdotyoung.blogspot.com]
[http://blog.csdn.net/younggift]
评论（0）