用于比较任何无符号和有符号整数的 C++ 模板函数

Question

我想实现一个比较两种类型（T1 和 T2）的两个变量的模板函数。这些类型是两种随机无符号或有符号整数类型。

为了能够正确比较它们，我需要将它们都转换为“更大”的整数类型 (T3)。不幸的是，有符号/无符号比较的提升规则总是提升为无符号类型。

那么如何在 C++11/C++14/C++17 中找到一个类型 T3，它涵盖了两个整数类型 T1 和 T2，无论它们的大小和符号是什么？ 如果这不可能，是否有其他解决方案来构建基于模板的比较函数，该函数可以可靠地与任何整数组合一起工作？

Answer 1

您可以将比较分成几部分。首先检查一个数字是否为负数，另一个是否为正数。如果是这种情况，您知道它们的顺序。如果两者都不是负数（或两者都是负数），则进行正常比较。

这可以构建在一个模板函数中，该函数只检查有符号类型的负数。

Answer 2

我不确定我是否理解您的问题。你的意思是这样的吗：

#include <cstdint>
#include <type_traits>

template < typename P, typename Q >
auto
compare( P p, Q q ) {
  using T = typename std::common_type< P, Q >::type;
  T promoted_p{p};
  T promoted_q{q};

  if ( promoted_p < promoted_q ) {
    return -1;
  }
  else if ( promoted_p > promoted_q ) {
    return 1;
  }
  else {
    return 0;
  }
}

它会在安全的情况下工作，如果语言没有按照您的意愿工作，则 you can add your specializations。