elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check > 模板结构体 参考

类 elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check > 继承关系图:

elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check > 的协作图:

Public 类型
typedef ptr_t< T, ref_type, do_replace_check >	this_t
typedef same_ref_p_t< T, ref_type >	base_t
typedef same_ref_p_t< T, ref_type >	same_ref
typedef same_ptr_p_t< T >	same_ptr

Public 成员函数
	ptr_t (T *a, special_init_t) noexcept
constexpr	ptr_t (T *a) noexcept
	ptr_t (const same_ptr &a) noexcept
	ptr_t (const same_ref &a) noexcept
	ptr_t (const ptr_t &a) noexcept
	ptr_t (const ptr_t< remove_cv< T >, ref_type, do_replace_check > &a) noexcept
	ptr_t (ptr_t &&a) noexcept
constexpr	ptr_t (nullptr_t=nullptr) noexcept
constexpr	ptr_t (null_ptr_t) noexcept
	~ptr_t () noexcept(cut_nothrow)
void	reset (T *a) const noexcept(reset_nothrow)
void	reset (nullptr_t=nullptr) const noexcept(reset_nothrow)
void	replace_check () const noexcept(replace_check_nothrow)
void	do_replace (T *p) noexcept(replace_check_nothrow &&reset_nothrow)
template<typename ref_type_ , bool do_replace_check_>
void	do_replace (const ptr_t< T, ref_type_, do_replace_check_ > &p) noexcept(replace_check_nothrow &&reset_nothrow)
T *	get () const noexcept(get_nothrow)
bool	unique () const noexcept
constexpr conditional< do_replace_check &&type_info< T >. template has_attribute_helper< replace_able >(), unstable_hash_t, hash_t >	hash () const noexcept(noexcept((elc::defs::hash(get()))))
auto	operator== (const T *a) const noexcept(noexcept((pointer_equal(add_const((::std::declval< const this_t & >()).get()), a))))
auto	operator== (nullptr_t) const noexcept(noexcept((operator==(null_ptr))))
auto	operator== (null_ptr_t) const noexcept(noexcept((operator==((T *) null_ptr))))
template<typename ref_type_ , bool do_replace_check_>
auto	operator== (const ptr_t< T, ref_type_, do_replace_check_ > &b) const noexcept(noexcept((pointer_equal((::std::declval< const this_t & >()).get(), b.get()))))
template<typename ref_type_ , bool do_replace_check_> requires (type_info<remove_cv<T>>!=type_info<T>)
auto	operator== (const ptr_t< const T, ref_type_, do_replace_check_ > &b) const noexcept(noexcept((pointer_equal((::std::declval< const this_t & >()).get(), b.get()))))
template<typename ref_type_ , bool do_replace_check_> requires (type_info<remove_cv<T>>!=type_info<T>)
auto	operator== (const ptr_t< remove_cv< T >, ref_type_, do_replace_check_ > &b) const noexcept(noexcept((pointer_equal((::std::declval< const this_t & >()).get(), add_const(b.get())))))
void	add_ref () const noexcept
void	cut_ref () const noexcept(noexcept((cut_ref(nullptr))))
void	swap_with (same_ref_p_t &a) noexcept
Public 成员函数 继承自 elc::defs::memory::ptr_n::same_ref_p_t< T, ref_type >
	same_ref_p_t (T *a) noexcept
	same_ref_p_t (const same_ptr_p_t< T > &a) noexcept
void	swap_with (same_ref_p_t &a) noexcept
Public 成员函数 继承自 elc::defs::memory::ptr_n::same_ptr_p_t< T >
	same_ptr_p_t (const same_ptr_p_t &) noexcept=default
T *	get () const noexcept

静态 Public 成员函数
static void	add_ref (T *a) noexcept
static void	cut_ref (T *a) noexcept(cut_nothrow)

Public 属性
T *	_to

