任意表达式中的单冒号？

如何解决任意表达式中的单冒号？

我需要弄清楚这个混淆的 C++ 代码（由其他人编写）做了什么。除了一个棘手的部分，我几乎已经想通了一切：

bool part1(char *flag)
{
    int *t = (int *) memfrob(flag,8);

    unsigned int b[] = {3164519328,2997125270};

    for (int i = 0; i < 2; b[i] = ~b[i],++i);

    return !(0<:t:>-0<:b:>+1<:t:>-1<:b:>);
}

这个函数的return语句是怎么回事？我不知道这些冒号是什么意思...

我尝试在谷歌上搜索 C++ 中的冒号运算符的作用，但只找到了关于类构造函数和条件表达式的答案，这似乎与这个问题无关。

解决方法

代码使用了两个字母 alternative tokens，也称为“有向图”。具体来说，<: 是 [，而 :> 是 ]。

所以，像 0<:t:> 这样的语法就是 0[t]，而且由于数组下标可以与数组标识符交换，所以这只是 t[0]。

一个可以帮助反混淆代码的好工具是 cppinsights.io。从链接中可以看出，代码只是对数组值进行了一些算术运算（在此示例中忽略 static_cast，这对于理解转换的目的并不重要）。