elc::defs::memory::gc_n::default_gc_for_type 命名空间参考

函数
void	destory_by_gc () noexcept=delete
template<class T >
void	destory_by_gc (T *)
template<class T > requires use_default_gc_able<T>
void	default_gc_method () noexcept
template<class T > requires use_default_gc_success_identifier_able<T>
bool	default_gc_success_identifier () noexcept

变量
template<class T , class enable_state = ::std::enable_if_t< type_info<T>. template has_attribute_helper< count_able >() >>
size_t	count_for_success_identify
template<class T >
constexpr bool	use_default_gc_able
template<class T >
constexpr bool	use_default_gc_success_identifier_able = type_info<T>. template has_attribute_helper< count_able >()

函数说明

default_gc_method()

template<class T >
requires use_default_gc_able<T>

void elc::defs::memory::gc_n::default_gc_for_type::default_gc_method ( )

inlinenoexcept

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

                                           {
        constexpr auto&info=type_info<T>;
        //
        if constexpr(info.has_attribute(count_able))
            count_for_success_identify<T> = the_number_of(info);
        //
        if constexpr(info.has_attribute(can_map_all)){
            if constexpr(info.has_attribute(mark_able_for_gc)&&info.has_attribute(have_root))
                roots_of<T>.map_and_mark();
            if constexpr(info.has_attribute(can_shrink) || (info.has_attribute(mark_able_for_gc)&&info.has_attribute(have_root)))
                map_all<T>(
                    λ(T*a)noexcept{
                        if constexpr(info.has_attribute(can_shrink))
                            a->shrink();
                        if constexpr(info.has_attribute(mark_able_for_gc)&&info.has_attribute(have_root)){
                            auto& b=attribute_cast<mark_able_for_gc>(*a);
                            if(b.was_marked())
                                b.unmark();
                            else
                                destory_by_gc(a);
                        }
                    }
                );
        }
    }

函数调用图:

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

default_gc_success_identifier()

template<class T >
requires use_default_gc_success_identifier_able<T>

bool elc::defs::memory::gc_n::default_gc_for_type::default_gc_success_identifier ( )

inlinenoexcept

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

                                                                    {
        constexpr auto&info=type_info<T>;
        if constexpr(info.has_attribute(count_able)){//重复判定，勿删，方便日后扩展
            return count_for_success_identify<T> _big_than_ the_number_of(info);
        }
    }

函数调用图:

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

destory_by_gc() [1/2]

void elc::defs::memory::gc_n::default_gc_for_type::destory_by_gc ( )

deletenoexcept

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

destory_by_gc() [2/2]

template<class T >

void elc::defs::memory::gc_n::default_gc_for_type::destory_by_gc

(

T *

)

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

                          {
        template_error("this function should not be instantiated,please overload the function destory_by_gc in the namespace where this type is defined.");
    }

函数调用图:

变量说明

count_for_success_identify

template<class T , class enable_state = ::std::enable_if_t< type_info<T>. template has_attribute_helper< count_able >() >>

size_t elc::defs::memory::gc_n::default_gc_for_type::count_for_success_identify

inline

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

use_default_gc_able

template<class T >

constexpr bool elc::defs::memory::gc_n::default_gc_for_type::use_default_gc_able

constexpr

初始值:

=
    (
        type_info<T>. template  has_attribute_helper< mark_able_for_gc >() &&
        type_info<T>. template  has_attribute_helper< have_root >()
    )&&(
            type_info<T>. template  has_attribute_helper< can_map_all >()
        &&(
                type_info<T>. template  has_attribute_helper< can_shrink >()
            ||(
                type_info<T>. template  has_attribute_helper< mark_able_for_gc >() &&
                type_info<T>. template  has_attribute_helper< have_root >()
            )
        )
    )

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

use_default_gc_success_identifier_able

template<class T >

constexpr bool elc::defs::memory::gc_n::default_gc_for_type::use_default_gc_success_identifier_able = type_info<T>. template has_attribute_helper< count_able >()

constexpr

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