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

类
struct	array_copy_construct_t

Public 成员函数
template<class T > requires able<T>
T *	operator() (T *to, const T *from) const noexcept(nothrow< T >)
template<class T > requires able<T>
T *	operator() (note::to_t< T * >to, note::from_t< const T * >from) const noexcept(nothrow< T >)
template<class T > requires able<T>
T *	operator() (note::from_t< const T * >from, note::to_t< T * >to) const noexcept(nothrow< T >)
template<class T > requires able<T>
T *	operator() (T *to, const T *from, size_t size) const noexcept(nothrow< T >)
template<class T > requires able<T>
T *	operator() (note::to_t< T * >to, note::from_t< const T * >from, size_t size) const noexcept(nothrow< T >)
template<class T > requires able<T>
T *	operator() (note::from_t< const T * >from, note::to_t< T * >to, size_t size) const noexcept(nothrow< T >)
template<class T > requires able<T>
T *	operator() (T *to, const T &from) const noexcept(nothrow< T >)
constexpr array_copy_construct_t	operator[] (size_t a) const noexcept

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

静态 Public 属性
template<class T >
static constexpr bool	r_able
template<class T >
static constexpr bool	able =r_able<T>?true:(construct<T>.able<>&&copy_assign_able<T>)
template<class T >
static constexpr bool	nothrow
template<class T >
static constexpr bool	trivial

详细描述

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

成员函数说明

base_call() [1/4]

template<class T >
requires able<T>

static T * elc::defs::memory::lifetime_n::copy_construct_t::base_call ( T *  to, const T &  from  )

inlinestaticnoexcept

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

                                                                 {
            if constexpr(r_able<T>)
                construct<T>[to](from);
            else{
                construct<T>[to]();
                *to=from;
            }
            return to;
        }

base_call() [2/4]

template<class T >
requires able<T>

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

inlinestaticnoexcept

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

                                                                             {
            if constexpr(type_info<T>.has_attribute(never_in_array))
                template_error("You cannot perform array operations on never_in_array type.");
            if constexpr(::std::is_trivially_copyable_v<T>)
                super_speed_trivial_copy_from_one(to,from,size);
            else
                while(size--)
                    base_call(to+size,from);
            return to;
        }

函数调用图:

base_call() [3/4]

template<class T >
requires able<T>

static T * elc::defs::memory::lifetime_n::copy_construct_t::base_call ( T *  to, const T *  from  )

inlinestaticnoexcept

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

                                                                 {
            if constexpr(trivial<T>)
                return reinterpret_cast<T*>(::std::memcpy(to,add_const(from),sizeof(T)));
            else{
                if constexpr(r_able<T>)
                    new(to)T(*from);
                else{
                    construct<T>[to]();
                    *to=*from;
                }
                return to;
            }
        }

函数调用图:

base_call() [4/4]

template<class T >
requires able<T>

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

inlinestaticnoexcept

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

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

函数调用图:

operator()() [1/7]

template<class T >
requires able<T>

T * elc::defs::memory::lifetime_n::copy_construct_t::operator() ( note::from_t< const T * >  from, note::to_t< T * >  to  ) const

inlinenoexcept

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

        {return base_call(to(),from());}

operator()() [2/7]

template<class T >
requires able<T>

T * elc::defs::memory::lifetime_n::copy_construct_t::operator() ( note::from_t< const T * >  from, note::to_t< T * >  to, size_t  size  ) const

inlinenoexcept

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

        {return base_call(to(),from(),size);}

operator()() [3/7]

template<class T >
requires able<T>

T * elc::defs::memory::lifetime_n::copy_construct_t::operator() ( note::to_t< T * >  to, note::from_t< const T * >  from  ) const

inlinenoexcept

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

        {return base_call(to(),from());}

operator()() [4/7]

template<class T >
requires able<T>

T * elc::defs::memory::lifetime_n::copy_construct_t::operator() ( note::to_t< T * >  to, note::from_t< const T * >  from, size_t  size  ) const

inlinenoexcept

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

        {return base_call(to(),from(),size);}

operator()() [5/7]

template<class T >
requires able<T>

T * elc::defs::memory::lifetime_n::copy_construct_t::operator() ( T *  to, const T &  from  ) const

inlinenoexcept

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

        {return base_call(to,from);}

operator()() [6/7]

template<class T >
requires able<T>

T * elc::defs::memory::lifetime_n::copy_construct_t::operator() ( T *  to, const T *  from  ) const

inlinenoexcept

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

        {return base_call(to,from);}

operator()() [7/7]

template<class T >
requires able<T>

T * elc::defs::memory::lifetime_n::copy_construct_t::operator() ( T *  to, const T *  from, size_t  size  ) const

inlinenoexcept

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

        {return base_call(to,from,size);}

operator[]()

constexpr array_copy_construct_t elc::defs::memory::lifetime_n::copy_construct_t::operator[] ( size_t  a ) const

inlineconstexprnoexcept

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

{return{a};}

类成员变量说明

able

template<class T >

constexpr bool elc::defs::memory::lifetime_n::copy_construct_t::able =r_able<T>?true:(construct<T>.able<>&&copy_assign_able<T>)

staticconstexpr

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

nothrow

template<class T >

constexpr bool elc::defs::memory::lifetime_n::copy_construct_t::nothrow

staticconstexpr

初始值:

=r_able<T>?copy_construct_nothrow<T>:
                                        (construct<T>.nothrow<>&&copy_assign_nothrow<T>)

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

r_able

template<class T >

constexpr bool elc::defs::memory::lifetime_n::copy_construct_t::r_able

staticconstexpr

初始值:

=copy_construct_able<T>?
                                     copy_construct_trivial<T>||!(construct<T>.trivial<>&&copy_assign_trivial<T>)
                                     :false

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

trivial

template<class T >

constexpr bool elc::defs::memory::lifetime_n::copy_construct_t::trivial

staticconstexpr

初始值:

=r_able<T>?copy_construct_trivial<T>:
                                        (construct<T>.trivial<>&&copy_assign_trivial<T>)

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

---

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

• docs/all_defs.cpp