ELC in dev
ELC-lang
载入中...
搜索中...
未找到
elc::defs::base::max_t结构体 参考

struct  for_type_t
 

Public 类型

template<class... Args>
using type = decltype(type_helper< Args... >())
 

Public 成员函数

template<class... Args>
requires able<Args...>
constexpr auto operator() (Args &&...rest) const noexcept
 
template<class T >
requires able<const T,const T>
constexpr auto operator() (::std::initializer_list< T >l) const noexcept
 
template<typename T >
requires get_limit_able<T>
constexpr auto operator() (const type_info_t< T > &) const noexcept
 

静态 Public 属性

template<class... Args>
static constexpr bool able =able_helper<Args...>()
 
template<class... Args>
static constexpr bool nothrow =nothrow_helper<Args...>()
 
template<typename T >
static constexpr bool get_limit_able =math::arithmetic_type_info_prover<T>::has_max
 
template<typename T >
static constexpr for_type_t< T > for_type {}
 

详细描述

获取几个参数中的最大值或某类型能表示的最大值. 用法: max.able<T1,T2...> -> bool T...等类型能否获得参数最大值. max.get_limit_able<T> -> bool 能否获得T类型能表示的最大值. max(v1,v2...) -> auto 获取v...的最大值. max(type_info<T>) -> auto 获取T能表示的最大值.

在文件 all_defs.cpp2206 行定义.

成员类型定义说明

◆ type

template<class... Args>
using elc::defs::base::max_t::type = decltype(type_helper<Args...>())

在文件 all_defs.cpp2222 行定义.

成员函数说明

◆ operator()() [1/3]

template<class T >
requires able<const T,const T>
constexpr auto elc::defs::base::max_t::operator() ( ::std::initializer_list< T >  l) const
inlineconstexprnoexcept

在文件 all_defs.cpp2299 行定义.

2299 {
2300 return for_type<T>(l);
2301 }
constexpr T down_cast(U a) noexcept
向下转型至

◆ operator()() [2/3]

template<class... Args>
requires able<Args...>
constexpr auto elc::defs::base::max_t::operator() ( Args &&...  rest) const
inlineconstexprnoexcept

在文件 all_defs.cpp2276 行定义.

2276 {
2277 return base_call(forward<Args>(rest)...);
2278 }

◆ operator()() [3/3]

template<typename T >
requires get_limit_able<T>
constexpr auto elc::defs::base::max_t::operator() ( const type_info_t< T > &  ) const
inlineconstexprnoexcept

在文件 all_defs.cpp2303 行定义.

2303 {
2305 }

类成员变量说明

◆ able

template<class... Args>
constexpr bool elc::defs::base::max_t::able =able_helper<Args...>()
staticconstexpr

在文件 all_defs.cpp2241 行定义.

◆ for_type

template<typename T >
constexpr for_type_t<T> elc::defs::base::max_t::for_type {}
staticconstexpr

在文件 all_defs.cpp2296 行定义.

2296{};

◆ get_limit_able

template<typename T >
constexpr bool elc::defs::base::max_t::get_limit_able =math::arithmetic_type_info_prover<T>::has_max
staticconstexpr

在文件 all_defs.cpp2263 行定义.

◆ nothrow

template<class... Args>
constexpr bool elc::defs::base::max_t::nothrow =nothrow_helper<Args...>()
staticconstexpr

在文件 all_defs.cpp2260 行定义.


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