静态 Public 属性
static constexpr bool	reset_nothrow =cut_nothrow
static constexpr bool	replace_check_nothrow =(type_info<T>. template not_has_has_attribute_helper< replace_able >())||reset_nothrow
static constexpr bool	get_nothrow =replace_check_nothrow
static constexpr bool	cut_nothrow
静态 Public 属性 继承自 elc::defs::memory::ptr_n::same_ref_p_t< T, ref_type >
static constexpr bool	cut_nothrow =noexcept((::std::declval< ref_type >()).cut_ref())

额外继承的成员函数
Protected 成员函数 继承自 elc::defs::memory::ptr_n::same_ref_p_t< T, ref_type >
void	cut_ref () const noexcept(noexcept((cut_ref(nullptr))))
void	add_ref () const noexcept
Protected 成员函数 继承自 elc::defs::memory::ptr_n::same_ptr_p_t< T >
	same_ptr_p_t (T *a) noexcept
静态 Protected 成员函数 继承自 elc::defs::memory::ptr_n::same_ref_p_t< T, ref_type >
static void	cut_ref (T *a) noexcept(cut_nothrow)
static void	add_ref (T *a) noexcept
Protected 属性 继承自 elc::defs::memory::ptr_n::same_ptr_p_t< T >
T *	_to

详细描述

template<class T, typename ref_type, bool do_replace_check>
struct elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >

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

成员类型定义说明

base_t

template<class T , typename ref_type , bool do_replace_check>

typedef same_ref_p_t<T,ref_type> elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::base_t

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

same_ptr

template<class T , typename ref_type , bool do_replace_check>

typedef same_ptr_p_t<T> elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::same_ptr

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

same_ref

template<class T , typename ref_type , bool do_replace_check>

typedef same_ref_p_t<T,ref_type> elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::same_ref

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

this_t

template<class T , typename ref_type , bool do_replace_check>

typedef ptr_t<T,ref_type,do_replace_check> elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::this_t

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

构造及析构函数说明

ptr_t() [1/9]

template<class T , typename ref_type , bool do_replace_check>

elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::ptr_t ( T *  a, special_init_t    )

inlineexplicitnoexcept

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

:same_ref(a){}

ptr_t() [2/9]

template<class T , typename ref_type , bool do_replace_check>

constexpr elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::ptr_t ( T *  a )

inlineconstexprnoexcept

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

:same_ref(a){add_ref();}

ptr_t() [3/9]

template<class T , typename ref_type , bool do_replace_check>

elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::ptr_t ( const same_ptr &  a )

inlinenoexcept

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

                                   :same_ref(a){
        if constexpr(type_info<T>.has_attribute(weak_ref_able) && type_info<ref_type> == type_info<ref_able<remove_cv<T>>>)
            if(get_ref_num(_to))
                add_ref();
            else
                add_ref(_to=null_ptr);
        else
            add_ref();
    }

函数调用图:

ptr_t() [4/9]

template<class T , typename ref_type , bool do_replace_check>

elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::ptr_t ( const same_ref &  a )

inlinenoexcept

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

:same_ref(a){add_ref();}

ptr_t() [5/9]

template<class T , typename ref_type , bool do_replace_check>

elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::ptr_t ( const ptr_t< T, ref_type, do_replace_check > &  a )

inlinenoexcept

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

:ptr_t((same_ptr&)a){}

ptr_t() [6/9]

template<class T , typename ref_type , bool do_replace_check>

elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::ptr_t ( const ptr_t< remove_cv< T >, ref_type, do_replace_check > &  a )

inlinenoexcept

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

:ptr_t(a.get()){}

ptr_t() [7/9]

template<class T , typename ref_type , bool do_replace_check>

elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::ptr_t ( ptr_t< T, ref_type, do_replace_check > &&  a )

inlinenoexcept

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

                           :ptr_t((same_ptr&)a){
        //为什么不默认构造后swap_with？
        /*
        直接构造：
            对目标进行addref
            移动对象析构（单次cutref）
            总耗费4
        默认构造后swap_with：
            对nullptr进行addref
            交换ptr值
            移动对象析构（单次cutref）
            总耗费6
 
        总结：多此一举
        */
    }

