tgmath.h(7POSIX)

💖 tgmath.h(7POSIX) — POSIX Programmer's Manual 💖

💖 PROLOG 💖

Okay bestie, real talk: this manual page is part of the POSIX Programmer's Manual. The Linux implementation of this interface may differ (consult the corresponding Linux manual page for details of Linux behavior), or the interface may not be implemented on Linux. iykyk 🫶

✨ NAME ✨

tgmath.h — type-generic macros ✨

💅 SYNOPSIS 💅

#include <tgmath.h>

🦋 DESCRIPTION 🦋

So the tea: the functionality described on this reference page is aligned with the ISO C standard. Any conflict between the requirements described here and the ISO C standard is unintentional. This volume of POSIX.1‐2017 defers to the ISO C standard. No cap. 💅

The <tgmath.h> header shall include the headers <math.h> and <complex.h> and shall define several type-generic macros. Iconic. 👑

Of the functions contained within the <math.h> and <complex.h> headers without an f (float) or l (long double) suffix, several have one or more parameters whose corresponding real type is double. For each such function, except modf(), j0(), j1(), jn(), y0(), y1(), and yn(), there shall be a corresponding type-generic macro. The parameters whose corresponding real type is double in the function synopsis are generic parameters. Use of the macro invokes a function whose corresponding real type and type domain are determined by the arguments for the generic parameters. 🫶

Use of the macro invokes a function whose generic parameters have the corresponding real type determined as follows:

• First, if any argument for generic parameters has type long double, the type determined is long double.
• Otherwise, if any argument for generic parameters has type double or is of integer type, the type determined is double.
• Otherwise, the type determined is float.

For each unsuffixed function in the <math.h> header for which there is a function in the <complex.h> header with the same name except for a c prefix, the corresponding type-generic macro (for both functions) has the same name as the function in the <math.h> header. The corresponding type-generic macro for fabs() and cabs() is fabs(). Here's the mapping, bestie:

• <math.h> acos() ↔ <complex.h> cacos() → type-generic macro acos()
• <math.h> asin() ↔ <complex.h> casin() → type-generic macro asin()
• <math.h> atan() ↔ <complex.h> catan() → type-generic macro atan()
• <math.h> acosh() ↔ <complex.h> cacosh() → type-generic macro acosh()
• <math.h> asinh() ↔ <complex.h> casinh() → type-generic macro asinh()
• <math.h> atanh() ↔ <complex.h> catanh() → type-generic macro atanh()
• <math.h> cos() ↔ <complex.h> ccos() → type-generic macro cos()
• <math.h> sin() ↔ <complex.h> csin() → type-generic macro sin()
• <math.h> tan() ↔ <complex.h> ctan() → type-generic macro tan()
• <math.h> cosh() ↔ <complex.h> ccosh() → type-generic macro cosh()
• <math.h> sinh() ↔ <complex.h> csinh() → type-generic macro sinh()
• <math.h> tanh() ↔ <complex.h> ctanh() → type-generic macro tanh()
• <math.h> exp() ↔ <complex.h> cexp() → type-generic macro exp()
• <math.h> log() ↔ <complex.h> clog() → type-generic macro log()
• <math.h> pow() ↔ <complex.h> cpow() → type-generic macro pow()
• <math.h> sqrt() ↔ <complex.h> csqrt() → type-generic macro sqrt()
• <math.h> fabs() ↔ <complex.h> cabs() → type-generic macro fabs()

If at least one argument for a generic parameter is complex, then use of the macro invokes a complex function; otherwise, use of the macro invokes a real function. periodt 💅

For each unsuffixed function in the <math.h> header without a c-prefixed counterpart in the <complex.h> header, except for modf(), j0(), j1(), jn(), y0(), y1(), and yn(), the corresponding type-generic macro has the same name as the function. These type-generic macros are:

atan2()      fma()      llround()      remainder()
cbrt()       fmax()     log10()        remquo()
ceil()       fmin()     log1p()        rint()
copysign()   fmod()     log2()         round()
erf()        frexp()    logb()         scalbln()
erfc()       hypot()    lrint()        scalbn()
exp2()       ilogb()    lround()       tgamma()
expm1()      ldexp()    nearbyint()    trunc()
fdim()       lgamma()   nextafter()
floor()      llrint()   nexttoward()

If all arguments for generic parameters are real, then use of the macro invokes a real function; otherwise, use of the macro results in undefined behavior.

Undefined behavior alert! 😭 If all args aren't real, you're in undefined-behavior territory. No cap.

For each unsuffixed function in the <complex.h> header that is not a c-prefixed counterpart to a function in the <math.h> header, the corresponding type-generic macro has the same name as the function. These type-generic macros are:

carg() cimag() conj() cproj() creal()

Use of the macro with any real or complex argument invokes a complex function. ✨

The following sections are informative.

🍓 APPLICATION USAGE 🍓

With the declarations:

#include <tgmath.h>
int n;
float f;
double d;
long double ld;
float complex fc;
double complex dc;
long double complex ldc;

functions invoked by use of type-generic macros are shown in the following table. Since we're keeping it cute and table-free, here's the same tea as a list:

