比较字符是否相等而不进行分支

compare chars for equality without branching

本文关键字:分支 字符 是否 比较      更新时间:2023-10-16

关于之前我想优化这个函数的问题:

static
lvh_distance levenshtein_distance( const std::string & s1, const std::string & s2 )
{
    const size_t len1 = s1.size(), len2 = s2.size();
    std::vector<unsigned int> col( len2+1 ), prevCol( len2+1 );
    const size_t prevColSize = prevCol.size();
    for( unsigned int i = 0; i < prevColSize; i++ )
        prevCol[i] = i;
    for( unsigned int i = 0, j; i < len1; ++i )
    {
        col[0] = i+1;
        const char s1i = s1[i];
        for( j = 0; j < len2; ++j )
        {
            const auto minPrev = 1 + std::min( col[j], prevCol[1 + j] );
            col[j+1] = std::min( minPrev, prevCol[j] + (  s1i == s2[j] ? 0 : 1   ) );
        }
        col.swap( prevCol );
    }
    return prevCol[len2];
}

一个用户评论说我可以用((s1i - s2[j]) & 0x80) >> 7代替s1i == s2[j] ? 0 : 1来防止条件跳转。这个技巧是错误的,用户删除了他的评论,但我想知道是否真的有办法做到这一点。

假设代码

s1i == s2[j] ? 0 : 1

确实为您提供了一个分支操作,这是您想要避免的,您可以简单地尝试以下操作:

!(s1i == s2[j])

应该会产生相同的效果,并且可以帮助编译器删除分支。或者,您可以反向逻辑并写入

s1i != s2[j]
对于这种类型的优化,始终不能保证这将实际达到您希望的结果。优化器做了很多聪明的事情,试图预测它们对你的技巧的反应通常是非常困难的。因此,即使在最好的情况下,您所能做的就是尝试不同的解决方案并比较得到的二进制代码。

为什么不使用!(s1i == s2[j])(s1i != s2[j]),因为bool到int的转换是隐式的

不是一个实用的答案,而是解决一个难题。
创建一个数组one_or_zero[UCHAR_MAX+1],填充1,one_or_zero[0] = 0;
现在你可以输入prevCol[j] + one_or_zero[s1i^s2[j]])
这将导致s1i==s2[j]为0,prevCol[j]为1