std::log(std::complex)

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

数值库

常用数学函数
数学特殊函数 (C++17)
数学常量 (C++20)
基本线性代数算法 (C++26)
浮点数环境 (C++11)
复数
数值数组 (valarray)
伪随机数生成
因子运算
gcd (C++17)	lcm (C++17)
插值
中点 (C++20)	lerp (C++20)
饱和算术
add_sat (C++26) sub_sat (C++26) saturate_cast (C++26)	mul_sat (C++26) div_sat (C++26)
泛型数值运算
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)
位运算
has_single_bit (C++20)     bit_cast (C++20) bit_ceil (C++20) bit_floor (C++20) bit_width (C++20) rotl (C++20) rotr (C++20)	popcount (C++20) countl_zero (C++20) countl_one (C++20) countr_zero (C++20) countr_one (C++20) byteswap (C++23) 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>> 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> log( const std::complex<T>& z );

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

参数

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)

注释

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

此函数的语义旨在与 C 函数 clog 一致。

示例

运行此代码

#include <cmath>
#include <complex>
#include <iostream>
 
int main()
{
    std::complex<double> z {0.0, 1.0}; // r = 1, θ = pi / 2
    std::cout << "2 * log" << z << " = " << 2.0 * std::log(z) << '\n';
 
    std::complex<double> z2 {sqrt(2.0) / 2, sqrt(2.0) / 2}; // r = 1, θ = pi / 4
    std::cout << "4 * log" << z2 << " = " << 4.0 * std::log(z2) << '\n';
 
    std::complex<double> z3 {-1.0, 0.0}; // r = 1, θ = pi
    std::cout << "log" << z3 << " = " << std::log(z3) << '\n';
    std::complex<double> z4 {-1.0, -0.0}; // the other side of the cut
    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)

缺陷报告

以下更改行为的缺陷报告已追溯应用于先前发布的 C++ 标准。

DR	应用于	已发布的行为	正确行为
LWG 2597	C++98	规范错误地处理了符号为零的虚部	错误的要求已删除

参见

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