std::proj(std::complex)
来自 cppreference.cn
| 定义于头文件 <complex> |
||
| template< class T > std::complex<T> proj( const std::complex<T>& z ); |
(1) | (C++11 起) |
| 额外重载 (自 C++11 起) |
||
| 定义于头文件 <complex> |
||
| (A) | ||
std::complex<float> proj( float f ); std::complex<double> proj( double f ); |
(直至 C++23) | |
| template< class FloatingPoint > std::complex<FloatingPoint> proj( FloatingPoint f ); |
(C++23 起) | |
| template< class Integer > std::complex<double> proj( Integer i ); |
(B) | |
对于大多数 z，std::proj(z) == z，但所有的复数无穷大，即使是其中一个分量为无穷大而另一个为 NaN 的数，都会变为正实数无穷大，(INFINITY, 0.0) 或 (INFINITY, -0.0)。虚部（零）的符号是 std::imag(z) 的符号。
A,B) 为所有整数和浮点类型提供了额外的重载，它们被视为虚部为正零的复数。
目录 |
[编辑] 参数
| z | - | 复数类型的值 |
| f | - | 浮点值 |
| i | - | 整数值 |
[编辑] 返回值
1) z 在黎曼球面上的投影。
A) std::complex(f) 在黎曼球面上的投影。
B) std::complex<double>(i) 在黎曼球面上的投影。
[编辑] 注意
proj 函数通过将所有无穷大映射到一个（考虑到虚部零的符号），有助于模拟黎曼球面，并且应在任何可能对其他无穷大产生虚假结果的操作（尤其是比较）之前使用。
不需要完全按照 (A,B) 提供额外的重载。它们只需要足以确保对于它们的参数 num
- 如果 num 具有标准(直到 C++23)浮点类型
T，则 std::proj(num) 的效果与 std::proj(std::complex<T>(num)) 相同。 - 否则，如果 num 具有整数类型，则 std::proj(num) 的效果与 std::proj(std::complex<double>(num)) 相同。
[编辑] 示例
运行此代码
#include <complex> #include <iostream> int main() { std::complex<double> c1(1, 2); std::cout << "proj" << c1 << " = " << std::proj(c1) << '\n'; std::complex<double> c2(INFINITY, -1); std::cout << "proj" << c2 << " = " << std::proj(c2) << '\n'; std::complex<double> c3(0, -INFINITY); std::cout << "proj" << c3 << " = " << std::proj(c3) << '\n'; }
输出
proj(1,2) = (1,2) proj(inf,-1) = (inf,-0) proj(0,-inf) = (inf,-0)
[编辑] 参阅
| 返回复数的模 (函数模板) | |
| 返回模的平方 (函数模板) | |
| 从模和相角构造一个复数 (函数模板) | |
| C 文档 对于 cproj
| |