ptr_t() [8/9]

template<class T , typename ref_type , bool do_replace_check>

constexpr elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::ptr_t ( nullptr_t< T, ref_type, do_replace_check >  = nullptr )

inlineconstexprnoexcept

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

:ptr_t(null_ptr){}

ptr_t() [9/9]

template<class T , typename ref_type , bool do_replace_check>

constexpr elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::ptr_t ( null_ptr_t< T, ref_type, do_replace_check >  )

inlineconstexprnoexcept

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

:ptr_t((T*)(null_ptr)){}

~ptr_t()

template<class T , typename ref_type , bool do_replace_check>

elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::~ptr_t ( )

inlinenoexcept

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

{cut_ref();}

成员函数说明

add_ref() [1/2]

template<class T , typename ref_type , bool do_replace_check>

void elc::defs::memory::ptr_n::same_ref_p_t< T, ref_type >::add_ref ( ) const

inlinenoexcept

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

{add_ref(_to);}

add_ref() [2/2]

template<class T , typename ref_type , bool do_replace_check>

static void elc::defs::memory::ptr_n::same_ref_p_t< T, ref_type >::add_ref ( T *  a )

inlinestaticnoexcept

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

{attribute_ptr_cast<ref_type>(a)->add_ref();}

cut_ref() [1/2]

template<class T , typename ref_type , bool do_replace_check>

void elc::defs::memory::ptr_n::same_ref_p_t< T, ref_type >::cut_ref ( ) const

inlinenoexcept

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

{cut_ref(_to);}

cut_ref() [2/2]

template<class T , typename ref_type , bool do_replace_check>

static void elc::defs::memory::ptr_n::same_ref_p_t< T, ref_type >::cut_ref ( T *  a )

inlinestaticnoexcept

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

{attribute_ptr_cast<ref_type>(a)->cut_ref();}

do_replace() [1/2]

template<class T , typename ref_type , bool do_replace_check>

template<typename ref_type_ , bool do_replace_check_>

void elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::do_replace ( const ptr_t< T, ref_type_, do_replace_check_ > &  p )

inlinenoexcept

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

                                                                                                                      {
        do_replace(p.get());
    }

do_replace() [2/2]

template<class T , typename ref_type , bool do_replace_check>

void elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::do_replace ( T *  p )

inlinenoexcept

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

                                                                             {
        if constexpr(type_info<remove_cvref<T>>.has_attribute(replace_able)){
            attribute_ptr_cast<replace_able>(_to)->be_replace_as(p);
            reset(p);
        }
    }

get()

template<class T , typename ref_type , bool do_replace_check>

T * elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::get ( ) const

inlinenoexcept

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

                                                   {
        replace_check();
        return base_t::get();
    }

这是这个函数的调用关系图:

hash()

template<class T , typename ref_type , bool do_replace_check>

constexpr conditional< do_replace_check &&type_info< T >. template has_attribute_helper< replace_able >(), unstable_hash_t, hash_t > elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::hash ( ) const

inlineconstexprnoexcept

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

                                                                                   {//注意：当T可replace时，同一ptr的hash可能变动
        using elc::defs::hash;
        return hash(get());
    }

operator==() [1/6]

template<class T , typename ref_type , bool do_replace_check>

template<typename ref_type_ , bool do_replace_check_>
requires (type_info<remove_cv<T>>!=type_info<T>)

auto elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::operator== ( const ptr_t< const T, ref_type_, do_replace_check_ > &  b ) const

inlinenoexcept

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

     {
        return pointer_equal(get(),b.get());
    }

函数调用图:

operator==() [2/6]

template<class T , typename ref_type , bool do_replace_check>

template<typename ref_type_ , bool do_replace_check_>
requires (type_info<remove_cv<T>>!=type_info<T>)

