std:: complex

cv-비적용 부동 소수점 타입 에 대한 std::complex 의 특수화는 표준 (C++23까지) TriviallyCopyable (C++23부터) 이며 LiteralType s 입니다. 이는 복소수 를 표현하고 조작하기 위한 것입니다.

템플릿 매개변수

멤버 타입

멤버 함수

비멤버 함수

헬퍼 타입

배열 지향 접근

모든 z 객체에 대해 std::complex<T> 타입의, reinterpret_cast < T ( & ) [ 2 ] > ( z ) [ 0 ] 는 z 의 실수부이고, reinterpret_cast < T ( & ) [ 2 ] > ( z ) [ 1 ] 는 z 의 허수부입니다.

std::complex<T> 배열의 원소를 가리키는 임의의 포인터 p 와 유효한 배열 인덱스 i 에 대해, reinterpret_cast < T * > ( p ) [ 2 * i ] 는 복소수 p [ i ] 의 실수부이고, reinterpret_cast < T * > ( p ) [ 2 * i + 1 ] 는 복소수 p [ i ] 의 허수부입니다.

이 요구 사항의 의도는 C++ 라이브러리 복소수 타입과 C 언어 복소수 타입 (및 이들의 배열) 간의 이진 호환성을 보존하는 것입니다. 이들은 동일한 객체 표현 요구 사항을 가지고 있습니다.

구현 참고 사항

배열 지향 접근의 요구사항을 충족시키기 위해, 구현체는 std::complex 특수화의 실수부와 허수부를 별개의 인접 메모리 위치에 저장하도록 제한됩니다. 비정적 데이터 멤버에 대한 가능한 선언 방식은 다음과 같습니다:

• value_type[2] 타입의 배열로, 첫 번째 요소는 실수부를, 두 번째 요소는 허수부를 저장합니다 (예: Microsoft Visual Studio);
• value_type _Complex 타입의 단일 멤버로 (해당 C 언어 복소수 타입 을 캡슐화) (예: GNU libstdc++);
• value_type 타입의 두 멤버로, 동일한 멤버 접근 권한을 가지며 각각 실수부와 허수부를 저장합니다 (예: LLVM libc++).

구현체는 실수부와 허수부와 분리된 저장 공간을 차지하는 추가적인 비정적 데이터 멤버를 선언할 수 없으며, 클래스 템플릿 특수화가 어떤 패딩 비트 도 포함하지 않도록 보장해야 합니다. 구현체는 또한 배열 접근 최적화가 value_type 에 대한 포인터가 std::complex 특수화나 그 배열을 별칭화(aliasing)할 가능성을 고려하도록 보장해야 합니다.

리터럴

참고 사항

예제

#include <cmath>
#include <complex>
#include <iomanip>
#include <iostream>
#include <ranges>
int main()
{
    using namespace std::complex_literals;
    std::cout << std::fixed << std::setprecision(1);
    std::complex<double> z1 = 1i * 1i; // 허수 단위 제곱
    std::cout << "i * i = " << z1 << '\n';
    std::complex<double> z2 = std::pow(1i, 2); // 허수 단위 제곱
    std::cout << "pow(i, 2) = " << z2 << '\n';
    const double PI = std::acos(-1); // 또는 C++20의 std::numbers::pi
    std::complex<double> z3 = std::exp(1i * PI); // 오일러 공식
    std::cout << "exp(i * pi) = " << z3 << '\n';
    std::complex<double> z4 = 1.0 + 2i, z5 = 1.0 - 2i; // 켤레 복소수
    std::cout << "(1 + 2i) * (1 - 2i) = " << z4 * z5 << '\n';
    const auto zz = {0.0 + 1i, 2.0 + 3i, 4.0 + 5i};
#if __cpp_lib_tuple_like >= 202311L
    for (double re : zz | std::views::keys)
        std::cout << re << ' ';
    std::cout << '\n';
    for (double im : zz | std::views::values)
        std::cout << im << ' ';
    std::cout << '\n';
#else
    for (double re : zz | std::views::transform([](auto z){ return z.real(); }))
        std::cout << re << ' ';
    std::cout << '\n';
    for (double im : zz | std::views::transform([](auto z){ return z.imag(); }))
        std::cout << im << ' ';
    std::cout << '\n';
#endif
}

i * i = (-1.0,0.0)
pow(i, 2) = (-1.0,0.0)
exp(i * pi) = (-1.0,0.0)
(1 + 2i) * (1 - 2i) = (5.0,0.0)
0.0 2.0 4.0
1.0 3.0 5.0

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참고 항목