算术类型帮助类型任何后续定义的新算术类型都可以重载这些类型来实现数学库的泛型支持更多...

Public 类型
using	unsigned_type = decltype(λ{ if constexpr(type_info< T >==type_info< bool >) return T()

using	signed_type = decltype(λ{ if constexpr(type_info< T >==type_info< bool >) return T()

using	float_type = decltype(λ{ if constexpr(is_float_type) return T()

using	integer_type = decltype(λ{ if constexpr(is_integer_type) return T()

Public 成员函数
else if	constexpr (is_float_type) return T()

else if	constexpr ())

else if	constexpr (is_float_type) return T()

else if	constexpr ())

else if	constexpr (is_integer_type) return .0

else if	constexpr (is_float_type) return 0

静态 Public 成员函数
static constexpr auto	quiet_NaN () noexcept

static constexpr auto	signaling_NaN () noexcept

static constexpr auto	NaN () noexcept

static constexpr auto	Inf () noexcept

static constexpr auto	negative_Inf () noexcept

static constexpr auto	min () noexcept

static constexpr auto	max () noexcept

static constexpr auto	ε () noexcept

静态 Public 属性
static constexpr bool	is_arithmetic_type =::std::is_arithmetic_v<T> \|\| is_elc_expansion_base_type<T>

static constexpr bool	is_basic_type =::std::is_arithmetic_v<T>

static constexpr bool	is_big_type =false

static constexpr bool	is_float_type =::std::is_floating_point_v<T>

static constexpr bool	is_exponent_float_type =is_float_type

static constexpr bool	is_fraction_float_type =false

static constexpr bool	is_integer_type =::std::is_integral_v<T>

static constexpr bool	is_signed =::std::is_signed_v<T>

static constexpr bool	has_quiet_NaN =has_quiet_NaN_helper()

static constexpr bool	has_signaling_NaN =has_signaling_NaN_helper()

static constexpr bool	has_NaN =has_quiet_NaN \|\| has_signaling_NaN

static constexpr bool	has_inf =has_inf_helper()

static constexpr bool	has_min =is_arithmetic_type

static constexpr bool	has_max =is_arithmetic_type

static constexpr bool	has_ε =is_arithmetic_type

详细描述

template<typename T>
struct elc::defs::base::math::arithmetic_type_info_prover< T >

算术类型帮助类型任何后续定义的新算术类型都可以重载这些类型来实现数学库的泛型支持

在文件 all_defs.cpp 第 8365 行定义.

成员类型定义说明

◆ float_type

template<typename T >

using elc::defs::base::math::arithmetic_type_info_prover< T >::float_type = decltype(λ{ if constexpr(is_float_type) return T()

在文件 all_defs.cpp 第 8469 行定义.

◆ integer_type

template<typename T >

using elc::defs::base::math::arithmetic_type_info_prover< T >::integer_type = decltype(λ{ if constexpr(is_integer_type) return T()

在文件 all_defs.cpp 第 8476 行定义.

◆ signed_type

template<typename T >

using elc::defs::base::math::arithmetic_type_info_prover< T >::signed_type = decltype(λ{ if constexpr(type_info<T> == type_info<bool>) return T()

在文件 all_defs.cpp 第 8460 行定义.

◆ unsigned_type

template<typename T >

using elc::defs::base::math::arithmetic_type_info_prover< T >::unsigned_type = decltype(λ{ if constexpr(type_info<T> == type_info<bool>) return T()

在文件 all_defs.cpp 第 8452 行定义.

成员函数说明

◆ ε()

template<typename T >

static constexpr auto elc::defs::base::math::arithmetic_type_info_prover< T >::ε ( )

inlinestaticconstexprnoexcept

在文件 all_defs.cpp 第 8447 行定义.

                                                           {
            return ::std::numeric_limits<T>::epsilon();
        }

◆ constexpr() [1/6]

template<typename T >

else if elc::defs::base::math::arithmetic_type_info_prover< T >::constexpr ( )

◆ constexpr() [2/6]

template<typename T >

else if elc::defs::base::math::arithmetic_type_info_prover< T >::constexpr ( )

◆ constexpr() [3/6]

template<typename T >

else if elc::defs::base::math::arithmetic_type_info_prover< T >::constexpr ( is_float_type )

◆ constexpr() [4/6]

template<typename T >

else if elc::defs::base::math::arithmetic_type_info_prover< T >::constexpr ( is_float_type )

◆ constexpr() [5/6]

template<typename T >

else if elc::defs::base::math::arithmetic_type_info_prover< T >::constexpr ( is_float_type )

◆ constexpr() [6/6]

template<typename T >

else if elc::defs::base::math::arithmetic_type_info_prover< T >::constexpr ( is_integer_type )

◆ Inf()

template<typename T >

static constexpr auto elc::defs::base::math::arithmetic_type_info_prover< T >::Inf ( )

inlinestaticconstexprnoexcept

在文件 all_defs.cpp 第 8422 行定义.

                                                             {
            return ::std::numeric_limits<T>::infinity();
        }

◆ max()

template<typename T >

static constexpr auto elc::defs::base::math::arithmetic_type_info_prover< T >::max ( )

inlinestaticconstexprnoexcept

在文件 all_defs.cpp 第 8440 行定义.

                                                             {
            return ::std::numeric_limits<T>::max();
        }

◆ min()

template<typename T >

static constexpr auto elc::defs::base::math::arithmetic_type_info_prover< T >::min ( )

inlinestaticconstexprnoexcept

在文件 all_defs.cpp 第 8434 行定义.

                                                             {
            if constexpr(is_float_type)
                return ::std::numeric_limits<T>::lowest();
            else
                return ::std::numeric_limits<T>::min();
        }

◆ NaN()

template<typename T >

static constexpr auto elc::defs::base::math::arithmetic_type_info_prover< T >::NaN ( )

inlinestaticconstexprnoexcept

在文件 all_defs.cpp 第 8406 行定义.

                                                             {
            if constexpr(has_quiet_NaN)
                return quiet_NaN();
            else
                return signaling_NaN();
        }

◆ negative_Inf()

template<typename T >

static constexpr auto elc::defs::base::math::arithmetic_type_info_prover< T >::negative_Inf ( )

inlinestaticconstexprnoexcept

在文件 all_defs.cpp 第 8425 行定义.

                                                                      {
            return -Inf();
        }

◆ quiet_NaN()

template<typename T >

static constexpr auto elc::defs::base::math::arithmetic_type_info_prover< T >::quiet_NaN ( )

inlinestaticconstexprnoexcept

在文件 all_defs.cpp 第 8400 行定义.

                                                                         {
            return ::std::numeric_limits<T>::quiet_NaN();
        }

◆ signaling_NaN()

template<typename T >

static constexpr auto elc::defs::base::math::arithmetic_type_info_prover< T >::signaling_NaN ( )

inlinestaticconstexprnoexcept

在文件 all_defs.cpp 第 8403 行定义.

                                                                                 {
            return ::std::numeric_limits<T>::signaling_NaN();
        }

类成员变量说明

◆ has_ε

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::has_ε =is_arithmetic_type

staticconstexpr

在文件 all_defs.cpp 第 8445 行定义.

◆ has_inf

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::has_inf =has_inf_helper()

staticconstexpr

在文件 all_defs.cpp 第 8421 行定义.

◆ has_max

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::has_max =is_arithmetic_type

staticconstexpr

在文件 all_defs.cpp 第 8432 行定义.

◆ has_min

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::has_min =is_arithmetic_type

staticconstexpr

在文件 all_defs.cpp 第 8430 行定义.

◆ has_NaN

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::has_NaN =has_quiet_NaN || has_signaling_NaN

staticconstexpr

在文件 all_defs.cpp 第 8398 行定义.

◆ has_quiet_NaN

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::has_quiet_NaN =has_quiet_NaN_helper()

staticconstexpr

在文件 all_defs.cpp 第 8396 行定义.

◆ has_signaling_NaN

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::has_signaling_NaN =has_signaling_NaN_helper()

staticconstexpr

在文件 all_defs.cpp 第 8397 行定义.

◆ is_arithmetic_type

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::is_arithmetic_type =::std::is_arithmetic_v<T> || is_elc_expansion_base_type<T>

staticconstexpr

在文件 all_defs.cpp 第 8367 行定义.

◆ is_basic_type

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::is_basic_type =::std::is_arithmetic_v<T>

staticconstexpr

在文件 all_defs.cpp 第 8369 行定义.

◆ is_big_type

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::is_big_type =false

staticconstexpr

在文件 all_defs.cpp 第 8371 行定义.

◆ is_exponent_float_type

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::is_exponent_float_type =is_float_type

staticconstexpr

在文件 all_defs.cpp 第 8375 行定义.

◆ is_float_type

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::is_float_type =::std::is_floating_point_v<T>

staticconstexpr

在文件 all_defs.cpp 第 8373 行定义.

◆ is_fraction_float_type

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::is_fraction_float_type =false

staticconstexpr

在文件 all_defs.cpp 第 8376 行定义.

◆ is_integer_type

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::is_integer_type =::std::is_integral_v<T>

staticconstexpr

在文件 all_defs.cpp 第 8378 行定义.

◆ is_signed

template<typename T >

constexpr bool elc::defs::base::math::arithmetic_type_info_prover< T >::is_signed =::std::is_signed_v<T>

staticconstexpr

在文件 all_defs.cpp 第 8380 行定义.

该结构体的文档由以下文件生成:

docs/all_defs.cpp

Public 类型

Public 成员函数

静态 Public 成员函数

静态 Public 属性

详细描述

成员类型定义说明

◆ float_type

◆ integer_type

◆ signed_type

◆ unsigned_type

成员函数说明

◆ ε()

◆ constexpr() [1/6]

◆ constexpr() [2/6]

◆ constexpr() [3/6]

◆ constexpr() [4/6]

◆ constexpr() [5/6]

◆ constexpr() [6/6]

◆ Inf()

◆ max()

◆ min()

◆ NaN()

◆ negative_Inf()

◆ quiet_NaN()

◆ signaling_NaN()

类成员变量说明

◆ has_ε

◆ has_inf

◆ has_max

◆ has_min

◆ has_NaN

◆ has_quiet_NaN

◆ has_signaling_NaN

◆ is_arithmetic_type

◆ is_basic_type

◆ is_big_type

◆ is_exponent_float_type

◆ is_float_type

◆ is_fraction_float_type

◆ is_integer_type

◆ is_signed