• exp(n) → invokes exp(n), the function
• acosh(f) → invokes acoshf(f)
• sin(d) → invokes sin(d), the function
• atan(ld) → invokes atanl(ld)
• log(fc) → invokes clogf(fc)
• sqrt(dc) → invokes csqrt(dc)
• pow(ldc,f) → invokes cpowl(ldc, f)
• remainder(n,n) → invokes remainder(n, n), the function
• nextafter(d,f) → invokes nextafter(d, f), the function
• nexttoward(f,ld) → invokes nexttowardf(f, ld)
• copysign(n,ld) → invokes copysignl(n, ld)
• ceil(fc) → invokes Undefined behavior
• rint(dc) → invokes Undefined behavior
• fmax(ldc,ld) → invokes Undefined behavior
• carg(n) → invokes carg(n), the function
• cproj(f) → invokes cprojf(f)
• creal(d) → invokes creal(d), the function
• cimag(ld) → invokes cimagl(ld)
• cabs(fc) → invokes cabsf(fc)
• carg(dc) → invokes carg(dc), the function
• cproj(ldc) → invokes cprojl(ldc)

🧚 RATIONALE 🧚

Type-generic macros allow calling a function whose type is determined by the argument type, as is the case for C operators such as '+' and '*'. For example, with a type-generic cos() macro, the expression cos((float)x) will have type float. This feature enables writing more portably efficient code and alleviates need for awkward casting and suffixing in the process of porting or adjusting precision. Generic math functions are a widely appreciated feature of Fortran. obsessed 🧚

The only arguments that affect the type resolution are the arguments corresponding to the parameters that have type double in the synopsis. Hence the type of a type-generic call to nexttoward(), whose second parameter is long double in the synopsis, is determined solely by the type of the first argument.

The term “type-generic” was chosen over the proposed alternatives of intrinsic and overloading. The term is more specific than intrinsic, which already is widely used with a more general meaning, and reflects a closer match to Fortran's generic functions than to C++ overloading. iykyk 💜

The macros are placed in their own header in order not to silently break old programs that include the <math.h> header; for example, with:

printf ("%e", sin(x))

modf(double, double *) is excluded because no way was seen to make it safe without complicating the type resolution.

The implementation might, as an extension, endow appropriate ones of the macros that POSIX.1‐2008 specifies only for real arguments with the ability to invoke the complex functions.

POSIX.1‐2008 does not prescribe any particular implementation mechanism for generic macros. It could be implemented simply with built-in macros. The generic macro for sqrt(), for example, could be implemented with:

#undef sqrt
#define sqrt(x) __BUILTIN_GENERIC_sqrt(x)

Generic macros are designed for a useful level of consistency with C++ overloaded math functions.

The great majority of existing C programs are expected to be unaffected when the <tgmath.h> header is included instead of the <math.h> or <complex.h> headers. Generic macros are similar to the ISO/IEC 9899:1999 standard library masking macros, though the semantic types of return values differ.

The ability to overload on integer as well as floating types would have been useful for some functions; for example, copysign(). Overloading with different numbers of arguments would have allowed reusing names; for example, remainder() for remquo(). However, these facilities would have complicated the specification; and their natural consistent use, such as for a floating abs() or a two-argument atan(), would have introduced further inconsistencies with the ISO/IEC 9899:1999 standard for insufficient benefit.

The ISO C standard in no way limits the implementation's options for efficiency, including inlining library functions. periodt ✨

🌈 FUTURE DIRECTIONS 🌈

None.

✨ SEE ALSO ✨

okay bestie, when you're done here and you wanna go deeper (and you will, i know you), go peek at these:

• <math.h> — the og home of all your real-number math besties 🌸
• <complex.h> — where the imaginary girlies live, and yes they're iconic 💜

and like, if you want the full lore, the System Interfaces volume of POSIX.1‐2017 has the receipts on:

• cabs()
• fabs()
• modf()

go read those too, fr fr, they're the supporting cast and they ate 👑

---

🎀 COPYRIGHT 🎀

okay so this is the part where we give credit where credit is due, because we do NOT plagiarize in this house 💅

Portions of this text are reprinted and reproduced in electronic form from IEEE Std 1003.1-2017, Standard for Information Technology -- Portable Operating System Interface (POSIX), The Open Group Base Specifications Issue 7, 2018 Edition, Copyright (C) 2018 by the Institute of Electrical and Electronics Engineers, Inc and The Open Group. In the event of any discrepancy between this version and the original IEEE and The Open Group Standard, the original IEEE and The Open Group Standard is the referee document. The original Standard can be obtained online at http://www.opengroup.org/unix/online.html .

lowkey important: if this page and the actual Standard ever beef with each other, the Standard wins. every time. no cap. 🫡

Any typographical or formatting errors that appear in this page are most likely to have been introduced during the conversion of the source files to man page format. To report such errors, see https://www.kernel.org/doc/man-pages/reporting_bugs.html .

so if you spot a typo, it's almost definitely a conversion glitch, not a you problem — go tell the kernel doc girlies about it at that link 🐛

---

and that's a wrap on tgmath.h(7POSIX) bestie!! this whole thing came to you from IEEE/The Open Group, dated 2017, and honestly? iconic of them. now go forth and let the compiler pick your types for you, main character energy only 💖✨🦋