Difference between revisions of "cpp/numeric/math/atan2"
m (Minor fix.) |
Andreas Krug (Talk | contribs) m (., fmt) |
||
(4 intermediate revisions by 3 users not shown) | |||
Line 1: | Line 1: | ||
{{cpp/title|atan2|atan2f|atan2l}} | {{cpp/title|atan2|atan2f|atan2l}} | ||
{{cpp/numeric/math/navbar}} | {{cpp/numeric/math/navbar}} | ||
− | {{ | + | {{cpp/numeric/math/declarations |
− | + | |family=atan2 | |
− | + | |param1=y | |
− | + | |param2=x | |
− | + | |constexpr_since=26 | |
− | + | |desc=Computes the arc tangent of {{c|y / x}} using the signs of arguments to determine the correct quadrant. | |
− | | | + | |
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
− | + | ||
}} | }} | ||
Line 51: | Line 29: | ||
If the implementation supports IEEE floating-point arithmetic (IEC 60559), | If the implementation supports IEEE floating-point arithmetic (IEC 60559), | ||
− | * If {{c|x}} and {{c|y}} are both zero, domain error ''does not'' occur | + | * If {{c|x}} and {{c|y}} are both zero, domain error ''does not'' occur. |
− | * If {{c|x}} and {{c|y}} are both zero, range error does not occur either | + | * If {{c|x}} and {{c|y}} are both zero, range error does not occur either. |
− | * If {{c|y}} is zero, pole error does not occur | + | * If {{c|y}} is zero, pole error does not occur. |
− | * If {{c|y}} is ±0 and {{c|x}} is negative or -0, ±π is returned | + | * If {{c|y}} is ±0 and {{c|x}} is negative or -0, ±π is returned. |
− | * If {{c|y}} is ±0 and {{c|x}} is positive or +0, ±0 is returned | + | * If {{c|y}} is ±0 and {{c|x}} is positive or +0, ±0 is returned. |
− | * If {{c|y}} is ±∞ and {{c|x}} is finite, ±π/2 is returned | + | * If {{c|y}} is ±∞ and {{c|x}} is finite, ±π/2 is returned. |
− | * If {{c|y}} is ±∞ and {{c|x}} is -∞, ±3π/4 is returned | + | * If {{c|y}} is ±∞ and {{c|x}} is -∞, ±3π/4 is returned. |
− | * If {{c|y}} is ±∞ and {{c|x}} is +∞, ±π/4 is returned | + | * If {{c|y}} is ±∞ and {{c|x}} is +∞, ±π/4 is returned. |
− | * If {{c|x}} is ±0 and {{c|y}} is negative, -π/2 is returned | + | * If {{c|x}} is ±0 and {{c|y}} is negative, -π/2 is returned. |
− | * If {{c|x}} is ±0 and {{c|y}} is positive, +π/2 is returned | + | * If {{c|x}} is ±0 and {{c|y}} is positive, +π/2 is returned. |
− | * If {{c|x}} is -∞ and {{c|y}} is finite and positive, +π is returned | + | * If {{c|x}} is -∞ and {{c|y}} is finite and positive, +π is returned. |
− | * If {{c|x}} is -∞ and {{c|y}} is finite and negative, -π is returned | + | * If {{c|x}} is -∞ and {{c|y}} is finite and negative, -π is returned. |
− | * If {{c|x}} is +∞ and {{c|y}} is finite and positive, +0 is returned | + | * If {{c|x}} is +∞ and {{c|y}} is finite and positive, +0 is returned. |
− | * If {{c|x}} is +∞ and {{c|y}} is finite and negative, -0 is returned | + | * If {{c|x}} is +∞ and {{c|y}} is finite and negative, -0 is returned. |
− | * If either {{c|x}} is NaN or {{c|y}} is NaN, NaN is returned | + | * If either {{c|x}} is NaN or {{c|y}} is NaN, NaN is returned. |
===Notes=== | ===Notes=== | ||
− | {{c|std::atan2(y, x)}} is equivalent to {{c|std::arg(std::complex<std::common_type_t<decltype(x), decltype(y)>(x, y))}}. | + | {{c|std::atan2(y, x)}} is equivalent to {{c|std::arg(std::complex<std::common_type_t<decltype(x), decltype(y)>>(x, y))}}. |
− | [ | + | [https://pubs.opengroup.org/onlinepubs/9699919799/functions/atan2.html POSIX specifies] that in case of underflow, the value {{c|y / x}} is returned, and if that is not supported, an implementation-defined value no greater than {{lc|DBL_MIN}}, {{lc|FLT_MIN}}, and {{lc|LDBL_MIN}} is returned. |
{{cpp/numeric/math/additional overload note|atan2}} | {{cpp/numeric/math/additional overload note|atan2}} | ||
Line 76: | Line 54: | ||
===Example=== | ===Example=== | ||
{{example | {{example | ||
− | |||
|code= | |code= | ||
#include <cmath> | #include <cmath> | ||
Line 98: | Line 75: | ||
// special values | // special values | ||
− | std::cout << "atan2(0, 0) = " << atan2(0, 0) | + | std::cout << std::noshowpos |
− | << " atan2(0, -0) = " << atan2(0, -0.0) << '\n' | + | << "atan2(0, 0) = " << atan2(0, 0) << '\n' |
− | << "atan2(7, 0) = " << atan2(7, 0) | + | << "atan2(0,-0) = " << atan2(0, -0.0) << '\n' |
− | << " atan2(7, -0) = " << atan2(7, -0.0) << '\n'; | + | << "atan2(7, 0) = " << atan2(7, 0) << '\n' |
+ | << "atan2(7,-0) = " << atan2(7, -0.0) << '\n'; | ||
} | } | ||
|output= | |output= | ||
Line 108: | Line 86: | ||
(x:-1, y:-1) cartesian is (r:1.41421, phi:-2.35619) polar | (x:-1, y:-1) cartesian is (r:1.41421, phi:-2.35619) polar | ||
(x:+1, y:-1) cartesian is (r:1.41421, phi:-0.785398) polar | (x:+1, y:-1) cartesian is (r:1.41421, phi:-0.785398) polar | ||
− | atan2(0, 0) = 0 atan2(0,-0) = 3.14159 | + | atan2(0, 0) = 0 |
− | atan2(7, 0) = 1.5708 atan2(7,-0) = 1.5708 | + | atan2(0,-0) = 3.14159 |
+ | atan2(7, 0) = 1.5708 | ||
+ | atan2(7,-0) = 1.5708 | ||
}} | }} | ||
Latest revision as of 09:46, 15 October 2023
Defined in header <cmath>
|
||
(1) | ||
float atan2 ( float y, float x ); double atan2 ( double y, double x ); |
(until C++23) | |
/* floating-point-type */ atan2 ( /* floating-point-type */ y, |
(since C++23) (constexpr since C++26) |
|
float atan2f( float y, float x ); |
(2) | (since C++11) (constexpr since C++26) |
long double atan2l( long double y, long double x ); |
(3) | (since C++11) (constexpr since C++26) |
Additional overloads (since C++11) |
||
Defined in header <cmath>
|
||
template< class Integer > double atan2 ( Integer y, Integer x ); |
(A) | (constexpr since C++26) |
std::atan2
for all cv-unqualified floating-point types as the type of the parameters.(since C++23)
A) Additional overloads are provided for all integer types, which are treated as double.
|
(since C++11) |
Contents |
[edit] Parameters
y, x | - | floating-point or integer values |
[edit] Return value
If no errors occur, the arc tangent of y / x (arctan(y |
x |
If a domain error occurs, an implementation-defined value is returned (NaN where supported).
If a range error occurs due to underflow, the correct result (after rounding) is returned.
[edit] Error handling
Errors are reported as specified in math_errhandling.
Domain error may occur if x and y are both zero.
If the implementation supports IEEE floating-point arithmetic (IEC 60559),
- If x and y are both zero, domain error does not occur.
- If x and y are both zero, range error does not occur either.
- If y is zero, pole error does not occur.
- If y is ±0 and x is negative or -0, ±π is returned.
- If y is ±0 and x is positive or +0, ±0 is returned.
- If y is ±∞ and x is finite, ±π/2 is returned.
- If y is ±∞ and x is -∞, ±3π/4 is returned.
- If y is ±∞ and x is +∞, ±π/4 is returned.
- If x is ±0 and y is negative, -π/2 is returned.
- If x is ±0 and y is positive, +π/2 is returned.
- If x is -∞ and y is finite and positive, +π is returned.
- If x is -∞ and y is finite and negative, -π is returned.
- If x is +∞ and y is finite and positive, +0 is returned.
- If x is +∞ and y is finite and negative, -0 is returned.
- If either x is NaN or y is NaN, NaN is returned.
[edit] Notes
std::atan2(y, x) is equivalent to std::arg(std::complex<std::common_type_t<decltype(x), decltype(y)>>(x, y)).
POSIX specifies that in case of underflow, the value y / x is returned, and if that is not supported, an implementation-defined value no greater than DBL_MIN, FLT_MIN, and LDBL_MIN is returned.
The additional overloads are not required to be provided exactly as (A). They only need to be sufficient to ensure that for their first argument num1 and second argument num2:
|
(until C++23) |
If num1 and num2 have arithmetic types, then std::atan2(num1, num2) has the same effect as std::atan2(static_cast</* common-floating-point-type */>(num1), If no such floating-point type with the greatest rank and subrank exists, then overload resolution does not result in a usable candidate from the overloads provided. |
(since C++23) |
[edit] Example
#include <cmath> #include <iostream> void print_coordinates(int x, int y) { std::cout << std::showpos << "(x:" << x << ", y:" << y << ") cartesian is " << "(r:" << std::hypot(x, y) << ", phi:" << std::atan2(y, x) << ") polar\n"; } int main() { // normal usage: the signs of the two arguments determine the quadrant print_coordinates(+1, +1); // atan2( 1, 1) = +pi/4, Quad I print_coordinates(-1, +1); // atan2( 1, -1) = +3pi/4, Quad II print_coordinates(-1, -1); // atan2(-1, -1) = -3pi/4, Quad III print_coordinates(+1, -1); // atan2(-1, 1) = -pi/4, Quad IV // special values std::cout << std::noshowpos << "atan2(0, 0) = " << atan2(0, 0) << '\n' << "atan2(0,-0) = " << atan2(0, -0.0) << '\n' << "atan2(7, 0) = " << atan2(7, 0) << '\n' << "atan2(7,-0) = " << atan2(7, -0.0) << '\n'; }
Output:
(x:+1, y:+1) cartesian is (r:1.41421, phi:0.785398) polar (x:-1, y:+1) cartesian is (r:1.41421, phi:2.35619) polar (x:-1, y:-1) cartesian is (r:1.41421, phi:-2.35619) polar (x:+1, y:-1) cartesian is (r:1.41421, phi:-0.785398) polar atan2(0, 0) = 0 atan2(0,-0) = 3.14159 atan2(7, 0) = 1.5708 atan2(7,-0) = 1.5708
[edit] See also
(C++11)(C++11) |
computes arc sine (arcsin(x)) (function) |
(C++11)(C++11) |
computes arc cosine (arccos(x)) (function) |
(C++11)(C++11) |
computes arc tangent (arctan(x)) (function) |
returns the phase angle (function template) | |
applies the function std::atan2 to a valarray and a value (function template) | |
C documentation for atan2
|