abs.md

abs

• cstdlib[meta header]
• std[meta namespace]
• function[meta id-type]

namespace std {
  int
    abs(int j);                 // (1) C++03
  constexpr int
    abs(int j);                 // (1) C++23

  long
    abs(long j);                // (2) C++03
  constexpr long
    abs(long j);                // (2) C++23

  long long
    abs(long long j);           // (3) C++11
  constexpr long long
    abs(long long j);           // (3) C++23

  float
    abs(float j);               // (4) C++03からC++20まで
  double
    abs(double j);              // (5) C++03からC++20まで
  long double
    abs(long double j);         // (6) C++03からC++20まで

  constexpr floating-point-type
    abs(floating-point-type j); // (7) C++23

  long
    labs(long j);               // (8) C++03
  constexpr long
    labs(long j);               // (8) C++23

  long long
    llabs(long long j);         // (9) C++11
  constexpr long long
    llabs(long long j);         // (9) C++23
}

概要

算術型の絶対値を求める。abs は absolute value（絶対値）の略。

• (1) : intに対するオーバーロード
• (2) : longに対するオーバーロード
• (3) : long longに対するオーバーロード
• (4) : floatに対するオーバーロード
• (5) : doubleに対するオーバーロード
• (6) : long doubleに対するオーバーロード
• (7) : 浮動小数点数型に対するオーバーロード
• (8) : long型規定
• (9) : long long型規定

戻り値

引数 j の絶対値を返す。

• (4), (5), (6), (7) : j が ±∞ だった場合 +∞ を返す。

備考

• (1), (2), (3), (8), (9) : 引数の絶対値が、戻り値の型で表現できない場合、未定義動作を引き起こす。
  • 一般的な2の補数表現のシステムにおいて、符号付き整数型の最小値（例:intにおけるINT_MIN）の絶対値は、表現できる最大値（INT_MAX）よりも1大きくなってしまうため、この未定義動作に該当する。
• パラメータの型Xにおいてis_unsigned_v<X>がtrueであり、Xが整数昇格によってintに変換できない場合、プログラムは不適格となる
  • Cとの互換性のため、intに昇格できる符号なし整数型は許可される
• C++23では、(4), (5), (6)が(7)に統合され、拡張浮動小数点数型を含む浮動小数点数型へのオーバーロードとして定義された

例

#include <iostream>
#include <cstdlib>

int main()
{
  int x = std::abs(-1);
  std::cout << x << std::endl;
}

• std::abs[color ff0000]

出力

1

備考

特定の環境では、早期に constexpr 対応されている場合がある：

• GCC 4.6.1 以上

関連項目

• abs - <cmath>
• fabs

参照

• P0533R9 constexpr for <cmath> and <cstdlib>
  • C++23での、一部関数のconstexpr対応
• P1467R9 Extended floating-point types and standard names
  • C++23で導入された拡張浮動小数点数型への対応として、float、double、long doubleのオーバーロードをfloating-point-typeのオーバーロードに統合し、拡張浮動小数点数型も扱えるようにした