将__builtin_expect委托给内联函数是否安全？

我正在研究一些定义的C ++代码

#define LIKELY(x)   (__builtin_expect((x), 1))

我想知道-为什么不使用内联函数？即为什么不

template  inline T likely(T x) { return __builtin_expect((x), 1); }

（或许

inline int likely(int x) { return __builtin_expect((x), 1); }

因为x应该是某些条件检查的结果）

宏和函数应该基本相同，对吗？但是后来我想知道：也许是因为__builtin_expect...在内联辅助函数中工作的不同吗？

即使我们都知道通常应避免使用宏，也应使用经过尝试和受信任的宏。这些inline功能根本不起作用。另外，尤其是在使用GCC的情况下，__builtin_expect完全不要使用实际配置数据中的配置文件引导的优化（PGO）。

的__builtin_expect是，它并没有真正“做”什么很特别的，而只是暗示朝哪个分支将最有可能采取的编译器。如果您在非分支条件的上下文中使用内置函数，则编译器将不得不将此信息与值一起传播。凭直觉，我原本希望发生这种情况。有趣的是，GCC和Clang的文档对此并不十分明确。但是，我的实验表明，Clang显然没有传播此信息。至于GCC，我仍然必须找到一个真正关注内置程序的程序，因此我无法确定。（或者换句话说，没关系。）

我已经测试了以下功能。

std::size_t
do_computation(std::vector& numbers,
               const int base_threshold,
               const int margin,
               std::mt19937& rndeng,
               std::size_t *const hitsptr)
{
  assert(base_threshold >= margin && base_threshold <= INT_MAX - margin);
  assert(margin > 0);
  benchmark::clobber_memory(numbers.data());
  const auto jitter = make_jitter(margin - 1, rndeng);
  const auto threshold = base_threshold + jitter;
  auto count = std::size_t {};
  for (auto& x : numbers)
    {
      if (LIKELY(x > threshold))
        {
          ++count;
        }
      else
        {
          x += (1 - (x & 2));
        }
    }
  benchmark::clobber_memory(numbers.data());
  // My benchmarking framework swallows the return value so this trick with
  // the pointer was needed to get out the result.  It should have no effect
  // on the measurement.
  if (hitsptr != nullptr)
    *hitsptr += count;
  return count;
}

int
make_jitter(const int margin, std::mt19937& rndeng)
{
  auto rnddist = std::uniform_int_distribution {-margin, margin};
  return rnddist(rndeng);
}

inline void
clobber_memory(void *const p) noexcept
{
  asm volatile ("" : : "rm"(p) : "memory");
}

// 1st version
#define LIKELY(X) static_cast(X)

// 2nd version
#define LIKELY(X) __builtin_expect(static_cast(X), true)

// 3rd version
inline bool
LIKELY(const bool x) noexcept
{
  return __builtin_expect(x, true);
}