26

In <cinttypes>, since C++11, there are the following two overloads:

std::intmax_t abs( std::intmax_t n );
std::intmax_t imaxabs( std::intmax_t n );

Why aren't those two functions constexpr?

13
  • 5
    @BasileStarynkevitch: Can you explain one of these compatibility reasons? Dec 30, 2014 at 16:14
  • 5
    @BasileStarynkevitch I don't buy that. Given a compatible compiler, a constexpr piece of code will work the same as it used, i.e. when passed in non-constexpr values it will return a non-constexpr. If it preferable to compatible to not make these functions constexpr (or alteast with constexpr overloads) then it would be preferable to not include move instructors for vector. Being that this uses namespaces (so is not C) and is a header provided only in C++11, I would like to see constexpr overlaods.
    – IdeaHat
    Dec 30, 2014 at 16:16
  • 7
    abs is a C99 function. And C99 has no idea of constexpr Dec 30, 2014 at 16:32
  • 19
    There are a lot of functions that could be constexpr and are not (yet). More functions will slowly become constexpr with each revision of the standard. Feel free to participate in that process (instructions on isocpp.org). Dec 30, 2014 at 16:40
  • 3
    abs is not constexpr because the standard decided so. I think this is the wrong place to ask why. What I can say is that if you really need a constexpr abs, write your own one. You can't go wrong.
    – edmz
    Dec 30, 2014 at 17:02

4 Answers 4

14

I can't give a good reason for why abs couldn't be constexpr and apparently neither can gcc. When I use gcc 4.9.2 with this program:

#include <cstdlib>
#include <cinttypes>
#include <cassert>

constexpr intmax_t abs3 = std::abs(3);
constexpr intmax_t absneg3 = std::abs(-3);
int main()
{
    assert(abs3 == absneg3);
}

it compiles and runs to completion with no warnings or errors. You can try it here. However, clang++ (version 3.5.0) throws a compile-time error:

abs.cpp:6:20: error: constexpr variable 'abs3' must be initialized by a constant expression.

I think that clang++ actually gets it right here, because in section 27.9.2 [c.files] of the 2011 standard, it says:

The contents of header are the same as the Standard C Library header , with the following changes:

— the header includes the header instead of , and

— if and only if the type intmax_t designates an extended integer type (3.9.1), the following function signatures are added:

intmax_t abs(intmax_t);

imaxdiv_t div(intmax_t, intmax_t);

which shall have the same semantics as the function signatures intmax_t imaxabs(intmax_t) and imaxdiv_t imaxdiv(intmax_t, intmax_t), respectively.

In the current working draft of the C++ standard, as in the published 2014 version, it says in section 17.6.5.6 [constexpr.functions]:

This standard explicitly requires that certain standard library functions are constexpr (7.1.5). An implementation shall not declare any standard library function signature as constexpr except for those where it is explicitly required.

So the result, for now, is that these functions are still not constexpr according to the standard (which you knew) but they could be, as demonstrated by the gcc compiler.

2
9

It has been proposed in P0533:

A function in <cmath> shall be declared constexpr if and only if:

  1. When taken to act on the set of rational numbers, the function is closed (excluding division by zero);
  2. The function does not modify any of its arguments which have external visibility;
  3. The function is not strongly dependent on the rounding mode.

By means of a brief illustration, abs satisfies all three criteria; however, functions such as exp, sqrt, cos, sin fall foul of the first criterion and so are excluded as constexpr candidates. Finally, as discussed above, nearbyint fails the final criterion.

2

The simple explanation is probably that nobody went through every function listed as part of the standard library, and updated the entry to make it constexpr.

Updating a standard is a process involving human effort to propose changes and get those proposals reviewed and accepted. And that means, when a new feature is added - and constexpr is a new feature - not everything else is automagically updated to use that feature. This particular case may well be updated in a future evolution of the standard - if some people take on the - often thankless - task of proposing the set of changes, some other people take on the task of reviewing it, and convincing those with voting power on the committee to accept it.

0

It is constexpr since C++23

long      abs( long n ); (2)    (constexpr since C++23)

https://en.cppreference.com/w/cpp/numeric/math/abs

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.