本文介绍了IF(A|B)总是比IF(A||B)快吗？的处理方法，对大家解决问题具有一定的参考价值，需要的朋友们下面随着小编来一起学习吧！
问题描述
我正在阅读Fedor Pikus的this book，他有一些非常非常有趣的例子，对我来说是一个惊喜。
尤其是这个基准测试让我印象深刻，唯一的区别是，在其中一个基准测试中，我们在IF中使用||，在另一个基准测试中，我们使用|。
void BM_misspredict(benchmark::State& state)
{
std::srand(1);
const unsigned int N = 10000;;
std::vector<unsigned long> v1(N), v2(N);
std::vector<int> c1(N), c2(N);
for (int i = 0; i < N; ++i)
{
v1[i] = rand();
v2[i] = rand();
c1[i] = rand() & 0x1;
c2[i] = !c1[i];
}
unsigned long* p1 = v1.data();
unsigned long* p2 = v2.data();
int* b1 = c1.data();
int* b2 = c2.data();
for (auto _ : state)
{
unsigned long a1 = 0, a2 = 0;
for (size_t i = 0; i < N; ++i)
{
if (b1[i] || b2[i]) // Only difference
{
a1 += p1[i];
}
else
{
a2 *= p2[i];
}
}
benchmark::DoNotOptimize(a1);
benchmark::DoNotOptimize(a2);
benchmark::ClobberMemory();
}
state.SetItemsProcessed(state.iterations());
}
void BM_predict(benchmark::State& state)
{
std::srand(1);
const unsigned int N = 10000;;
std::vector<unsigned long> v1(N), v2(N);
std::vector<int> c1(N), c2(N);
for (int i = 0; i < N; ++i)
{
v1[i] = rand();
v2[i] = rand();
c1[i] = rand() & 0x1;
c2[i] = !c1[i];
}
unsigned long* p1 = v1.data();
unsigned long* p2 = v2.data();
int* b1 = c1.data();
int* b2 = c2.data();
for (auto _ : state)
{
unsigned long a1 = 0, a2 = 0;
for (size_t i = 0; i < N; ++i)
{
if (b1[i] | b2[i]) // Only difference
{
a1 += p1[i];
}
else
{
a2 *= p2[i];
}
}
benchmark::DoNotOptimize(a1);
benchmark::DoNotOptimize(a2);
benchmark::ClobberMemory();
}
state.SetItemsProcessed(state.iterations());
}
所以问题是，为什么我们不总是在分支中使用|而不是|？
推荐答案
if(A | B)总是比if(A || B)快吗？
否，if(A | B)并不总是比if(A || B)快。
A为真，并且B表达式是非常昂贵的操作。不做手术可以节省这笔费用。
所以问题是，为什么我们不总是在分支中使用|而不是|？
除了逻辑或更有效的情况外，效率并不是唯一需要考虑的问题。通常存在具有前置条件的操作，并且存在左手操作的结果表示右手操作是否满足前置条件的情况。在这种情况下，我们必须使用逻辑运算符。
if (b1[i]) // maybe this exists somewhere in the program
b2 = nullptr;
if(b1[i] || b2[i]) // OK
if(b1[i] | b2[i]) // NOT OK; indirection through null pointer
if(b1[i] || b2[i])的例子中，优化器只有在能够证明b2至少在b1[i] != 0时有效的情况下才能进行这样的替换。这种情况在您的示例中可能不存在，但这并不意味着优化器证明它不存在就一定很容易，有时甚至是可能的。
此外，可能依赖于操作的顺序，例如，如果一个操作数修改了另一个操作读取的值：
if(a || (a = b)) // OK
if(a | (a = b)) // NOT OK; undefined behaviour
还有一些类型可以转换为bool，因此是||的有效操作数，但不是|的有效运算符：
if(ptr1 || ptr2) // OK
if(ptr1 | ptr2) // NOT OK; no bitwise or for pointers
TL；DR如果我们总是可以使用按位或而不是逻辑运算符，那么就不需要逻辑运算符了，它们很可能也不会出现在语言中。但这样的替换并不总是可能的，这就是我们使用逻辑运算符的原因，也是优化器有时不能使用较快选项的原因。
这篇关于IF(A|B)总是比IF(A||B)快吗？的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持编程学习网！
本站部分内容来源互联网,如果有图片或者内容侵犯您的权益请联系我们删除！