std::pow(std::complex)

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏(C++20)

语言支持库

概念库(C++20)

诊断库

内存管理库

元编程库(C++11)

通用工具库

容器库

迭代器库

范围库(C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库(C++17)

并发支持库(C++11)

执行控制库(C++26)

技术规范

符号索引

外部库

 

数值库

常用数学函数
数学特殊函数(C++17)
数学常数(C++20)
基本线性代数算法(C++26)
数据并行类型（SIMD）(C++26)
浮点数环境(C++11)
复数
数值数组 (valarray)
伪随机数生成
位操纵(C++20)
饱和算术(C++26)
因数运算
gcd (C++17)	lcm (C++17)
插值
midpoint (C++20)	lerp (C++20)
泛型算术运算
iota (C++11) ranges::iota (C++23) accumulate inner_product adjacent_difference    partial_sum	reduce (C++17) transform_reduce (C++17) inclusive_scan (C++17) exclusive_scan (C++17) transform_inclusive_scan (C++17) transform_exclusive_scan (C++17)
C 风格带检查整数算术
ckd_add (C++26) ckd_sub (C++26)	ckd_mul (C++26)

 

std::complex

成员函数
complex::complex complex::operator= complex::real complex::imag	complex::operator+=complex::operator-=complex::operator*=complex::operator/=
非成员函数
operator+operator- operator+operator-operator*operator/ operator==operator!= (C++20 前)   operator<<operator>> get(std::complex) (C++26)	real imag abs arg norm conj proj (C++11) polar operator""ioperator""ifoperator""il (C++14)(C++14)(C++14)
指数函数
log   log10   exp
幂函数
pow   sqrt
三角函数
sin   cos tan asin (C++11) acos (C++11) atan (C++11)
双曲函数
sinh   cosh tanh asinh (C++11) acosh (C++11) atanh (C++11)
辅助类型
tuple_size<std::complex> (C++26)
tuple_element<std::complex> (C++26)

 

在标头 <complex> 定义
template<class T > std::complex<T> pow(conststd::complex<T>& x, int y );	(1)	(C++11 前)
template<class T > std::complex<T> pow(conststd::complex<T>& x, conststd::complex<T>& y );	(2)
template<class T > std::complex<T> pow(conststd::complex<T>& x, const T& y );	(3)
template<class T > std::complex<T> pow(const T& x, conststd::complex<T>& y );	(4)
额外重载(C++11 起)
在标头 <complex> 定义
	(A)
template<class T1, class T2 > std::complex</* common-type */>     pow(conststd::complex<T1>& x, conststd::complex<T2>& y );			(C++23 前)
template<class T1, class T2 > std::complex<std::common_type_t<T1, T2>>     pow(conststd::complex<T1>& x, conststd::complex<T2>& y );			(C++23 起)
		(B)
template<class T, class NonComplex > std::complex</* common-type */>     pow(conststd::complex<T>& x, const NonComplex& y );				(C++23 前)
template<class T, class NonComplex > std::complex<std::common_type_t<T, NonComplex>>     pow(conststd::complex<T>& x, const NonComplex& y );				(C++23 起)
			(C)
template<class T, class NonComplex > std::complex</* common-type */>     pow(const NonComplex& x, conststd::complex<T>& y );					(C++23 前)
template<class T, class NonComplex > std::complex<std::common_type_t<T, NonComplex>>     pow(const NonComplex& x, conststd::complex<T>& y );					(C++23 起)

1-4) 计算复数 x 的 y 次复数幂，第一实参的分支切割线沿负实轴。非复数实参被当作拥有正零虚部的复数。

A-C) 提供额外重载。其中 NonComplex 不是 std::complex 的特化。

(C++11 起)

参数

x	-	底数
y	-	指数

返回值

1-4) 如果不出现错误，那么返回复幂 xy
。

错误和特殊情况按照如同以 std::exp(y *std::log(x)) 实现运算一般处理。

std::pow(0, 0) 的结果由实现定义。

A-C) 同 (2-4)。

注解

C++98 提供重载 (1) 以匹配 std::pow 的多个重载 (2)。那些重载通过 LWG 问题 550 的解决方案移除，而重载 (1) 通过 LWG 问题 844 的解决方案移除。

额外重载不需要以 (A-C) 的形式提供。它们只需要能够对它们的第一个实参 base 和第二个实参 exponent 满足以下要求：

如果 base 和/或 exponent 具有 std::complex<T> 类型： 如果 base 和/或 exponent 具有 std::complex<longdouble> 或 longdouble 类型，那么 std::pow(base, exponent) 和 std::pow(std::complex<longdouble>(base),          std::complex<longdouble>(exponent)) 的效果相同。 否则，如果 base 和/或 exponent 具有 std::complex<double>，double 或整数类型，那么 std::pow(base, exponent) 和 std::pow(std::complex<double>(base),          std::complex<double>(exponent)) 的效果相同。 否则，如果 base 和/或 exponent 具有 std::complex<float> 或 float 类型，那么 std::pow(base, exponent) 和 std::pow(std::complex<float>(base),          std::complex<float>(exponent)) 的效果相同。

(C++23 前)

如果一个实参具有 std::complex<T1> 类型，而另一个实参具有 T2 或 std::complex<T2> 类型，那么 std::pow(base, exponent) 和 std::pow(std::complex<std::common_type_t<T1, T2>>(base),          std::complex<std::common_type_t<T1, T2>>(exponent)) 的效果相同。 如果 std::common_type_t<T1, T2> 非良构，那么程序也非良构。

(C++23 起)

示例

运行此代码

#include <complex>#include <iostream>   int main(){std::cout<<std::fixed;   std::complex<double> z(1.0, 2.0);std::cout<<"(1,2)^2 = "<<std::pow(z, 2)<<'\n';   std::complex<double> z2(-1.0, 0.0);// -1 的平方根std::cout<<"-1^0.5 = "<<std::pow(z2, 0.5)<<'\n';   std::complex<double> z3(-1.0, -0.0);// 切割的另一侧std::cout<<"(-1,-0)^0.5 = "<<std::pow(z3, 0.5)<<'\n';   std::complex<double> i(0.0, 1.0);// i^i = exp(-pi/2)std::cout<<"i^i = "<<std::pow(i, i)<<'\n';}

输出：

(1,2)^2 = (-3.000000,4.000000) -1^0.5 = (0.000000,1.000000) (-1,-0)^0.5 = (0.000000,-1.000000) i^i = (0.207880,0.000000)

参阅

sqrt(std::complex)	右半平面范围中的复平方根 (函数模板)
powpowfpowl (C++11)(C++11)	求某数的给定次幂（\(\small{x^y}\)xy） (函数)
pow(std::valarray)	应用函数 std::pow 到二个 valarray 或一个 valarray 与一个值 (函数模板)
cpow 的 C 文档