可读性与可维护性：将语句压缩为循环

Question

首先，我指的是一个例子：

UINT f, i, s;
CONST UINT k[5] = { VK_LBUTTON, VK_RBUTTON, VK_MBUTTON, VK_XBUTTON1, VK_XBUTTON2 };

for (f = RI_MOUSE_LEFT_BUTTON_DOWN, i = 0, s = RI_KEY_MAKE; f != RI_MOUSE_WHEEL; f <<= 1, i += s, s = !s)
    if ((pMouseData->usButtonFlags & f) == f)
        SetVKeyState(k[i], s);

与此相比：

if (pMouseData->usButtonFlags & RI_MOUSE_LEFT_BUTTON_DOWN)
    SetVKeyState(VK_LBUTTON, RI_KEY_MAKE);

if (pMouseData->usButtonFlags & RI_MOUSE_LEFT_BUTTON_UP)
    SetVKeyState(VK_LBUTTON, RI_KEY_BREAK);

if (pMouseData->usButtonFlags & RI_MOUSE_RIGHT_BUTTON_DOWN)
    SetVKeyState(VK_RBUTTON, RI_KEY_MAKE);

if (pMouseData->usButtonFlags & RI_MOUSE_RIGHT_BUTTON_UP)
    SetVKeyState(VK_RBUTTON, RI_KEY_BREAK);

if (pMouseData->usButtonFlags & RI_MOUSE_MIDDLE_BUTTON_DOWN)
    SetVKeyState(VK_MBUTTON, RI_KEY_MAKE);

if (pMouseData->usButtonFlags & RI_MOUSE_MIDDLE_BUTTON_UP)
    SetVKeyState(VK_MBUTTON, RI_KEY_BREAK);

if (pMouseData->usButtonFlags & RI_MOUSE_X1_BUTTON_DOWN)
    SetVKeyState(VK_XBUTTON1, RI_KEY_MAKE);

if (pMouseData->usButtonFlags & RI_MOUSE_X1_BUTTON_UP)
    SetVKeyState(VK_XBUTTON1, RI_KEY_BREAK);

if (pMouseData->usButtonFlags & RI_MOUSE_X2_BUTTON_DOWN)
    SetVKeyState(VK_XBUTTON2, RI_KEY_MAKE);

if (pMouseData->usButtonFlags & RI_MOUSE_X2_BUTTON_UP)
    SetVKeyState(VK_XBUTTON2, RI_KEY_BREAK);

后面的代码显然是一个完全展开的循环。

从长远来看，这确实是一个可读性或减少冗余（如代码不同区域的重复语句）是否更好的问题。

我更关心稍后在大型代码库的上下文中访问它。当然减少要修改的区域数量是一件好事； for 循环的初始化和更新语句是否有点混乱？

有没有人遇到过这个问题，可能是微不足道的问题。

Answer 1

关键是只压缩完全相似的语句：

const UINT k[5] = { VK_LBUTTON, VK_RBUTTON, VK_MBUTTON, VK_XBUTTON1, VK_XBUTTON2 };

static_assert( (RI_MOUSE_LEFT_BUTTON_DOWN << 2) == RI_MOUSE_RIGHT_BUTTON_DOWN );

for ( UINT i = 0; i < _count_of(k); ++i ) {
    if (pMouseData->usButtonFlags & (RI_MOUSE_LEFT_BUTTON_DOWN << 2*i))
        SetVKeyState(k[i], RI_KEY_MAKE); 
    if (pMouseData->usButtonFlags & (RI_MOUSE_LEFT_BUTTON_UP << 2*i)))
        SetVKeyState(k[i], RI_KEY_BREAK); 
}

所有逗号运算符都消失了，异常循环增量消失了，符号变量仍然用于键状态。

我觉得这其实比原文更容易阅读，因为它适合一页代码，而且重复很明显。

编辑：现在标志关系假设已记录在案。

我实际上可能会：

struct { UINT vk;      UINT downflag;                 UINT upflag;
} const k[] = {
       { VK_LBUTTON,   RI_MOUSE_LEFT_BUTTON_DOWN,     RI_MOUSE_LEFT_BUTTON_UP },
       { VK_RBUTTON,   RI_MOUSE_RIGHT_BUTTON_DOWN,    RI_MOUSE_RIGHT_BUTTON_UP },
    ...
};
for ( UINT i = 0; i < _count_of(k); ++i ) {
    if (pMouseData->usButtonFlags & k[i].downflag)
        SetVKeyState(k[i].vk, RI_KEY_MAKE); 
    if (pMouseData->usButtonFlags & k[i].upflag)
        SetVKeyState(k[i].vk, RI_KEY_BREAK); 
}

为了消除关于以正确顺序使用相邻位的标志的假设。

您可以使用后一个版本将SetVKeyState 的第二个参数作为表列之一，但 IMO 会丢失有价值的配对结构。