C++20 可能和不太可能？

Question

我正在阅读https://iq.opengenus.org/cpp-likely-and-unlikely-attributes/，但我不理解/不同意一些事情。

1. 在以下代码中：

   void doModulus( vector<int> &vec , int mod ){
   
     // here the value of mod we are passing is 224, vec is of size 1024 holding values in [1,255]
   
     for( int i = 0 ; i<vec.size() ; i++ )
     {
         if( vec[i] >= mod ) [[unlikely]]{
             // so we are prioritizing  else statement here
             vec[i] = vec[i] % mod ;
   
         }else {
   
             vec[i] = vec[i] ;                         
         }
     }
   }
   

如果我们将 else 代码设为 [[likely]] 或者这会在后台自动发生，就好像一侧很可能，而另一侧不是，这是否重要或有什么不同？ （虽然我希望如果一方不太可能，那么另一方（如果可能的话）很有可能。

1. 提出以下声明：

% 操作对于 cpu 来说是一个计算量很大的操作，所以让我们 尝试优化我们的代码。

虽然“优化”是指添加 if else 条件，但我使用 chrono 测试了代码，似乎在没有 if-else 的情况下执行时间快了 2-3 倍...

另外我不明白为什么 % 很重，它只是关于读取数字的底部位。

Answer 1

如果我们制作 else 代码 [[likely]] 或者这会在后台自动发生，就好像一侧很可能，而另一侧没有，这是否重要或有什么不同？

C++ 标准可能只是推荐的做法和示例。见[dcl.attr.likelihood]。因此，如何实际使用它们取决于实现。

虽然推荐的做法和示例暗示只需要一个标记，而观察到差异的编译器似乎也暗示了这一点。

另外我不明白为什么 % 很重，它只是读取数字的底部位。

仅适用于 2 的幂。但应该知道，在编译时是二的幂。对于已知的非 2 次幂常数 (Why does GCC use multiplication by a strange number in implementing integer division?)，还有一种方法可以降低此操作的成本。

对于运行时值来说，它很重，是除法。

由于不断传播，优化器可能知道某个值。然后应用优化。