Question

我正在查看tgmath.h，并尝试根据输入值的大小确切了解它是如何选择正确的函数的。

特殊酱似乎是这个__tg_promote宏，但是我越深入挖掘这个难题。有没有人对__tg_promote实际做什么有简短的答案？

Answer 1

在clang的tgmath.h实现中，__tg_promote实际上是函数，而不是宏。可以找到here的定义。

typedef void _Argument_type_is_not_arithmetic;
static _Argument_type_is_not_arithmetic __tg_promote(...)
  __attribute__((__unavailable__,__overloadable__));
static double               _TG_ATTRSp __tg_promote(int);
static double               _TG_ATTRSp __tg_promote(unsigned int);
static double               _TG_ATTRSp __tg_promote(long);
static double               _TG_ATTRSp __tg_promote(unsigned long);
static double               _TG_ATTRSp __tg_promote(long long);
static double               _TG_ATTRSp __tg_promote(unsigned long long);
static float                _TG_ATTRSp __tg_promote(float);
static double               _TG_ATTRSp __tg_promote(double);
static long double          _TG_ATTRSp __tg_promote(long double);
static float _Complex       _TG_ATTRSp __tg_promote(float _Complex);
static double _Complex      _TG_ATTRSp __tg_promote(double _Complex);
static long double _Complex _TG_ATTRSp __tg_promote(long double _Complex);

它是一个具有多个重载的函数（一般不允许在C中）并且没有定义，这很好，因为它实际上从未被调用过！ __tg_promote仅用于确定应将数字类型提升为的类型。（积分类型为double;浮点类型为自己。）当您查看下几个宏时，这一点很清楚：

#define __tg_promote1(__x)           (__typeof__(__tg_promote(__x)))
#define __tg_promote2(__x, __y)      (__typeof__(__tg_promote(__x) + \
                                                 __tg_promote(__y)))
#define __tg_promote3(__x, __y, __z) (__typeof__(__tg_promote(__x) + \
                                                 __tg_promote(__y) + \
                                                 __tg_promote(__z)))

__tg_promote函数未被调用，因为它出现在特定于编译器的__typeof__宏内。 __tg_promote1宏只是在括号内扩展为其参数的提升类型。 __tg_promote2扩展为类型（再次括号括起），如果添加了其参数的提升类型的两个值，则会导致该类型。例如，__tg_promote2(0.0f, 0)为(double)，因为添加float和double（促销int的结果）会产生double。 __tg_promote3类似。

标题的其余部分包含委托给相应普通C函数的函数的重载定义：

// atan2

static float
    _TG_ATTRS
    __tg_atan2(float __x, float __y) {return atan2f(__x, __y);}

static double
    _TG_ATTRS
    __tg_atan2(double __x, double __y) {return atan2(__x, __y);}

static long double
    _TG_ATTRS
    __tg_atan2(long double __x, long double __y) {return atan2l(__x, __y);}

为了能够拨打atan2(1.0f, 1)，我们需要能够委托给__tg_atan2(double, double)。这是__tg_promote2来确定当我们有一个float参数和一个int参数时，两者都应转换为double：

#define atan2(__x, __y) __tg_atan2(__tg_promote2((__x), (__y))(__x), \
                                   __tg_promote2((__x), (__y))(__y))

因此，在这种情况下，__tg_promote2((__x), (__y))会扩展为(double)，我们会得到__tg_atan2((double)(__x), (double)(__y))，这正是我们想要的。

__tg_promote在tgmath.h中做了什么

1 个答案: