elc::defs::memory::lifetime_n::move_assign_t结构体 参考

elc::defs::memory::lifetime_n::move_assign_t 的协作图:

类
struct	array_move_assign_t
struct	may_overlap_t

Public 成员函数
template<class T > requires able<T>
T &	operator() (T &a, T &b) const noexcept(nothrow< T >)
constexpr array_move_assign_t	operator[] (size_t a) const noexcept

静态 Public 成员函数
template<class T > requires able<T>
static T &	base_call (T &a, T &&b) noexcept(nothrow< T >)
template<class T > requires able<T>
static T *	base_call (T *to, T *from, size_t size) noexcept(nothrow< T >)

静态 Public 属性
template<class T >
static constexpr bool	r_able =move_assign_able<T>
template<class T >
static constexpr bool	able =r_able<T>?true:copy_assign.able<T>
template<class T >
static constexpr bool	nothrow =r_able<T>?move_assign_nothrow<T>:copy_assign.nothrow<T>
template<class T >
static constexpr bool	trivial =r_able<T>?move_assign_trivial<T>:copy_assign.trivial<T>
static constexpr struct elc::defs::memory::lifetime_n::move_assign_t::may_overlap_t	may_overlap

详细描述

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

成员函数说明

base_call() [1/2]

template<class T >
requires able<T>

static T & elc::defs::memory::lifetime_n::move_assign_t::base_call ( T &  a, T &&  b  )

inlinestaticnoexcept

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

                                                         {
            if constexpr(r_able<T>)
                a=move(b);
            else
                copy_assign(a,b);
            return a;
        }

base_call() [2/2]

template<class T >
requires able<T>

static T * elc::defs::memory::lifetime_n::move_assign_t::base_call ( T *  to, T *  from, size_t  size  )

inlinestaticnoexcept

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

                                                                        {
            if constexpr(trivial<T>)
                ::std::memcpy(to,add_const(from),size*sizeof(T));
            else
                while(size--)
                    base_call(to[size],from[size]);
            return to;
        }

函数调用图:

operator()()

template<class T >
requires able<T>

T & elc::defs::memory::lifetime_n::move_assign_t::operator() ( T &  a, T &  b  ) const

inlinenoexcept

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

                                                                     {
            return base_call(a,move(b));
        }

operator[]()

constexpr array_move_assign_t elc::defs::memory::lifetime_n::move_assign_t::operator[] ( size_t  a ) const

inlineconstexprnoexcept

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

{return{a};}

类成员变量说明

able

template<class T >

constexpr bool elc::defs::memory::lifetime_n::move_assign_t::able =r_able<T>?true:copy_assign.able<T>

staticconstexpr

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

may_overlap

constexpr struct elc::defs::memory::lifetime_n::move_assign_t::may_overlap_t elc::defs::memory::lifetime_n::move_assign_t::may_overlap

static

nothrow

template<class T >

constexpr bool elc::defs::memory::lifetime_n::move_assign_t::nothrow =r_able<T>?move_assign_nothrow<T>:copy_assign.nothrow<T>

staticconstexpr

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

r_able

template<class T >

constexpr bool elc::defs::memory::lifetime_n::move_assign_t::r_able =move_assign_able<T>

staticconstexpr

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

trivial

template<class T >

constexpr bool elc::defs::memory::lifetime_n::move_assign_t::trivial =r_able<T>?move_assign_trivial<T>:copy_assign.trivial<T>

staticconstexpr

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

---

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

• docs/all_defs.cpp