elc::defs::base::equal_t结构体 参考

Public 成员函数
template<typename T , typename U >
constexpr auto	operator() (T &&a, U &&b) const noexcept(nothrow< T, U >)
template<typename T , typename U >
constexpr bool	operator() (T *a, U *b, size_t size) const noexcept(nothrow< T, U >)
template<typename T , typename U , size_t N1, size_t N2>
constexpr bool	operator() (T(&a)[N1], U(&b)[N2]) const noexcept(nothrow< T, U >)
template<typename T , typename U >
constexpr bool	operator() (T *a, size_t size1, U *b, size_t size2) const noexcept(nothrow< T, U >)
template<typename T , typename U >
constexpr bool	operator() (T *a, size_t size1, U *b, end_by_zero_t) const noexcept(nothrow< T, U >)
template<typename T , typename U >
constexpr bool	operator() (T *a, end_by_zero_t, U *b, size_t size2) const noexcept(nothrow< T, U >)
template<typename T , typename U >
constexpr bool	operator() (T *a, end_by_zero_t, U *b, end_by_zero_t) const noexcept(nothrow< T, U >)
template<typename T , typename U >
constexpr bool	operator() (T *a, size_t size1, just_an_part_t, U *b, end_by_zero_t) const noexcept(nothrow< T, U >)

静态 Public 属性
template<class T , class U = T>
static constexpr bool	able = (bool(requires{ (::std::declval< T >())==(::std::declval< U >()) ;}))
template<class T , class U = T>
static constexpr bool	nothrow = (bool(requires{ (::std::declval< T >())==(::std::declval< U >()) ;{ (::std::declval< T >())==(::std::declval< U >()) }noexcept;}))

详细描述

相等比较任意支持比较的类型或其数组——简易封装. 用法: 判断两值是否可比较。 equal.able<类型1,类型2（可选，默认为类型1）> -> bool 判断将两者进行比较时是否会抛出异常。 equal.nothrow<类型,类型2（可选，默认为类型1）> -> bool

equal(T1,T2) -> auto

equal(T1[N1],T2[N2]) -> bool equal(T1*,size1,T2*,size2) -> bool equal(T1*,T2*,size) -> bool equal(T1*,size1,T2*,end_by_zero) -> bool equal(T1*,end_by_zero,T2*,size) -> bool equal(T1*,end_by_zero,T2*,end_by_zero) -> bool

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

成员函数说明

operator()() [1/8]

template<typename T , typename U >

constexpr auto elc::defs::base::equal_t::operator() ( T &&  a, U &&  b  ) const

inlineconstexprnoexcept

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

                                                                                 {
        return a==b;
    }

operator()() [2/8]

template<typename T , typename U >

constexpr bool elc::defs::base::equal_t::operator() ( T *  a, end_by_zero_t  , U *  b, end_by_zero_t    ) const

inlineconstexprnoexcept

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

                                                                                                           {
        floop{
            if(*a!=*b)
                return false;
            if(*a==T{0})
                return true;
            a++;
            b++;
        }
    }

operator()() [3/8]

template<typename T , typename U >

constexpr bool elc::defs::base::equal_t::operator() ( T *  a, end_by_zero_t  , U *  b, size_t  size2  ) const

inlineconstexprnoexcept

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

                                                                                                          {
        return operator()(b,size2,a,end_by_zero);
    }

operator()() [4/8]

template<typename T , typename U >

constexpr bool elc::defs::base::equal_t::operator() ( T *  a, size_t  size1, just_an_part_t  , U *  b, end_by_zero_t    ) const

inlineconstexprnoexcept

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

                                                                                                                         {
        while(size1--){
            if(*a!=*b || *b==U{0})
                return false;
            a++;
            b++;
        }
        return true;
    }

operator()() [5/8]

template<typename T , typename U >

constexpr bool elc::defs::base::equal_t::operator() ( T *  a, size_t  size1, U *  b, end_by_zero_t    ) const

inlineconstexprnoexcept

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

                                                                                                          {
        while(size1--){
            if(*a!=*b || *b==U{0})
                return false;
            a++;
            b++;
        }
        return *b==U{0};
    }

operator()() [6/8]

template<typename T , typename U >

constexpr bool elc::defs::base::equal_t::operator() ( T *  a, size_t  size1, U *  b, size_t  size2  ) const

inlineconstexprnoexcept

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

                                                                                                         {
        if(size1==size2)
            return operator()(a,b,size1);
        else
            return false;
    }

operator()() [7/8]

template<typename T , typename U >

constexpr bool elc::defs::base::equal_t::operator() ( T *  a, U *  b, size_t  size  ) const

inlineconstexprnoexcept

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

                                                                                           {
        while(size--){
            if(*(a++)!=*(b++))
                return false;
        }
        return true;
    }

operator()() [8/8]

template<typename T , typename U , size_t N1, size_t N2>

constexpr bool elc::defs::base::equal_t::operator() ( T(&)  a[N1], U(&)  b[N2]  ) const

inlineconstexprnoexcept

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

                                                                                           {
        if constexpr(N1==N2)
            return operator()(a,b,N1);
        else{
            template_warning("N1!=N2");
            return false;
        }
    }

类成员变量说明

able

template<class T , class U = T>

constexpr bool elc::defs::base::equal_t::able = (bool(requires{ (::std::declval< T >())==(::std::declval< U >()) ;}))

staticconstexpr

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

nothrow

template<class T , class U = T>

constexpr bool elc::defs::base::equal_t::nothrow = (bool(requires{ (::std::declval< T >())==(::std::declval< U >()) ;{ (::std::declval< T >())==(::std::declval< U >()) }noexcept;}))

staticconstexpr

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

---

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

• docs/all_defs.cpp