std::log(std::complex)

 

C++

语言

标准库头文件

自立与有宿主实现

具名要求

语言支持库

概念库 (C++20)

诊断库

工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

原子操作库 (C++11)

线程支持库 (C++11)

技术规范

 

数值库

常用数学函数

数学特殊函数 (C++17)

数学常数 (C++20)

浮点环境 (C++11)

复数

数值数组

伪随机数生成

编译时有理数算术 (C++11)

因数运算

gcd (C++17)

lcm (C++17)

插值

midpoint (C++20)

lerp (C++20)

泛型数值运算

iota (C++11)

accumulate

inner_product

adjacent_difference

partial_sum

位操作

bit_cast (C++20)

byteswap (C++23)

has_single_bit (C++20)

bit_ceil (C++20)

bit_floor (C++20)

bit_width (C++20)

rotl (C++20)

rotr (C++20)

countl_zero (C++20)

countl_one (C++20)

countr_zero (C++20)

countr_one (C++20)

popcount (C++20)

endian (C++20)

 

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>>	real imag abs arg norm conj proj (C++11) polar operator""ioperator""ifoperator""il (C++14)(C++14)(C++14)
指数函数
exp
log
log10
幂函数
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)

 

定义于头文件 <complex>
template< class T > complex<T> log( const complex<T>& z );

计算 z 的复自然（底 e ）对数，分支切割沿负实轴。

参数

z

-

复数值

返回值

若不发生错误，则返回 z 的复自然对数，在沿虚轴为区间 [−iπ, +iπ] ，沿实轴为数学上无界的条状范围中。

错误处理及特殊值

报告的错误与 math_errhandling 一致。

若实现支持 IEEE 浮点算术，则

• 考虑虚部符号，函数连续到分支切割上
• std::log(std::conj(z)) == std::conj(std::log(z))
• 若 z 为 (-0,+0) ，则结果为 (-∞,π) 并引发 FE_DIVBYZERO
• 若 z 为 (+0,+0) ，则结果为 (-∞,+0) 并引发 FE_DIVBYZERO
• 若 z 为 (x,+∞) （对于任何有限 x ），则结果为 (+∞,π/2)
• 若 z 为 (x,NaN) （对于任何有限 x ），则结果为 (NaN,NaN) 并可能引发 FE_INVALID
• 若 z 为 (-∞,y) （对于任何有限正 y ），则结果为 (+∞,π)
• 若 z 为 (+∞,y) （对于任何有限正 y ），则结果为 (+∞,+0)
• 若 z 为 (-∞,+∞) ，则结果为 (+∞,3π/4)
• 若 z 为 (+∞,+∞) ，则结果为 (+∞,π/4)
• 若 z 为 (±∞,NaN)，则结果为 (+∞,NaN)
• 若 z 为 (NaN,y) （对于任何有限 y ），则结果为 (NaN,NaN) 并可能引发 FE_INVALID
• 若 z 为 (NaN,+∞) ，则结果为 (+∞,NaN)
• 若 z 为 (NaN,NaN) ，则结果为 (NaN,NaN)

注意

拥有极坐标表示 (r,θ) 的复数 z 的自然对数等于 ln r + i(θ+2nπ) ，其主值为 ln r + iθ 。

此函数语义的目的是与 C 函数 clog 一致。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

DR	应用于	出版时的行为	正确行为
LWG 2597	C++98	规定错误地处理了有符号零虚部	移除错误的要求

示例

运行此代码

#include <iostream>
#include <cmath>
#include <complex>
 
int main()
{
    std::complex<double> z(0, 1); // // r = 1, θ = pi/2
    std::cout << "2*log" << z << " = " << 2.*std::log(z) << '\n';
 
    std::complex<double> z2(sqrt(2)/2, sqrt(2)/2); // r = 1, θ = pi/4
    std::cout << "4*log" << z2 << " = " << 4.*std::log(z2) << '\n';
 
    std::complex<double> z3(-1, 0); // r = 1, θ = pi
    std::cout << "log" << z3 << " = " << std::log(z3) << '\n';
    std::complex<double> z4(-1, -0.0); // 分支的另一侧
    std::cout << "log" << z4 << " (the other side of the cut) = " << std::log(z4) << '\n';
}

输出：

2*log(0,1) = (0,3.14159)
4*log(0.707107,0.707107) = (0,3.14159)
log(-1,0) = (0,3.14159)
log(-1,-0) (the other side of the cut) = (0,-3.14159)

参阅

log10(std::complex)	沿负实轴分割的复常用对数 (函数模板)
exp(std::complex)	以 e 为底复数的指数 (函数模板)
loglogflogl (C++11)(C++11)	计算自然（以 e 为底）对数（ \({\small \ln{x} }\)ln(x) ） (函数)
log(std::valarray)	应用函数 std::log 到 valarray 的每个元素 (函数模板)