flyinghearts — Fri, 30 Mar 2012 12:16:00 GMT

前几天在水母上看到的题：(x��)

正常的比�?assert(-1 < 1U) 是会(x��)��p�|的。因�?-1 �?x��)提升成无符��h��?br />写一个安全的比较函数�Q��?br />template
int SafeIntCompare(T1 i1, T2 i2);
如果 i1 真实�?< i2�Q�返�?-1
i1 真实�?== i2�Q�返�?nbsp; 0
i1 真实�?> i2�Q�返�?nbsp; 1

只有当两个类型一个是有符受��另一个是无符��h��Q�才需要特�D�处理�?br />对类型的�W�号判断�Q�可以直接判断该�c�d��?1是否�?��，也可以用标准库std::numeric_limits中的is_signed成员�?br />
��单的做法�Q?br />

template<typename T1, typename T2>
int SafeIntCompare(T1 v1, T2 v2)
{
  static const bool t1 = std::numeric_limits<T1>::is_signed;
  static const bool t2 = std::numeric_limits<T2>::is_signed;
  if (t1 != t2) {
    if (t1 && v1 < 0) return -1;
    if (t2 && v2 < 0) return 1;
  }
  if (v1 == v2) return 0;
  if (v1 < v2)  return -1;
  return 1;
}

但由于进行比较的两个数可能分别是�Q�有�W�号数和无符��h��Q�编译时�~�译器会(x��)�l�出大量的警告�?br />
     要避免有�W�号数和无符��h��的进行直接比较，��必��d��它们都�{为同一个类型T。这个类型的��定可以采用两种�Ҏ(gu��)��Q?br />
     1 比较原来两个�c�d��是否是有�W�号��C��?qi��ng)它们所占用的字节数�Q�来推断出应该将它们都�{为哪�U�类型T�Q�这是vc那个safeint的做法�?br />
   2 采用�q�个trick�Q�将�q�两个类型的敎ͼ�数可以取0�Q�直接相加，得到的结果的�c�d��是所求的。这是因为：(x��)两个数进行比较时�Q�采用的�c�d��转换规则和两个数相加时所采用的规则是一致的�?br />

�Ҏ(gu��)��后的代码

但上面的写法有一个问题：(x��)如果一�?short和一个unsigned char�q�行比较�Q�编译器都是转�ؓ(f��)int�q�行比较�Q�没有必要进行特�D�处理（上面的代码处理后�?x��)多一个与0的比较）(j��)。实际上�Q�如果两个类型都是�{为有�W�号�c�d��Q�可以直接进行比较�?/div>最�l�代码：(x��)

template<typename T>
struct IsSigned {
  static const bool value = T(-1) < T(0);
};

template<bool> struct Assert {};
template<> struct Assert<false>;

template<int> struct Type {};
typedef Type<0> TagNormal;
typedef Type<1> TagFirstArgIsSigned;
typedef Type<2> TagSecondArgIsSigned;

template<typename T1, typename T2, typename T3>
int SafeIntCompare(T1 v1, T2 v2, T3, TagNormal)
{
  if (v1  < v2) return -1;
  if (v1 == v2) return 0;
  return 1;
}

template<typename T1, typename T2, typename T3>
int SafeIntCompare(T1 v1, T2 v2, T3 v3, TagFirstArgIsSigned)
{
  if (v1 < 0) return -1;
  return SafeIntCompare(T3(v1), T3(v2), v3, TagNormal());
}

template<typename T1, typename T2, typename T3>
int SafeIntCompare(T1 v1, T2 v2, T3 v3, TagSecondArgIsSigned)
{
  if (v2 < 0) return 1;
  return SafeIntCompare(T3(v1), T3(v2), v3, TagNormal());
}

template<typename T1, typename T2, typename T3>
int SafeIntCompare(T1 v1, T2 v2, T3 v3)
{
  typedef std::numeric_limits<T1> M1;
  typedef std::numeric_limits<T2> M2;
  typedef std::numeric_limits<T3> M3;
  static const bool is_arg_valid = M1::is_integer & M2::is_integer;
  Assert<is_arg_valid>();
  static const int type_idx = M3::is_signed ? 0 : (M1::is_signed + M2::is_signed * 2) % 3;
  return SafeIntCompare(v1, v2, v3, Type<type_idx>());
}

template<typename T1, typename T2>
int SafeIntCompare(T1 v1, T2 v2)
{
  return SafeIntCompare(v1, v2, T1(0) + T2(0));
}

flyinghearts 2012-03-30 20:16 发表评论

国产一区二区三区丝袜,欧美午夜精品伦理,欧美日韩国产成人