1// The template and inlines for the -*- C++ -*- complex number classes. 2 3// Copyright (C) 1997-2021 Free Software Foundation, Inc. 4// 5// This file is part of the GNU ISO C++ Library. This library is free 6// software; you can redistribute it and/or modify it under the 7// terms of the GNU General Public License as published by the 8// Free Software Foundation; either version 3, or (at your option) 9// any later version. 10 11// This library is distributed in the hope that it will be useful, 12// but WITHOUT ANY WARRANTY; without even the implied warranty of 13// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14// GNU General Public License for more details. 15 16// Under Section 7 of GPL version 3, you are granted additional 17// permissions described in the GCC Runtime Library Exception, version 18// 3.1, as published by the Free Software Foundation. 19 20// You should have received a copy of the GNU General Public License and 21// a copy of the GCC Runtime Library Exception along with this program; 22// see the files COPYING3 and COPYING.RUNTIME respectively. If not, see 23// <http://www.gnu.org/licenses/>. 24 25/** @file include/complex 26 * This is a Standard C++ Library header. 27 */ 28 29// 30// ISO C++ 14882: 26.2 Complex Numbers 31// Note: this is not a conforming implementation. 32// Initially implemented by Ulrich Drepper <drepper@cygnus.com> 33// Improved by Gabriel Dos Reis <dosreis@cmla.ens-cachan.fr> 34// 35 36#ifndef _GLIBCXX_COMPLEX 37#define _GLIBCXX_COMPLEX 1 38 39#pragma GCC system_header 40 41#include <bits/c++config.h> 42#include <bits/cpp_type_traits.h> 43#include <ext/type_traits.h> 44#include <cmath> 45#include <sstream> 46 47// Get rid of a macro possibly defined in <complex.h> 48#undef complex 49 50#if __cplusplus > 201703L 51# define __cpp_lib_constexpr_complex 201711L 52#endif 53 54namespace std _GLIBCXX_VISIBILITY(default) 55{ 56_GLIBCXX_BEGIN_NAMESPACE_VERSION 57 58 /** 59 * @defgroup complex_numbers Complex Numbers 60 * @ingroup numerics 61 * 62 * Classes and functions for complex numbers. 63 * @{ 64 */ 65 66 // Forward declarations. 67 template<typename _Tp> class complex; 68 template<> class complex<float>; 69 template<> class complex<double>; 70 template<> class complex<long double>; 71 72 /// Return magnitude of @a z. 73 template<typename _Tp> _Tp abs(const complex<_Tp>&); 74 /// Return phase angle of @a z. 75 template<typename _Tp> _Tp arg(const complex<_Tp>&); 76 /// Return @a z magnitude squared. 77 template<typename _Tp> _Tp _GLIBCXX20_CONSTEXPR norm(const complex<_Tp>&); 78 79 /// Return complex conjugate of @a z. 80 template<typename _Tp> 81 _GLIBCXX20_CONSTEXPR complex<_Tp> conj(const complex<_Tp>&); 82 /// Return complex with magnitude @a rho and angle @a theta. 83 template<typename _Tp> complex<_Tp> polar(const _Tp&, const _Tp& = 0); 84 85 // Transcendentals: 86 /// Return complex cosine of @a z. 87 template<typename _Tp> complex<_Tp> cos(const complex<_Tp>&); 88 /// Return complex hyperbolic cosine of @a z. 89 template<typename _Tp> complex<_Tp> cosh(const complex<_Tp>&); 90 /// Return complex base e exponential of @a z. 91 template<typename _Tp> complex<_Tp> exp(const complex<_Tp>&); 92 /// Return complex natural logarithm of @a z. 93 template<typename _Tp> complex<_Tp> log(const complex<_Tp>&); 94 /// Return complex base 10 logarithm of @a z. 95 template<typename _Tp> complex<_Tp> log10(const complex<_Tp>&); 96 /// Return @a x to the @a y'th power. 97 template<typename _Tp> complex<_Tp> pow(const complex<_Tp>&, int); 98 /// Return @a x to the @a y'th power. 99 template<typename _Tp> complex<_Tp> pow(const complex<_Tp>&, const _Tp&); 100 /// Return @a x to the @a y'th power. 101 template<typename _Tp> complex<_Tp> pow(const complex<_Tp>&, 102 const complex<_Tp>&); 103 /// Return @a x to the @a y'th power. 104 template<typename _Tp> complex<_Tp> pow(const _Tp&, const complex<_Tp>&); 105 /// Return complex sine of @a z. 106 template<typename _Tp> complex<_Tp> sin(const complex<_Tp>&); 107 /// Return complex hyperbolic sine of @a z. 108 template<typename _Tp> complex<_Tp> sinh(const complex<_Tp>&); 109 /// Return complex square root of @a z. 110 template<typename _Tp> complex<_Tp> sqrt(const complex<_Tp>&); 111 /// Return complex tangent of @a z. 112 template<typename _Tp> complex<_Tp> tan(const complex<_Tp>&); 113 /// Return complex hyperbolic tangent of @a z. 114 template<typename _Tp> complex<_Tp> tanh(const complex<_Tp>&); 115 116 117 // 26.2.2 Primary template class complex 118 /** 119 * Template to represent complex numbers. 120 * 121 * Specializations for float, double, and long double are part of the 122 * library. Results with any other type are not guaranteed. 123 * 124 * @param Tp Type of real and imaginary values. 125 */ 126 template<typename _Tp> 127 class complex 128 { 129 public: 130 /// Value typedef. 131 typedef _Tp value_type; 132 133 /// Default constructor. First parameter is x, second parameter is y. 134 /// Unspecified parameters default to 0. 135 _GLIBCXX_CONSTEXPR complex(const _Tp& __r = _Tp(), const _Tp& __i = _Tp()) 136 : _M_real(__r), _M_imag(__i) { } 137 138 // Let the compiler synthesize the copy constructor 139#if __cplusplus >= 201103L 140 constexpr complex(const complex&) = default; 141#endif 142 143 /// Converting constructor. 144 template<typename _Up> 145 _GLIBCXX_CONSTEXPR complex(const complex<_Up>& __z) 146 : _M_real(__z.real()), _M_imag(__z.imag()) { } 147 148#if __cplusplus >= 201103L 149 // _GLIBCXX_RESOLVE_LIB_DEFECTS 150 // DR 387. std::complex over-encapsulated. 151 _GLIBCXX_ABI_TAG_CXX11 152 constexpr _Tp 153 real() const { return _M_real; } 154 155 _GLIBCXX_ABI_TAG_CXX11 156 constexpr _Tp 157 imag() const { return _M_imag; } 158#else 159 /// Return real part of complex number. 160 _Tp& 161 real() { return _M_real; } 162 163 /// Return real part of complex number. 164 const _Tp& 165 real() const { return _M_real; } 166 167 /// Return imaginary part of complex number. 168 _Tp& 169 imag() { return _M_imag; } 170 171 /// Return imaginary part of complex number. 172 const _Tp& 173 imag() const { return _M_imag; } 174#endif 175 176 // _GLIBCXX_RESOLVE_LIB_DEFECTS 177 // DR 387. std::complex over-encapsulated. 178 _GLIBCXX20_CONSTEXPR void 179 real(_Tp __val) { _M_real = __val; } 180 181 _GLIBCXX20_CONSTEXPR void 182 imag(_Tp __val) { _M_imag = __val; } 183 184 /// Assign a scalar to this complex number. 185 _GLIBCXX20_CONSTEXPR complex<_Tp>& operator=(const _Tp&); 186 187 /// Add a scalar to this complex number. 188 // 26.2.5/1 189 _GLIBCXX20_CONSTEXPR complex<_Tp>& 190 operator+=(const _Tp& __t) 191 { 192 _M_real += __t; 193 return *this; 194 } 195 196 /// Subtract a scalar from this complex number. 197 // 26.2.5/3 198 _GLIBCXX20_CONSTEXPR complex<_Tp>& 199 operator-=(const _Tp& __t) 200 { 201 _M_real -= __t; 202 return *this; 203 } 204 205 /// Multiply this complex number by a scalar. 206 _GLIBCXX20_CONSTEXPR complex<_Tp>& operator*=(const _Tp&); 207 /// Divide this complex number by a scalar. 208 _GLIBCXX20_CONSTEXPR complex<_Tp>& operator/=(const _Tp&); 209 210 // Let the compiler synthesize the copy assignment operator 211#if __cplusplus >= 201103L 212 _GLIBCXX20_CONSTEXPR complex& operator=(const complex&) = default; 213#endif 214 215 /// Assign another complex number to this one. 216 template<typename _Up> 217 _GLIBCXX20_CONSTEXPR complex<_Tp>& operator=(const complex<_Up>&); 218 /// Add another complex number to this one. 219 template<typename _Up> 220 _GLIBCXX20_CONSTEXPR complex<_Tp>& operator+=(const complex<_Up>&); 221 /// Subtract another complex number from this one. 222 template<typename _Up> 223 _GLIBCXX20_CONSTEXPR complex<_Tp>& operator-=(const complex<_Up>&); 224 /// Multiply this complex number by another. 225 template<typename _Up> 226 _GLIBCXX20_CONSTEXPR complex<_Tp>& operator*=(const complex<_Up>&); 227 /// Divide this complex number by another. 228 template<typename _Up> 229 _GLIBCXX20_CONSTEXPR complex<_Tp>& operator/=(const complex<_Up>&); 230 231 _GLIBCXX_CONSTEXPR complex __rep() const 232 { return *this; } 233 234 private: 235 _Tp _M_real; 236 _Tp _M_imag; 237 }; 238 239 template<typename _Tp> 240 _GLIBCXX20_CONSTEXPR complex<_Tp>& 241 complex<_Tp>::operator=(const _Tp& __t) 242 { 243 _M_real = __t; 244 _M_imag = _Tp(); 245 return *this; 246 } 247 248 // 26.2.5/5 249 template<typename _Tp> 250 _GLIBCXX20_CONSTEXPR complex<_Tp>& 251 complex<_Tp>::operator*=(const _Tp& __t) 252 { 253 _M_real *= __t; 254 _M_imag *= __t; 255 return *this; 256 } 257 258 // 26.2.5/7 259 template<typename _Tp> 260 _GLIBCXX20_CONSTEXPR complex<_Tp>& 261 complex<_Tp>::operator/=(const _Tp& __t) 262 { 263 _M_real /= __t; 264 _M_imag /= __t; 265 return *this; 266 } 267 268 template<typename _Tp> 269 template<typename _Up> 270 _GLIBCXX20_CONSTEXPR complex<_Tp>& 271 complex<_Tp>::operator=(const complex<_Up>& __z) 272 { 273 _M_real = __z.real(); 274 _M_imag = __z.imag(); 275 return *this; 276 } 277 278 // 26.2.5/9 279 template<typename _Tp> 280 template<typename _Up> 281 _GLIBCXX20_CONSTEXPR complex<_Tp>& 282 complex<_Tp>::operator+=(const complex<_Up>& __z) 283 { 284 _M_real += __z.real(); 285 _M_imag += __z.imag(); 286 return *this; 287 } 288 289 // 26.2.5/11 290 template<typename _Tp> 291 template<typename _Up> 292 _GLIBCXX20_CONSTEXPR complex<_Tp>& 293 complex<_Tp>::operator-=(const complex<_Up>& __z) 294 { 295 _M_real -= __z.real(); 296 _M_imag -= __z.imag(); 297 return *this; 298 } 299 300 // 26.2.5/13 301 // XXX: This is a grammar school implementation. 302 template<typename _Tp> 303 template<typename _Up> 304 _GLIBCXX20_CONSTEXPR complex<_Tp>& 305 complex<_Tp>::operator*=(const complex<_Up>& __z) 306 { 307 const _Tp __r = _M_real * __z.real() - _M_imag * __z.imag(); 308 _M_imag = _M_real * __z.imag() + _M_imag * __z.real(); 309 _M_real = __r; 310 return *this; 311 } 312 313 // 26.2.5/15 314 // XXX: This is a grammar school implementation. 315 template<typename _Tp> 316 template<typename _Up> 317 _GLIBCXX20_CONSTEXPR complex<_Tp>& 318 complex<_Tp>::operator/=(const complex<_Up>& __z) 319 { 320 const _Tp __r = _M_real * __z.real() + _M_imag * __z.imag(); 321 const _Tp __n = std::norm(__z); 322 _M_imag = (_M_imag * __z.real() - _M_real * __z.imag()) / __n; 323 _M_real = __r / __n; 324 return *this; 325 } 326 327 // Operators: 328 ///@{ 329 /// Return new complex value @a x plus @a y. 330 template<typename _Tp> 331 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 332 operator+(const complex<_Tp>& __x, const complex<_Tp>& __y) 333 { 334 complex<_Tp> __r = __x; 335 __r += __y; 336 return __r; 337 } 338 339 template<typename _Tp> 340 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 341 operator+(const complex<_Tp>& __x, const _Tp& __y) 342 { 343 complex<_Tp> __r = __x; 344 __r += __y; 345 return __r; 346 } 347 348 template<typename _Tp> 349 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 350 operator+(const _Tp& __x, const complex<_Tp>& __y) 351 { 352 complex<_Tp> __r = __y; 353 __r += __x; 354 return __r; 355 } 356 ///@} 357 358 ///@{ 359 /// Return new complex value @a x minus @a y. 360 template<typename _Tp> 361 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 362 operator-(const complex<_Tp>& __x, const complex<_Tp>& __y) 363 { 364 complex<_Tp> __r = __x; 365 __r -= __y; 366 return __r; 367 } 368 369 template<typename _Tp> 370 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 371 operator-(const complex<_Tp>& __x, const _Tp& __y) 372 { 373 complex<_Tp> __r = __x; 374 __r -= __y; 375 return __r; 376 } 377 378 template<typename _Tp> 379 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 380 operator-(const _Tp& __x, const complex<_Tp>& __y) 381 { 382 complex<_Tp> __r = -__y; 383 __r += __x; 384 return __r; 385 } 386 ///@} 387 388 ///@{ 389 /// Return new complex value @a x times @a y. 390 template<typename _Tp> 391 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 392 operator*(const complex<_Tp>& __x, const complex<_Tp>& __y) 393 { 394 complex<_Tp> __r = __x; 395 __r *= __y; 396 return __r; 397 } 398 399 template<typename _Tp> 400 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 401 operator*(const complex<_Tp>& __x, const _Tp& __y) 402 { 403 complex<_Tp> __r = __x; 404 __r *= __y; 405 return __r; 406 } 407 408 template<typename _Tp> 409 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 410 operator*(const _Tp& __x, const complex<_Tp>& __y) 411 { 412 complex<_Tp> __r = __y; 413 __r *= __x; 414 return __r; 415 } 416 ///@} 417 418 ///@{ 419 /// Return new complex value @a x divided by @a y. 420 template<typename _Tp> 421 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 422 operator/(const complex<_Tp>& __x, const complex<_Tp>& __y) 423 { 424 complex<_Tp> __r = __x; 425 __r /= __y; 426 return __r; 427 } 428 429 template<typename _Tp> 430 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 431 operator/(const complex<_Tp>& __x, const _Tp& __y) 432 { 433 complex<_Tp> __r = __x; 434 __r /= __y; 435 return __r; 436 } 437 438 template<typename _Tp> 439 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 440 operator/(const _Tp& __x, const complex<_Tp>& __y) 441 { 442 complex<_Tp> __r = __x; 443 __r /= __y; 444 return __r; 445 } 446 ///@} 447 448 /// Return @a x. 449 template<typename _Tp> 450 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 451 operator+(const complex<_Tp>& __x) 452 { return __x; } 453 454 /// Return complex negation of @a x. 455 template<typename _Tp> 456 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 457 operator-(const complex<_Tp>& __x) 458 { return complex<_Tp>(-__x.real(), -__x.imag()); } 459 460 ///@{ 461 /// Return true if @a x is equal to @a y. 462 template<typename _Tp> 463 inline _GLIBCXX_CONSTEXPR bool 464 operator==(const complex<_Tp>& __x, const complex<_Tp>& __y) 465 { return __x.real() == __y.real() && __x.imag() == __y.imag(); } 466 467 template<typename _Tp> 468 inline _GLIBCXX_CONSTEXPR bool 469 operator==(const complex<_Tp>& __x, const _Tp& __y) 470 { return __x.real() == __y && __x.imag() == _Tp(); } 471 472#if !(__cpp_impl_three_way_comparison >= 201907L) 473 template<typename _Tp> 474 inline _GLIBCXX_CONSTEXPR bool 475 operator==(const _Tp& __x, const complex<_Tp>& __y) 476 { return __x == __y.real() && _Tp() == __y.imag(); } 477 ///@} 478 479 ///@{ 480 /// Return false if @a x is equal to @a y. 481 template<typename _Tp> 482 inline _GLIBCXX_CONSTEXPR bool 483 operator!=(const complex<_Tp>& __x, const complex<_Tp>& __y) 484 { return __x.real() != __y.real() || __x.imag() != __y.imag(); } 485 486 template<typename _Tp> 487 inline _GLIBCXX_CONSTEXPR bool 488 operator!=(const complex<_Tp>& __x, const _Tp& __y) 489 { return __x.real() != __y || __x.imag() != _Tp(); } 490 491 template<typename _Tp> 492 inline _GLIBCXX_CONSTEXPR bool 493 operator!=(const _Tp& __x, const complex<_Tp>& __y) 494 { return __x != __y.real() || _Tp() != __y.imag(); } 495#endif 496 ///@} 497 498 /// Extraction operator for complex values. 499 template<typename _Tp, typename _CharT, class _Traits> 500 basic_istream<_CharT, _Traits>& 501 operator>>(basic_istream<_CharT, _Traits>& __is, complex<_Tp>& __x) 502 { 503 bool __fail = true; 504 _CharT __ch; 505 if (__is >> __ch) 506 { 507 if (_Traits::eq(__ch, __is.widen('('))) 508 { 509 _Tp __u; 510 if (__is >> __u >> __ch) 511 { 512 const _CharT __rparen = __is.widen(')'); 513 if (_Traits::eq(__ch, __rparen)) 514 { 515 __x = __u; 516 __fail = false; 517 } 518 else if (_Traits::eq(__ch, __is.widen(','))) 519 { 520 _Tp __v; 521 if (__is >> __v >> __ch) 522 { 523 if (_Traits::eq(__ch, __rparen)) 524 { 525 __x = complex<_Tp>(__u, __v); 526 __fail = false; 527 } 528 else 529 __is.putback(__ch); 530 } 531 } 532 else 533 __is.putback(__ch); 534 } 535 } 536 else 537 { 538 __is.putback(__ch); 539 _Tp __u; 540 if (__is >> __u) 541 { 542 __x = __u; 543 __fail = false; 544 } 545 } 546 } 547 if (__fail) 548 __is.setstate(ios_base::failbit); 549 return __is; 550 } 551 552 /// Insertion operator for complex values. 553 template<typename _Tp, typename _CharT, class _Traits> 554 basic_ostream<_CharT, _Traits>& 555 operator<<(basic_ostream<_CharT, _Traits>& __os, const complex<_Tp>& __x) 556 { 557 basic_ostringstream<_CharT, _Traits> __s; 558 __s.flags(__os.flags()); 559 __s.imbue(__os.getloc()); 560 __s.precision(__os.precision()); 561 __s << '(' << __x.real() << ',' << __x.imag() << ')'; 562 return __os << __s.str(); 563 } 564 565 // Values 566#if __cplusplus >= 201103L 567 template<typename _Tp> 568 constexpr _Tp 569 real(const complex<_Tp>& __z) 570 { return __z.real(); } 571 572 template<typename _Tp> 573 constexpr _Tp 574 imag(const complex<_Tp>& __z) 575 { return __z.imag(); } 576#else 577 template<typename _Tp> 578 inline _Tp& 579 real(complex<_Tp>& __z) 580 { return __z.real(); } 581 582 template<typename _Tp> 583 inline const _Tp& 584 real(const complex<_Tp>& __z) 585 { return __z.real(); } 586 587 template<typename _Tp> 588 inline _Tp& 589 imag(complex<_Tp>& __z) 590 { return __z.imag(); } 591 592 template<typename _Tp> 593 inline const _Tp& 594 imag(const complex<_Tp>& __z) 595 { return __z.imag(); } 596#endif 597 598 // 26.2.7/3 abs(__z): Returns the magnitude of __z. 599 template<typename _Tp> 600 inline _Tp 601 __complex_abs(const complex<_Tp>& __z) 602 { 603 _Tp __x = __z.real(); 604 _Tp __y = __z.imag(); 605 const _Tp __s = std::max(abs(__x), abs(__y)); 606 if (__s == _Tp()) // well ... 607 return __s; 608 __x /= __s; 609 __y /= __s; 610 return __s * sqrt(__x * __x + __y * __y); 611 } 612 613#if _GLIBCXX_USE_C99_COMPLEX 614 inline float 615 __complex_abs(__complex__ float __z) { return __builtin_cabsf(__z); } 616 617 inline double 618 __complex_abs(__complex__ double __z) { return __builtin_cabs(__z); } 619 620 inline long double 621 __complex_abs(const __complex__ long double& __z) 622 { return __builtin_cabsl(__z); } 623 624 template<typename _Tp> 625 inline _Tp 626 abs(const complex<_Tp>& __z) { return __complex_abs(__z.__rep()); } 627#else 628 template<typename _Tp> 629 inline _Tp 630 abs(const complex<_Tp>& __z) { return __complex_abs(__z); } 631#endif 632 633 634 // 26.2.7/4: arg(__z): Returns the phase angle of __z. 635 template<typename _Tp> 636 inline _Tp 637 __complex_arg(const complex<_Tp>& __z) 638 { return atan2(__z.imag(), __z.real()); } 639 640#if _GLIBCXX_USE_C99_COMPLEX 641 inline float 642 __complex_arg(__complex__ float __z) { return __builtin_cargf(__z); } 643 644 inline double 645 __complex_arg(__complex__ double __z) { return __builtin_carg(__z); } 646 647 inline long double 648 __complex_arg(const __complex__ long double& __z) 649 { return __builtin_cargl(__z); } 650 651 template<typename _Tp> 652 inline _Tp 653 arg(const complex<_Tp>& __z) { return __complex_arg(__z.__rep()); } 654#else 655 template<typename _Tp> 656 inline _Tp 657 arg(const complex<_Tp>& __z) { return __complex_arg(__z); } 658#endif 659 660 // 26.2.7/5: norm(__z) returns the squared magnitude of __z. 661 // As defined, norm() is -not- a norm is the common mathematical 662 // sense used in numerics. The helper class _Norm_helper<> tries to 663 // distinguish between builtin floating point and the rest, so as 664 // to deliver an answer as close as possible to the real value. 665 template<bool> 666 struct _Norm_helper 667 { 668 template<typename _Tp> 669 static inline _GLIBCXX20_CONSTEXPR _Tp _S_do_it(const complex<_Tp>& __z) 670 { 671 const _Tp __x = __z.real(); 672 const _Tp __y = __z.imag(); 673 return __x * __x + __y * __y; 674 } 675 }; 676 677 template<> 678 struct _Norm_helper<true> 679 { 680 template<typename _Tp> 681 static inline _GLIBCXX20_CONSTEXPR _Tp _S_do_it(const complex<_Tp>& __z) 682 { 683 //_Tp __res = std::abs(__z); 684 //return __res * __res; 685 const _Tp __x = __z.real(); 686 const _Tp __y = __z.imag(); 687 return __x * __x + __y * __y; 688 } 689 }; 690 691 template<typename _Tp> 692 inline _GLIBCXX20_CONSTEXPR _Tp 693 norm(const complex<_Tp>& __z) 694 { 695 return _Norm_helper<__is_floating<_Tp>::__value 696 && !_GLIBCXX_FAST_MATH>::_S_do_it(__z); 697 } 698 699 template<typename _Tp> 700 inline complex<_Tp> 701 polar(const _Tp& __rho, const _Tp& __theta) 702 { 703 __glibcxx_assert( __rho >= 0 ); 704 return complex<_Tp>(__rho * cos(__theta), __rho * sin(__theta)); 705 } 706 707 template<typename _Tp> 708 inline _GLIBCXX20_CONSTEXPR complex<_Tp> 709 conj(const complex<_Tp>& __z) 710 { return complex<_Tp>(__z.real(), -__z.imag()); } 711 712 // Transcendentals 713 714 // 26.2.8/1 cos(__z): Returns the cosine of __z. 715 template<typename _Tp> 716 inline complex<_Tp> 717 __complex_cos(const complex<_Tp>& __z) 718 { 719 const _Tp __x = __z.real(); 720 const _Tp __y = __z.imag(); 721 return complex<_Tp>(cos(__x) * cosh(__y), -sin(__x) * sinh(__y)); 722 } 723 724#if _GLIBCXX_USE_C99_COMPLEX 725 inline __complex__ float 726 __complex_cos(__complex__ float __z) { return __builtin_ccosf(__z); } 727 728 inline __complex__ double 729 __complex_cos(__complex__ double __z) { return __builtin_ccos(__z); } 730 731 inline __complex__ long double 732 __complex_cos(const __complex__ long double& __z) 733 { return __builtin_ccosl(__z); } 734 735 template<typename _Tp> 736 inline complex<_Tp> 737 cos(const complex<_Tp>& __z) { return __complex_cos(__z.__rep()); } 738#else 739 template<typename _Tp> 740 inline complex<_Tp> 741 cos(const complex<_Tp>& __z) { return __complex_cos(__z); } 742#endif 743 744 // 26.2.8/2 cosh(__z): Returns the hyperbolic cosine of __z. 745 template<typename _Tp> 746 inline complex<_Tp> 747 __complex_cosh(const complex<_Tp>& __z) 748 { 749 const _Tp __x = __z.real(); 750 const _Tp __y = __z.imag(); 751 return complex<_Tp>(cosh(__x) * cos(__y), sinh(__x) * sin(__y)); 752 } 753 754#if _GLIBCXX_USE_C99_COMPLEX 755 inline __complex__ float 756 __complex_cosh(__complex__ float __z) { return __builtin_ccoshf(__z); } 757 758 inline __complex__ double 759 __complex_cosh(__complex__ double __z) { return __builtin_ccosh(__z); } 760 761 inline __complex__ long double 762 __complex_cosh(const __complex__ long double& __z) 763 { return __builtin_ccoshl(__z); } 764 765 template<typename _Tp> 766 inline complex<_Tp> 767 cosh(const complex<_Tp>& __z) { return __complex_cosh(__z.__rep()); } 768#else 769 template<typename _Tp> 770 inline complex<_Tp> 771 cosh(const complex<_Tp>& __z) { return __complex_cosh(__z); } 772#endif 773 774 // 26.2.8/3 exp(__z): Returns the complex base e exponential of x 775 template<typename _Tp> 776 inline complex<_Tp> 777 __complex_exp(const complex<_Tp>& __z) 778 { return std::polar<_Tp>(exp(__z.real()), __z.imag()); } 779 780#if _GLIBCXX_USE_C99_COMPLEX 781 inline __complex__ float 782 __complex_exp(__complex__ float __z) { return __builtin_cexpf(__z); } 783 784 inline __complex__ double 785 __complex_exp(__complex__ double __z) { return __builtin_cexp(__z); } 786 787 inline __complex__ long double 788 __complex_exp(const __complex__ long double& __z) 789 { return __builtin_cexpl(__z); } 790 791 template<typename _Tp> 792 inline complex<_Tp> 793 exp(const complex<_Tp>& __z) { return __complex_exp(__z.__rep()); } 794#else 795 template<typename _Tp> 796 inline complex<_Tp> 797 exp(const complex<_Tp>& __z) { return __complex_exp(__z); } 798#endif 799 800 // 26.2.8/5 log(__z): Returns the natural complex logarithm of __z. 801 // The branch cut is along the negative axis. 802 template<typename _Tp> 803 inline complex<_Tp> 804 __complex_log(const complex<_Tp>& __z) 805 { return complex<_Tp>(log(std::abs(__z)), std::arg(__z)); } 806 807#if _GLIBCXX_USE_C99_COMPLEX 808 inline __complex__ float 809 __complex_log(__complex__ float __z) { return __builtin_clogf(__z); } 810 811 inline __complex__ double 812 __complex_log(__complex__ double __z) { return __builtin_clog(__z); } 813 814 inline __complex__ long double 815 __complex_log(const __complex__ long double& __z) 816 { return __builtin_clogl(__z); } 817 818 template<typename _Tp> 819 inline complex<_Tp> 820 log(const complex<_Tp>& __z) { return __complex_log(__z.__rep()); } 821#else 822 template<typename _Tp> 823 inline complex<_Tp> 824 log(const complex<_Tp>& __z) { return __complex_log(__z); } 825#endif 826 827 template<typename _Tp> 828 inline complex<_Tp> 829 log10(const complex<_Tp>& __z) 830 { return std::log(__z) / log(_Tp(10.0)); } 831 832 // 26.2.8/10 sin(__z): Returns the sine of __z. 833 template<typename _Tp> 834 inline complex<_Tp> 835 __complex_sin(const complex<_Tp>& __z) 836 { 837 const _Tp __x = __z.real(); 838 const _Tp __y = __z.imag(); 839 return complex<_Tp>(sin(__x) * cosh(__y), cos(__x) * sinh(__y)); 840 } 841 842#if _GLIBCXX_USE_C99_COMPLEX 843 inline __complex__ float 844 __complex_sin(__complex__ float __z) { return __builtin_csinf(__z); } 845 846 inline __complex__ double 847 __complex_sin(__complex__ double __z) { return __builtin_csin(__z); } 848 849 inline __complex__ long double 850 __complex_sin(const __complex__ long double& __z) 851 { return __builtin_csinl(__z); } 852 853 template<typename _Tp> 854 inline complex<_Tp> 855 sin(const complex<_Tp>& __z) { return __complex_sin(__z.__rep()); } 856#else 857 template<typename _Tp> 858 inline complex<_Tp> 859 sin(const complex<_Tp>& __z) { return __complex_sin(__z); } 860#endif 861 862 // 26.2.8/11 sinh(__z): Returns the hyperbolic sine of __z. 863 template<typename _Tp> 864 inline complex<_Tp> 865 __complex_sinh(const complex<_Tp>& __z) 866 { 867 const _Tp __x = __z.real(); 868 const _Tp __y = __z.imag(); 869 return complex<_Tp>(sinh(__x) * cos(__y), cosh(__x) * sin(__y)); 870 } 871 872#if _GLIBCXX_USE_C99_COMPLEX 873 inline __complex__ float 874 __complex_sinh(__complex__ float __z) { return __builtin_csinhf(__z); } 875 876 inline __complex__ double 877 __complex_sinh(__complex__ double __z) { return __builtin_csinh(__z); } 878 879 inline __complex__ long double 880 __complex_sinh(const __complex__ long double& __z) 881 { return __builtin_csinhl(__z); } 882 883 template<typename _Tp> 884 inline complex<_Tp> 885 sinh(const complex<_Tp>& __z) { return __complex_sinh(__z.__rep()); } 886#else 887 template<typename _Tp> 888 inline complex<_Tp> 889 sinh(const complex<_Tp>& __z) { return __complex_sinh(__z); } 890#endif 891 892 // 26.2.8/13 sqrt(__z): Returns the complex square root of __z. 893 // The branch cut is on the negative axis. 894 template<typename _Tp> 895 complex<_Tp> 896 __complex_sqrt(const complex<_Tp>& __z) 897 { 898 _Tp __x = __z.real(); 899 _Tp __y = __z.imag(); 900 901 if (__x == _Tp()) 902 { 903 _Tp __t = sqrt(abs(__y) / 2); 904 return complex<_Tp>(__t, __y < _Tp() ? -__t : __t); 905 } 906 else 907 { 908 _Tp __t = sqrt(2 * (std::abs(__z) + abs(__x))); 909 _Tp __u = __t / 2; 910 return __x > _Tp() 911 ? complex<_Tp>(__u, __y / __t) 912 : complex<_Tp>(abs(__y) / __t, __y < _Tp() ? -__u : __u); 913 } 914 } 915 916#if _GLIBCXX_USE_C99_COMPLEX 917 inline __complex__ float 918 __complex_sqrt(__complex__ float __z) { return __builtin_csqrtf(__z); } 919 920 inline __complex__ double 921 __complex_sqrt(__complex__ double __z) { return __builtin_csqrt(__z); } 922 923 inline __complex__ long double 924 __complex_sqrt(const __complex__ long double& __z) 925 { return __builtin_csqrtl(__z); } 926 927 template<typename _Tp> 928 inline complex<_Tp> 929 sqrt(const complex<_Tp>& __z) { return __complex_sqrt(__z.__rep()); } 930#else 931 template<typename _Tp> 932 inline complex<_Tp> 933 sqrt(const complex<_Tp>& __z) { return __complex_sqrt(__z); } 934#endif 935 936 // 26.2.8/14 tan(__z): Return the complex tangent of __z. 937 938 template<typename _Tp> 939 inline complex<_Tp> 940 __complex_tan(const complex<_Tp>& __z) 941 { return std::sin(__z) / std::cos(__z); } 942 943#if _GLIBCXX_USE_C99_COMPLEX 944 inline __complex__ float 945 __complex_tan(__complex__ float __z) { return __builtin_ctanf(__z); } 946 947 inline __complex__ double 948 __complex_tan(__complex__ double __z) { return __builtin_ctan(__z); } 949 950 inline __complex__ long double 951 __complex_tan(const __complex__ long double& __z) 952 { return __builtin_ctanl(__z); } 953 954 template<typename _Tp> 955 inline complex<_Tp> 956 tan(const complex<_Tp>& __z) { return __complex_tan(__z.__rep()); } 957#else 958 template<typename _Tp> 959 inline complex<_Tp> 960 tan(const complex<_Tp>& __z) { return __complex_tan(__z); } 961#endif 962 963 964 // 26.2.8/15 tanh(__z): Returns the hyperbolic tangent of __z. 965 966 template<typename _Tp> 967 inline complex<_Tp> 968 __complex_tanh(const complex<_Tp>& __z) 969 { return std::sinh(__z) / std::cosh(__z); } 970 971#if _GLIBCXX_USE_C99_COMPLEX 972 inline __complex__ float 973 __complex_tanh(__complex__ float __z) { return __builtin_ctanhf(__z); } 974 975 inline __complex__ double 976 __complex_tanh(__complex__ double __z) { return __builtin_ctanh(__z); } 977 978 inline __complex__ long double 979 __complex_tanh(const __complex__ long double& __z) 980 { return __builtin_ctanhl(__z); } 981 982 template<typename _Tp> 983 inline complex<_Tp> 984 tanh(const complex<_Tp>& __z) { return __complex_tanh(__z.__rep()); } 985#else 986 template<typename _Tp> 987 inline complex<_Tp> 988 tanh(const complex<_Tp>& __z) { return __complex_tanh(__z); } 989#endif 990 991 992 // 26.2.8/9 pow(__x, __y): Returns the complex power base of __x 993 // raised to the __y-th power. The branch 994 // cut is on the negative axis. 995 template<typename _Tp> 996 complex<_Tp> 997 __complex_pow_unsigned(complex<_Tp> __x, unsigned __n) 998 { 999 complex<_Tp> __y = __n % 2 ? __x : complex<_Tp>(1); 1000 1001 while (__n >>= 1) 1002 { 1003 __x *= __x; 1004 if (__n % 2) 1005 __y *= __x; 1006 } 1007 1008 return __y; 1009 } 1010 1011 // In C++11 mode we used to implement the resolution of 1012 // DR 844. complex pow return type is ambiguous. 1013 // thus the following overload was disabled in that mode. However, doing 1014 // that causes all sorts of issues, see, for example: 1015 // http://gcc.gnu.org/ml/libstdc++/2013-01/msg00058.html 1016 // and also PR57974. 1017 template<typename _Tp> 1018 inline complex<_Tp> 1019 pow(const complex<_Tp>& __z, int __n) 1020 { 1021 return __n < 0 1022 ? complex<_Tp>(1) / std::__complex_pow_unsigned(__z, -(unsigned)__n) 1023 : std::__complex_pow_unsigned(__z, __n); 1024 } 1025 1026 template<typename _Tp> 1027 complex<_Tp> 1028 pow(const complex<_Tp>& __x, const _Tp& __y) 1029 { 1030#if ! _GLIBCXX_USE_C99_COMPLEX 1031 if (__x == _Tp()) 1032 return _Tp(); 1033#endif 1034 if (__x.imag() == _Tp() && __x.real() > _Tp()) 1035 return pow(__x.real(), __y); 1036 1037 complex<_Tp> __t = std::log(__x); 1038 return std::polar<_Tp>(exp(__y * __t.real()), __y * __t.imag()); 1039 } 1040 1041 template<typename _Tp> 1042 inline complex<_Tp> 1043 __complex_pow(const complex<_Tp>& __x, const complex<_Tp>& __y) 1044 { return __x == _Tp() ? _Tp() : std::exp(__y * std::log(__x)); } 1045 1046#if _GLIBCXX_USE_C99_COMPLEX 1047 inline __complex__ float 1048 __complex_pow(__complex__ float __x, __complex__ float __y) 1049 { return __builtin_cpowf(__x, __y); } 1050 1051 inline __complex__ double 1052 __complex_pow(__complex__ double __x, __complex__ double __y) 1053 { return __builtin_cpow(__x, __y); } 1054 1055 inline __complex__ long double 1056 __complex_pow(const __complex__ long double& __x, 1057 const __complex__ long double& __y) 1058 { return __builtin_cpowl(__x, __y); } 1059 1060 template<typename _Tp> 1061 inline complex<_Tp> 1062 pow(const complex<_Tp>& __x, const complex<_Tp>& __y) 1063 { return __complex_pow(__x.__rep(), __y.__rep()); } 1064#else 1065 template<typename _Tp> 1066 inline complex<_Tp> 1067 pow(const complex<_Tp>& __x, const complex<_Tp>& __y) 1068 { return __complex_pow(__x, __y); } 1069#endif 1070 1071 template<typename _Tp> 1072 inline complex<_Tp> 1073 pow(const _Tp& __x, const complex<_Tp>& __y) 1074 { 1075 return __x > _Tp() ? std::polar<_Tp>(pow(__x, __y.real()), 1076 __y.imag() * log(__x)) 1077 : std::pow(complex<_Tp>(__x), __y); 1078 } 1079 1080 /// 26.2.3 complex specializations 1081 /// complex<float> specialization 1082 template<> 1083 class complex<float> 1084 { 1085 public: 1086 typedef float value_type; 1087 typedef __complex__ float _ComplexT; 1088 1089 _GLIBCXX_CONSTEXPR complex(_ComplexT __z) : _M_value(__z) { } 1090 1091 _GLIBCXX_CONSTEXPR complex(float __r = 0.0f, float __i = 0.0f) 1092#if __cplusplus >= 201103L 1093 : _M_value{ __r, __i } { } 1094#else 1095 { 1096 __real__ _M_value = __r; 1097 __imag__ _M_value = __i; 1098 } 1099#endif 1100 1101 explicit _GLIBCXX_CONSTEXPR complex(const complex<double>&); 1102 explicit _GLIBCXX_CONSTEXPR complex(const complex<long double>&); 1103 1104#if __cplusplus >= 201103L 1105 // _GLIBCXX_RESOLVE_LIB_DEFECTS 1106 // DR 387. std::complex over-encapsulated. 1107 __attribute ((__abi_tag__ ("cxx11"))) 1108 constexpr float 1109 real() const { return __real__ _M_value; } 1110 1111 __attribute ((__abi_tag__ ("cxx11"))) 1112 constexpr float 1113 imag() const { return __imag__ _M_value; } 1114#else 1115 float& 1116 real() { return __real__ _M_value; } 1117 1118 const float& 1119 real() const { return __real__ _M_value; } 1120 1121 float& 1122 imag() { return __imag__ _M_value; } 1123 1124 const float& 1125 imag() const { return __imag__ _M_value; } 1126#endif 1127 1128 // _GLIBCXX_RESOLVE_LIB_DEFECTS 1129 // DR 387. std::complex over-encapsulated. 1130 _GLIBCXX20_CONSTEXPR void 1131 real(float __val) { __real__ _M_value = __val; } 1132 1133 _GLIBCXX20_CONSTEXPR void 1134 imag(float __val) { __imag__ _M_value = __val; } 1135 1136 _GLIBCXX20_CONSTEXPR complex& 1137 operator=(float __f) 1138 { 1139 _M_value = __f; 1140 return *this; 1141 } 1142 1143 _GLIBCXX20_CONSTEXPR complex& 1144 operator+=(float __f) 1145 { 1146 _M_value += __f; 1147 return *this; 1148 } 1149 1150 _GLIBCXX20_CONSTEXPR complex& 1151 operator-=(float __f) 1152 { 1153 _M_value -= __f; 1154 return *this; 1155 } 1156 1157 _GLIBCXX20_CONSTEXPR complex& 1158 operator*=(float __f) 1159 { 1160 _M_value *= __f; 1161 return *this; 1162 } 1163 1164 _GLIBCXX20_CONSTEXPR complex& 1165 operator/=(float __f) 1166 { 1167 _M_value /= __f; 1168 return *this; 1169 } 1170 1171 // Let the compiler synthesize the copy and assignment 1172 // operator. It always does a pretty good job. 1173#if __cplusplus >= 201103L 1174 _GLIBCXX14_CONSTEXPR complex& operator=(const complex&) = default; 1175#endif 1176 1177 template<typename _Tp> 1178 _GLIBCXX20_CONSTEXPR complex& 1179 operator=(const complex<_Tp>& __z) 1180 { 1181 __real__ _M_value = __z.real(); 1182 __imag__ _M_value = __z.imag(); 1183 return *this; 1184 } 1185 1186 template<typename _Tp> 1187 _GLIBCXX20_CONSTEXPR complex& 1188 operator+=(const complex<_Tp>& __z) 1189 { 1190 _M_value += __z.__rep(); 1191 return *this; 1192 } 1193 1194 template<class _Tp> 1195 _GLIBCXX20_CONSTEXPR complex& 1196 operator-=(const complex<_Tp>& __z) 1197 { 1198 _M_value -= __z.__rep(); 1199 return *this; 1200 } 1201 1202 template<class _Tp> 1203 _GLIBCXX20_CONSTEXPR complex& 1204 operator*=(const complex<_Tp>& __z) 1205 { 1206 const _ComplexT __t = __z.__rep(); 1207 _M_value *= __t; 1208 return *this; 1209 } 1210 1211 template<class _Tp> 1212 _GLIBCXX20_CONSTEXPR complex& 1213 operator/=(const complex<_Tp>& __z) 1214 { 1215 const _ComplexT __t = __z.__rep(); 1216 _M_value /= __t; 1217 return *this; 1218 } 1219 1220 _GLIBCXX_CONSTEXPR _ComplexT __rep() const { return _M_value; } 1221 1222 private: 1223 _ComplexT _M_value; 1224 }; 1225 1226 /// 26.2.3 complex specializations 1227 /// complex<double> specialization 1228 template<> 1229 class complex<double> 1230 { 1231 public: 1232 typedef double value_type; 1233 typedef __complex__ double _ComplexT; 1234 1235 _GLIBCXX_CONSTEXPR complex(_ComplexT __z) : _M_value(__z) { } 1236 1237 _GLIBCXX_CONSTEXPR complex(double __r = 0.0, double __i = 0.0) 1238#if __cplusplus >= 201103L 1239 : _M_value{ __r, __i } { } 1240#else 1241 { 1242 __real__ _M_value = __r; 1243 __imag__ _M_value = __i; 1244 } 1245#endif 1246 1247 _GLIBCXX_CONSTEXPR complex(const complex<float>& __z) 1248 : _M_value(__z.__rep()) { } 1249 1250 explicit _GLIBCXX_CONSTEXPR complex(const complex<long double>&); 1251 1252#if __cplusplus >= 201103L 1253 // _GLIBCXX_RESOLVE_LIB_DEFECTS 1254 // DR 387. std::complex over-encapsulated. 1255 __attribute ((__abi_tag__ ("cxx11"))) 1256 constexpr double 1257 real() const { return __real__ _M_value; } 1258 1259 __attribute ((__abi_tag__ ("cxx11"))) 1260 constexpr double 1261 imag() const { return __imag__ _M_value; } 1262#else 1263 double& 1264 real() { return __real__ _M_value; } 1265 1266 const double& 1267 real() const { return __real__ _M_value; } 1268 1269 double& 1270 imag() { return __imag__ _M_value; } 1271 1272 const double& 1273 imag() const { return __imag__ _M_value; } 1274#endif 1275 1276 // _GLIBCXX_RESOLVE_LIB_DEFECTS 1277 // DR 387. std::complex over-encapsulated. 1278 _GLIBCXX20_CONSTEXPR void 1279 real(double __val) { __real__ _M_value = __val; } 1280 1281 _GLIBCXX20_CONSTEXPR void 1282 imag(double __val) { __imag__ _M_value = __val; } 1283 1284 _GLIBCXX20_CONSTEXPR complex& 1285 operator=(double __d) 1286 { 1287 _M_value = __d; 1288 return *this; 1289 } 1290 1291 _GLIBCXX20_CONSTEXPR complex& 1292 operator+=(double __d) 1293 { 1294 _M_value += __d; 1295 return *this; 1296 } 1297 1298 _GLIBCXX20_CONSTEXPR complex& 1299 operator-=(double __d) 1300 { 1301 _M_value -= __d; 1302 return *this; 1303 } 1304 1305 _GLIBCXX20_CONSTEXPR complex& 1306 operator*=(double __d) 1307 { 1308 _M_value *= __d; 1309 return *this; 1310 } 1311 1312 _GLIBCXX20_CONSTEXPR complex& 1313 operator/=(double __d) 1314 { 1315 _M_value /= __d; 1316 return *this; 1317 } 1318 1319 // The compiler will synthesize this, efficiently. 1320#if __cplusplus >= 201103L 1321 _GLIBCXX14_CONSTEXPR complex& operator=(const complex&) = default; 1322#endif 1323 1324 template<typename _Tp> 1325 _GLIBCXX20_CONSTEXPR complex& 1326 operator=(const complex<_Tp>& __z) 1327 { 1328 _M_value = __z.__rep(); 1329 return *this; 1330 } 1331 1332 template<typename _Tp> 1333 _GLIBCXX20_CONSTEXPR complex& 1334 operator+=(const complex<_Tp>& __z) 1335 { 1336 _M_value += __z.__rep(); 1337 return *this; 1338 } 1339 1340 template<typename _Tp> 1341 _GLIBCXX20_CONSTEXPR complex& 1342 operator-=(const complex<_Tp>& __z) 1343 { 1344 _M_value -= __z.__rep(); 1345 return *this; 1346 } 1347 1348 template<typename _Tp> 1349 _GLIBCXX20_CONSTEXPR complex& 1350 operator*=(const complex<_Tp>& __z) 1351 { 1352 const _ComplexT __t = __z.__rep(); 1353 _M_value *= __t; 1354 return *this; 1355 } 1356 1357 template<typename _Tp> 1358 _GLIBCXX20_CONSTEXPR complex& 1359 operator/=(const complex<_Tp>& __z) 1360 { 1361 const _ComplexT __t = __z.__rep(); 1362 _M_value /= __t; 1363 return *this; 1364 } 1365 1366 _GLIBCXX_CONSTEXPR _ComplexT __rep() const { return _M_value; } 1367 1368 private: 1369 _ComplexT _M_value; 1370 }; 1371 1372 /// 26.2.3 complex specializations 1373 /// complex<long double> specialization 1374 template<> 1375 class complex<long double> 1376 { 1377 public: 1378 typedef long double value_type; 1379 typedef __complex__ long double _ComplexT; 1380 1381 _GLIBCXX_CONSTEXPR complex(_ComplexT __z) : _M_value(__z) { } 1382 1383 _GLIBCXX_CONSTEXPR complex(long double __r = 0.0L, 1384 long double __i = 0.0L) 1385#if __cplusplus >= 201103L 1386 : _M_value{ __r, __i } { } 1387#else 1388 { 1389 __real__ _M_value = __r; 1390 __imag__ _M_value = __i; 1391 } 1392#endif 1393 1394 _GLIBCXX_CONSTEXPR complex(const complex<float>& __z) 1395 : _M_value(__z.__rep()) { } 1396 1397 _GLIBCXX_CONSTEXPR complex(const complex<double>& __z) 1398 : _M_value(__z.__rep()) { } 1399 1400#if __cplusplus >= 201103L 1401 // _GLIBCXX_RESOLVE_LIB_DEFECTS 1402 // DR 387. std::complex over-encapsulated. 1403 __attribute ((__abi_tag__ ("cxx11"))) 1404 constexpr long double 1405 real() const { return __real__ _M_value; } 1406 1407 __attribute ((__abi_tag__ ("cxx11"))) 1408 constexpr long double 1409 imag() const { return __imag__ _M_value; } 1410#else 1411 long double& 1412 real() { return __real__ _M_value; } 1413 1414 const long double& 1415 real() const { return __real__ _M_value; } 1416 1417 long double& 1418 imag() { return __imag__ _M_value; } 1419 1420 const long double& 1421 imag() const { return __imag__ _M_value; } 1422#endif 1423 1424 // _GLIBCXX_RESOLVE_LIB_DEFECTS 1425 // DR 387. std::complex over-encapsulated. 1426 _GLIBCXX20_CONSTEXPR void 1427 real(long double __val) { __real__ _M_value = __val; } 1428 1429 _GLIBCXX20_CONSTEXPR void 1430 imag(long double __val) { __imag__ _M_value = __val; } 1431 1432 _GLIBCXX20_CONSTEXPR complex& 1433 operator=(long double __r) 1434 { 1435 _M_value = __r; 1436 return *this; 1437 } 1438 1439 _GLIBCXX20_CONSTEXPR complex& 1440 operator+=(long double __r) 1441 { 1442 _M_value += __r; 1443 return *this; 1444 } 1445 1446 _GLIBCXX20_CONSTEXPR complex& 1447 operator-=(long double __r) 1448 { 1449 _M_value -= __r; 1450 return *this; 1451 } 1452 1453 _GLIBCXX20_CONSTEXPR complex& 1454 operator*=(long double __r) 1455 { 1456 _M_value *= __r; 1457 return *this; 1458 } 1459 1460 _GLIBCXX20_CONSTEXPR complex& 1461 operator/=(long double __r) 1462 { 1463 _M_value /= __r; 1464 return *this; 1465 } 1466 1467 // The compiler knows how to do this efficiently 1468#if __cplusplus >= 201103L 1469 _GLIBCXX14_CONSTEXPR complex& operator=(const complex&) = default; 1470#endif 1471 1472 template<typename _Tp> 1473 _GLIBCXX20_CONSTEXPR complex& 1474 operator=(const complex<_Tp>& __z) 1475 { 1476 _M_value = __z.__rep(); 1477 return *this; 1478 } 1479 1480 template<typename _Tp> 1481 _GLIBCXX20_CONSTEXPR complex& 1482 operator+=(const complex<_Tp>& __z) 1483 { 1484 _M_value += __z.__rep(); 1485 return *this; 1486 } 1487 1488 template<typename _Tp> 1489 _GLIBCXX20_CONSTEXPR complex& 1490 operator-=(const complex<_Tp>& __z) 1491 { 1492 _M_value -= __z.__rep(); 1493 return *this; 1494 } 1495 1496 template<typename _Tp> 1497 _GLIBCXX20_CONSTEXPR complex& 1498 operator*=(const complex<_Tp>& __z) 1499 { 1500 const _ComplexT __t = __z.__rep(); 1501 _M_value *= __t; 1502 return *this; 1503 } 1504 1505 template<typename _Tp> 1506 _GLIBCXX20_CONSTEXPR complex& 1507 operator/=(const complex<_Tp>& __z) 1508 { 1509 const _ComplexT __t = __z.__rep(); 1510 _M_value /= __t; 1511 return *this; 1512 } 1513 1514 _GLIBCXX_CONSTEXPR _ComplexT __rep() const { return _M_value; } 1515 1516 private: 1517 _ComplexT _M_value; 1518 }; 1519 1520 // These bits have to be at the end of this file, so that the 1521 // specializations have all been defined. 1522 inline _GLIBCXX_CONSTEXPR 1523 complex<float>::complex(const complex<double>& __z) 1524 : _M_value(__z.__rep()) { } 1525 1526 inline _GLIBCXX_CONSTEXPR 1527 complex<float>::complex(const complex<long double>& __z) 1528 : _M_value(__z.__rep()) { } 1529 1530 inline _GLIBCXX_CONSTEXPR 1531 complex<double>::complex(const complex<long double>& __z) 1532 : _M_value(__z.__rep()) { } 1533 1534 // Inhibit implicit instantiations for required instantiations, 1535 // which are defined via explicit instantiations elsewhere. 1536 // NB: This syntax is a GNU extension. 1537#if _GLIBCXX_EXTERN_TEMPLATE 1538 extern template istream& operator>>(istream&, complex<float>&); 1539 extern template ostream& operator<<(ostream&, const complex<float>&); 1540 extern template istream& operator>>(istream&, complex<double>&); 1541 extern template ostream& operator<<(ostream&, const complex<double>&); 1542 extern template istream& operator>>(istream&, complex<long double>&); 1543 extern template ostream& operator<<(ostream&, const complex<long double>&); 1544 1545#ifdef _GLIBCXX_USE_WCHAR_T 1546 extern template wistream& operator>>(wistream&, complex<float>&); 1547 extern template wostream& operator<<(wostream&, const complex<float>&); 1548 extern template wistream& operator>>(wistream&, complex<double>&); 1549 extern template wostream& operator<<(wostream&, const complex<double>&); 1550 extern template wistream& operator>>(wistream&, complex<long double>&); 1551 extern template wostream& operator<<(wostream&, const complex<long double>&); 1552#endif 1553#endif 1554 1555 /// @} group complex_numbers 1556 1557_GLIBCXX_END_NAMESPACE_VERSION 1558} // namespace 1559 1560namespace __gnu_cxx _GLIBCXX_VISIBILITY(default) 1561{ 1562_GLIBCXX_BEGIN_NAMESPACE_VERSION 1563 1564 // See ext/type_traits.h for the primary template. 1565 template<typename _Tp, typename _Up> 1566 struct __promote_2<std::complex<_Tp>, _Up> 1567 { 1568 public: 1569 typedef std::complex<typename __promote_2<_Tp, _Up>::__type> __type; 1570 }; 1571 1572 template<typename _Tp, typename _Up> 1573 struct __promote_2<_Tp, std::complex<_Up> > 1574 { 1575 public: 1576 typedef std::complex<typename __promote_2<_Tp, _Up>::__type> __type; 1577 }; 1578 1579 template<typename _Tp, typename _Up> 1580 struct __promote_2<std::complex<_Tp>, std::complex<_Up> > 1581 { 1582 public: 1583 typedef std::complex<typename __promote_2<_Tp, _Up>::__type> __type; 1584 }; 1585 1586_GLIBCXX_END_NAMESPACE_VERSION 1587} // namespace 1588 1589#if __cplusplus >= 201103L 1590 1591namespace std _GLIBCXX_VISIBILITY(default) 1592{ 1593_GLIBCXX_BEGIN_NAMESPACE_VERSION 1594 1595 // Forward declarations. 1596 template<typename _Tp> std::complex<_Tp> acos(const std::complex<_Tp>&); 1597 template<typename _Tp> std::complex<_Tp> asin(const std::complex<_Tp>&); 1598 template<typename _Tp> std::complex<_Tp> atan(const std::complex<_Tp>&); 1599 1600 template<typename _Tp> std::complex<_Tp> acosh(const std::complex<_Tp>&); 1601 template<typename _Tp> std::complex<_Tp> asinh(const std::complex<_Tp>&); 1602 template<typename _Tp> std::complex<_Tp> atanh(const std::complex<_Tp>&); 1603 // DR 595. 1604 template<typename _Tp> _Tp fabs(const std::complex<_Tp>&); 1605 1606 template<typename _Tp> 1607 inline std::complex<_Tp> 1608 __complex_acos(const std::complex<_Tp>& __z) 1609 { 1610 const std::complex<_Tp> __t = std::asin(__z); 1611 const _Tp __pi_2 = 1.5707963267948966192313216916397514L; 1612 return std::complex<_Tp>(__pi_2 - __t.real(), -__t.imag()); 1613 } 1614 1615#if _GLIBCXX_USE_C99_COMPLEX_TR1 1616 inline __complex__ float 1617 __complex_acos(__complex__ float __z) 1618 { return __builtin_cacosf(__z); } 1619 1620 inline __complex__ double 1621 __complex_acos(__complex__ double __z) 1622 { return __builtin_cacos(__z); } 1623 1624 inline __complex__ long double 1625 __complex_acos(const __complex__ long double& __z) 1626 { return __builtin_cacosl(__z); } 1627 1628 template<typename _Tp> 1629 inline std::complex<_Tp> 1630 acos(const std::complex<_Tp>& __z) 1631 { return __complex_acos(__z.__rep()); } 1632#else 1633 /// acos(__z) [8.1.2]. 1634 // Effects: Behaves the same as C99 function cacos, defined 1635 // in subclause 7.3.5.1. 1636 template<typename _Tp> 1637 inline std::complex<_Tp> 1638 acos(const std::complex<_Tp>& __z) 1639 { return __complex_acos(__z); } 1640#endif 1641 1642 template<typename _Tp> 1643 inline std::complex<_Tp> 1644 __complex_asin(const std::complex<_Tp>& __z) 1645 { 1646 std::complex<_Tp> __t(-__z.imag(), __z.real()); 1647 __t = std::asinh(__t); 1648 return std::complex<_Tp>(__t.imag(), -__t.real()); 1649 } 1650 1651#if _GLIBCXX_USE_C99_COMPLEX_TR1 1652 inline __complex__ float 1653 __complex_asin(__complex__ float __z) 1654 { return __builtin_casinf(__z); } 1655 1656 inline __complex__ double 1657 __complex_asin(__complex__ double __z) 1658 { return __builtin_casin(__z); } 1659 1660 inline __complex__ long double 1661 __complex_asin(const __complex__ long double& __z) 1662 { return __builtin_casinl(__z); } 1663 1664 template<typename _Tp> 1665 inline std::complex<_Tp> 1666 asin(const std::complex<_Tp>& __z) 1667 { return __complex_asin(__z.__rep()); } 1668#else 1669 /// asin(__z) [8.1.3]. 1670 // Effects: Behaves the same as C99 function casin, defined 1671 // in subclause 7.3.5.2. 1672 template<typename _Tp> 1673 inline std::complex<_Tp> 1674 asin(const std::complex<_Tp>& __z) 1675 { return __complex_asin(__z); } 1676#endif 1677 1678 template<typename _Tp> 1679 std::complex<_Tp> 1680 __complex_atan(const std::complex<_Tp>& __z) 1681 { 1682 const _Tp __r2 = __z.real() * __z.real(); 1683 const _Tp __x = _Tp(1.0) - __r2 - __z.imag() * __z.imag(); 1684 1685 _Tp __num = __z.imag() + _Tp(1.0); 1686 _Tp __den = __z.imag() - _Tp(1.0); 1687 1688 __num = __r2 + __num * __num; 1689 __den = __r2 + __den * __den; 1690 1691 return std::complex<_Tp>(_Tp(0.5) * atan2(_Tp(2.0) * __z.real(), __x), 1692 _Tp(0.25) * log(__num / __den)); 1693 } 1694 1695#if _GLIBCXX_USE_C99_COMPLEX_TR1 1696 inline __complex__ float 1697 __complex_atan(__complex__ float __z) 1698 { return __builtin_catanf(__z); } 1699 1700 inline __complex__ double 1701 __complex_atan(__complex__ double __z) 1702 { return __builtin_catan(__z); } 1703 1704 inline __complex__ long double 1705 __complex_atan(const __complex__ long double& __z) 1706 { return __builtin_catanl(__z); } 1707 1708 template<typename _Tp> 1709 inline std::complex<_Tp> 1710 atan(const std::complex<_Tp>& __z) 1711 { return __complex_atan(__z.__rep()); } 1712#else 1713 /// atan(__z) [8.1.4]. 1714 // Effects: Behaves the same as C99 function catan, defined 1715 // in subclause 7.3.5.3. 1716 template<typename _Tp> 1717 inline std::complex<_Tp> 1718 atan(const std::complex<_Tp>& __z) 1719 { return __complex_atan(__z); } 1720#endif 1721 1722 template<typename _Tp> 1723 std::complex<_Tp> 1724 __complex_acosh(const std::complex<_Tp>& __z) 1725 { 1726 // Kahan's formula. 1727 return _Tp(2.0) * std::log(std::sqrt(_Tp(0.5) * (__z + _Tp(1.0))) 1728 + std::sqrt(_Tp(0.5) * (__z - _Tp(1.0)))); 1729 } 1730 1731#if _GLIBCXX_USE_C99_COMPLEX_TR1 1732 inline __complex__ float 1733 __complex_acosh(__complex__ float __z) 1734 { return __builtin_cacoshf(__z); } 1735 1736 inline __complex__ double 1737 __complex_acosh(__complex__ double __z) 1738 { return __builtin_cacosh(__z); } 1739 1740 inline __complex__ long double 1741 __complex_acosh(const __complex__ long double& __z) 1742 { return __builtin_cacoshl(__z); } 1743 1744 template<typename _Tp> 1745 inline std::complex<_Tp> 1746 acosh(const std::complex<_Tp>& __z) 1747 { return __complex_acosh(__z.__rep()); } 1748#else 1749 /// acosh(__z) [8.1.5]. 1750 // Effects: Behaves the same as C99 function cacosh, defined 1751 // in subclause 7.3.6.1. 1752 template<typename _Tp> 1753 inline std::complex<_Tp> 1754 acosh(const std::complex<_Tp>& __z) 1755 { return __complex_acosh(__z); } 1756#endif 1757 1758 template<typename _Tp> 1759 std::complex<_Tp> 1760 __complex_asinh(const std::complex<_Tp>& __z) 1761 { 1762 std::complex<_Tp> __t((__z.real() - __z.imag()) 1763 * (__z.real() + __z.imag()) + _Tp(1.0), 1764 _Tp(2.0) * __z.real() * __z.imag()); 1765 __t = std::sqrt(__t); 1766 1767 return std::log(__t + __z); 1768 } 1769 1770#if _GLIBCXX_USE_C99_COMPLEX_TR1 1771 inline __complex__ float 1772 __complex_asinh(__complex__ float __z) 1773 { return __builtin_casinhf(__z); } 1774 1775 inline __complex__ double 1776 __complex_asinh(__complex__ double __z) 1777 { return __builtin_casinh(__z); } 1778 1779 inline __complex__ long double 1780 __complex_asinh(const __complex__ long double& __z) 1781 { return __builtin_casinhl(__z); } 1782 1783 template<typename _Tp> 1784 inline std::complex<_Tp> 1785 asinh(const std::complex<_Tp>& __z) 1786 { return __complex_asinh(__z.__rep()); } 1787#else 1788 /// asinh(__z) [8.1.6]. 1789 // Effects: Behaves the same as C99 function casin, defined 1790 // in subclause 7.3.6.2. 1791 template<typename _Tp> 1792 inline std::complex<_Tp> 1793 asinh(const std::complex<_Tp>& __z) 1794 { return __complex_asinh(__z); } 1795#endif 1796 1797 template<typename _Tp> 1798 std::complex<_Tp> 1799 __complex_atanh(const std::complex<_Tp>& __z) 1800 { 1801 const _Tp __i2 = __z.imag() * __z.imag(); 1802 const _Tp __x = _Tp(1.0) - __i2 - __z.real() * __z.real(); 1803 1804 _Tp __num = _Tp(1.0) + __z.real(); 1805 _Tp __den = _Tp(1.0) - __z.real(); 1806 1807 __num = __i2 + __num * __num; 1808 __den = __i2 + __den * __den; 1809 1810 return std::complex<_Tp>(_Tp(0.25) * (log(__num) - log(__den)), 1811 _Tp(0.5) * atan2(_Tp(2.0) * __z.imag(), __x)); 1812 } 1813 1814#if _GLIBCXX_USE_C99_COMPLEX_TR1 1815 inline __complex__ float 1816 __complex_atanh(__complex__ float __z) 1817 { return __builtin_catanhf(__z); } 1818 1819 inline __complex__ double 1820 __complex_atanh(__complex__ double __z) 1821 { return __builtin_catanh(__z); } 1822 1823 inline __complex__ long double 1824 __complex_atanh(const __complex__ long double& __z) 1825 { return __builtin_catanhl(__z); } 1826 1827 template<typename _Tp> 1828 inline std::complex<_Tp> 1829 atanh(const std::complex<_Tp>& __z) 1830 { return __complex_atanh(__z.__rep()); } 1831#else 1832 /// atanh(__z) [8.1.7]. 1833 // Effects: Behaves the same as C99 function catanh, defined 1834 // in subclause 7.3.6.3. 1835 template<typename _Tp> 1836 inline std::complex<_Tp> 1837 atanh(const std::complex<_Tp>& __z) 1838 { return __complex_atanh(__z); } 1839#endif 1840 1841 template<typename _Tp> 1842 inline _Tp 1843 /// fabs(__z) [8.1.8]. 1844 // Effects: Behaves the same as C99 function cabs, defined 1845 // in subclause 7.3.8.1. 1846 fabs(const std::complex<_Tp>& __z) 1847 { return std::abs(__z); } 1848 1849 /// Additional overloads [8.1.9]. 1850 template<typename _Tp> 1851 inline typename __gnu_cxx::__promote<_Tp>::__type 1852 arg(_Tp __x) 1853 { 1854 typedef typename __gnu_cxx::__promote<_Tp>::__type __type; 1855#if (_GLIBCXX11_USE_C99_MATH && !_GLIBCXX_USE_C99_FP_MACROS_DYNAMIC) 1856 return std::signbit(__x) ? __type(3.1415926535897932384626433832795029L) 1857 : __type(); 1858#else 1859 return std::arg(std::complex<__type>(__x)); 1860#endif 1861 } 1862 1863 template<typename _Tp> 1864 _GLIBCXX_CONSTEXPR inline typename __gnu_cxx::__promote<_Tp>::__type 1865 imag(_Tp) 1866 { return _Tp(); } 1867 1868 template<typename _Tp> 1869 _GLIBCXX20_CONSTEXPR inline typename __gnu_cxx::__promote<_Tp>::__type 1870 norm(_Tp __x) 1871 { 1872 typedef typename __gnu_cxx::__promote<_Tp>::__type __type; 1873 return __type(__x) * __type(__x); 1874 } 1875 1876 template<typename _Tp> 1877 _GLIBCXX_CONSTEXPR inline typename __gnu_cxx::__promote<_Tp>::__type 1878 real(_Tp __x) 1879 { return __x; } 1880 1881 template<typename _Tp, typename _Up> 1882 inline std::complex<typename __gnu_cxx::__promote_2<_Tp, _Up>::__type> 1883 pow(const std::complex<_Tp>& __x, const _Up& __y) 1884 { 1885 typedef typename __gnu_cxx::__promote_2<_Tp, _Up>::__type __type; 1886 return std::pow(std::complex<__type>(__x), __type(__y)); 1887 } 1888 1889 template<typename _Tp, typename _Up> 1890 inline std::complex<typename __gnu_cxx::__promote_2<_Tp, _Up>::__type> 1891 pow(const _Tp& __x, const std::complex<_Up>& __y) 1892 { 1893 typedef typename __gnu_cxx::__promote_2<_Tp, _Up>::__type __type; 1894 return std::pow(__type(__x), std::complex<__type>(__y)); 1895 } 1896 1897 template<typename _Tp, typename _Up> 1898 inline std::complex<typename __gnu_cxx::__promote_2<_Tp, _Up>::__type> 1899 pow(const std::complex<_Tp>& __x, const std::complex<_Up>& __y) 1900 { 1901 typedef typename __gnu_cxx::__promote_2<_Tp, _Up>::__type __type; 1902 return std::pow(std::complex<__type>(__x), 1903 std::complex<__type>(__y)); 1904 } 1905 1906 // Forward declarations. 1907 // DR 781. 1908 template<typename _Tp> 1909 std::complex<_Tp> proj(const std::complex<_Tp>&); 1910 1911 // Generic implementation of std::proj, does not work for infinities. 1912 template<typename _Tp> 1913 inline std::complex<_Tp> 1914 __complex_proj(const std::complex<_Tp>& __z) 1915 { return __z; } 1916 1917#if _GLIBCXX_USE_C99_COMPLEX 1918 inline complex<float> 1919 __complex_proj(const complex<float>& __z) 1920 { return __builtin_cprojf(__z.__rep()); } 1921 1922 inline complex<double> 1923 __complex_proj(const complex<double>& __z) 1924 { return __builtin_cproj(__z.__rep()); } 1925 1926 inline complex<long double> 1927 __complex_proj(const complex<long double>& __z) 1928 { return __builtin_cprojl(__z.__rep()); } 1929#elif defined _GLIBCXX_USE_C99_MATH_TR1 1930 inline complex<float> 1931 __complex_proj(const complex<float>& __z) 1932 { 1933 if (__builtin_isinf(__z.real()) || __builtin_isinf(__z.imag())) 1934 return complex<float>(__builtin_inff(), 1935 __builtin_copysignf(0.0f, __z.imag())); 1936 return __z; 1937 } 1938 1939 inline complex<double> 1940 __complex_proj(const complex<double>& __z) 1941 { 1942 if (__builtin_isinf(__z.real()) || __builtin_isinf(__z.imag())) 1943 return complex<double>(__builtin_inf(), 1944 __builtin_copysign(0.0, __z.imag())); 1945 return __z; 1946 } 1947 1948 inline complex<long double> 1949 __complex_proj(const complex<long double>& __z) 1950 { 1951 if (__builtin_isinf(__z.real()) || __builtin_isinf(__z.imag())) 1952 return complex<long double>(__builtin_infl(), 1953 __builtin_copysignl(0.0l, __z.imag())); 1954 return __z; 1955 } 1956#endif 1957 1958 template<typename _Tp> 1959 inline std::complex<_Tp> 1960 proj(const std::complex<_Tp>& __z) 1961 { return __complex_proj(__z); } 1962 1963 // Overload for scalars 1964 template<typename _Tp> 1965 inline std::complex<typename __gnu_cxx::__promote<_Tp>::__type> 1966 proj(_Tp __x) 1967 { 1968 typedef typename __gnu_cxx::__promote<_Tp>::__type __type; 1969 return std::proj(std::complex<__type>(__x)); 1970 } 1971 1972 template<typename _Tp> 1973 inline _GLIBCXX20_CONSTEXPR 1974 std::complex<typename __gnu_cxx::__promote<_Tp>::__type> 1975 conj(_Tp __x) 1976 { 1977 typedef typename __gnu_cxx::__promote<_Tp>::__type __type; 1978 return std::complex<__type>(__x, -__type()); 1979 } 1980 1981#if __cplusplus > 201103L 1982 1983inline namespace literals { 1984inline namespace complex_literals { 1985#pragma GCC diagnostic push 1986#pragma GCC diagnostic ignored "-Wliteral-suffix" 1987#define __cpp_lib_complex_udls 201309 1988 1989 constexpr std::complex<float> 1990 operator""if(long double __num) 1991 { return std::complex<float>{0.0F, static_cast<float>(__num)}; } 1992 1993 constexpr std::complex<float> 1994 operator""if(unsigned long long __num) 1995 { return std::complex<float>{0.0F, static_cast<float>(__num)}; } 1996 1997 constexpr std::complex<double> 1998 operator""i(long double __num) 1999 { return std::complex<double>{0.0, static_cast<double>(__num)}; } 2000 2001 constexpr std::complex<double> 2002 operator""i(unsigned long long __num) 2003 { return std::complex<double>{0.0, static_cast<double>(__num)}; } 2004 2005 constexpr std::complex<long double> 2006 operator""il(long double __num) 2007 { return std::complex<long double>{0.0L, __num}; } 2008 2009 constexpr std::complex<long double> 2010 operator""il(unsigned long long __num) 2011 { return std::complex<long double>{0.0L, static_cast<long double>(__num)}; } 2012 2013#pragma GCC diagnostic pop 2014} // inline namespace complex_literals 2015} // inline namespace literals 2016 2017#endif // C++14 2018 2019_GLIBCXX_END_NAMESPACE_VERSION 2020} // namespace 2021 2022#endif // C++11 2023 2024#endif /* _GLIBCXX_COMPLEX */ 2025