auto elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::operator== ( const ptr_t< remove_cv< T >, ref_type_, do_replace_check_ > &  b ) const

inlinenoexcept

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

     {
        return pointer_equal(get(),add_const(b.get()));
    }

函数调用图:

operator==() [3/6]

template<class T , typename ref_type , bool do_replace_check>

template<typename ref_type_ , bool do_replace_check_>

auto elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::operator== ( const ptr_t< T, ref_type_, do_replace_check_ > &  b ) const

inlinenoexcept

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

     {
        return pointer_equal(get(),b.get());
    }

函数调用图:

operator==() [4/6]

template<class T , typename ref_type , bool do_replace_check>

auto elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::operator== ( const T *  a ) const

inlinenoexcept

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

                                                                                                                               {
        return pointer_equal(add_const(get()),a);
    }

函数调用图:

operator==() [5/6]

template<class T , typename ref_type , bool do_replace_check>

auto elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::operator== ( null_ptr_t< T, ref_type, do_replace_check >  ) const

inlinenoexcept

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

                                                                                              {
        return operator==((T*)null_ptr);
    }

函数调用图:

operator==() [6/6]

template<class T , typename ref_type , bool do_replace_check>

auto elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::operator== ( nullptr_t< T, ref_type, do_replace_check >  ) const

inlinenoexcept

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

                                                                                         {
        return operator==(null_ptr);
    }

函数调用图:

replace_check()

template<class T , typename ref_type , bool do_replace_check>

void elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::replace_check ( ) const

inlinenoexcept

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

                                                                    {
        if constexpr(do_replace_check&&type_info<remove_cvref<T>>.has_attribute(replace_able))
            if(attribute_ptr_cast<replace_able>(_to)->replaced())
                reset(attribute_ptr_cast<replace_able>(_to)->get_ptr());
    }

reset() [1/2]

template<class T , typename ref_type , bool do_replace_check>

void elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::reset ( nullptr_t< T, ref_type, do_replace_check >  = nullptr ) const

inlinenoexcept

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

{reset(null_ptr);}

函数调用图:

这是这个函数的调用关系图:

reset() [2/2]

template<class T , typename ref_type , bool do_replace_check>

void elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::reset ( T *  a ) const

inlinenoexcept

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

{auto tmp=_to;add_ref(_to=a);cut_ref(tmp);}

swap_with()

template<class T , typename ref_type , bool do_replace_check>

void elc::defs::memory::ptr_n::same_ref_p_t< T, ref_type >::swap_with ( same_ref_p_t &  a )

inlinenoexcept

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

{swap(_to,a._to);}

unique()

template<class T , typename ref_type , bool do_replace_check>

bool elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::unique ( ) const

inlinenoexcept

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

{return attribute_ptr_cast<ref_able>(get())->link_num()==1;}

类成员变量说明

_to

template<class T , typename ref_type , bool do_replace_check>

T* elc::defs::memory::ptr_n::same_ptr_p_t< T >::_to

mutable

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

cut_nothrow

template<class T , typename ref_type , bool do_replace_check>

constexpr bool elc::defs::memory::ptr_n::same_ref_p_t< T, ref_type >::cut_nothrow

staticconstexpr

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

get_nothrow

template<class T , typename ref_type , bool do_replace_check>

constexpr bool elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::get_nothrow =replace_check_nothrow

staticconstexpr

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

replace_check_nothrow

template<class T , typename ref_type , bool do_replace_check>

constexpr bool elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::replace_check_nothrow =(type_info<T>. template not_has_has_attribute_helper< replace_able >())||reset_nothrow

staticconstexpr

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

reset_nothrow

template<class T , typename ref_type , bool do_replace_check>

constexpr bool elc::defs::memory::ptr_n::ptr_t< T, ref_type, do_replace_check >::reset_nothrow =cut_nothrow

staticconstexpr

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

---

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

• docs/all_defs.cpp