c++ - short int 上的 G++ abs() 似乎将其变成了 double？

Question

如果 std::abs(angle)，则以下代码无法编译存在。 angle 的类型在这种情况下是 short int .

template <class T>
typename T::storage_t::single_t FastSin(const typename T::storage_t::double_t &angle) {
  const int B = (sizeof(typename T::storage_t::single_t)*8) - 2;
  return (angle<<1) - ((angle*(std::abs(angle)))>>B);
}

仔细查看消息可以验证 angle实际上是 short int .但是，如果我正确读取错误，GCC 会将其转换为 double .

math.hpp: In function ‘typename T::storage_t::single_t FastSin(const typename T::storage_t::double_t&) [with T = Fixed<_t<signed char, short int> >, typename T::storage_t::single_t = signed char, typename T::storage_t::double_t = short int]’:
vector.hpp:106:30:   instantiated from ‘void Vector2<T>::FastRotate(const single_t&) [with T = Fixed<_t<signed char, short int> >, Vector2<T>::single_t = signed char]’
test.cpp:9:18:   instantiated from here
math.hpp:11:52: error: invalid operands of types ‘__gnu_cxx::__enable_if<true, double>::__type {aka double}’ and ‘const int’ to binary ‘operator>>’

这是怎么回事？连return (angle<<1) - ((angle*(std::abs<int>(angle)))>>B);做同样的事情。

我使用的是 gcc 4.6.1 版。唯一包含的外部 header 是 <cmath>和 <cstdint> .编译标志是 -std=c++0x -Wall .

Answer 1

abs() 不是模板，而是一组重载函数。根据标准，int、long、float、double、long double< 的重载 应该存在。但是 short 的重载不存在。但是由于从short到int的转换序列只是一种提升，从short到其他重载类型的转换序列都是转换，应选择 int 的重载。

但是在g++(对我来说是4.5.2版)中，cmath中添加了一个非标准模板:

template<typename _Tp>
inline typename __gnu_cxx::__enable_if<__is_integer<_Tp>::__value,
    double>::__type
abs(_Tp __x)
{ return __builtin_fabs(__x); }

此模板将采用除 int 和 long 之外的所有内置整数类型，并给出 double 的返回值。

事实上，使用 unsigned int 类型也会在 g++ 中产生此错误:

#include <cstdlib>
#include <cmath>
int main() {
    unsigned int i,j;
    i=0;
    j=std::abs(i)>>2;
    return 0;
}

将其显式转换为 int (std::abs((int)i);) 应该可以解决这个问题。