elc::defs::core 命名空间参考

命名空间
namespace	core_runtime_internal_helper_n

类
struct	base_binary_function_node
struct	base_constexpr_t
struct	base_runtime_exception
struct	binary_node_base_t
struct	binary_node_t
struct	code_list
struct	common_node
struct	cons
struct	expr
struct	nil_t
struct	node_like
struct	t_t
struct	value
struct	void_t

类型定义
typedef comn_ptr_t< node_like >	ptr
typedef weak_ptr_t< node_like >	weak_ptr
typedef comn_ptr_t< const node_like >	const_ptr
typedef weak_ptr_t< const node_like >	const_weak_ptr

函数
template<typename T >
ptr	make_long_term_binary_node_from (T a) noexcept
template<typename T >
constexpr bool	as_ptr_nothrow_helper () noexcept
template<typename T >
decltype(auto)	as_ptr (T &&a) noexcept(as_ptr_nothrow_helper< T >())
template<typename T >
constexpr bool	as_value_nothrow_helper () noexcept
template<typename T >
decltype(auto)	as_value (T &&a) noexcept(as_value_nothrow_helper< T >())
ptr	make_list () noexcept
template<typename T , typename... Args>
ptr	make_list (T &&first, Args &&...rest)
constexpr node_like *	the_get_null_ptr (const node_like *) noexcept
logical_bool	the_pointer_to_bool (const node_like *a) noexcept
logical_bool	the_pointer_equal (const node_like *a, const node_like *b) noexcept
hash_t	the_pointer_hash (const node_like *a) noexcept
void	the_waiting_for_destroy (node_like *a) noexcept
void	the_destroy_and_free (node_like *a) noexcept
void	the_destroy (node_like *a) noexcept
static value::base_data_t *	the_get_null_ptr (const value::base_data_t *) noexcept
value	car_of (ptr p)
value	cdr_of (ptr p)
value	car_of (auto &&node)
value	cdr_of (auto &&node)
template<typename T >
bool	was_an (const_ptr p) noexcept
template<typename T >
maybe_fail_reference< T >	maybe_fail_use_by_ref_as (ptr p) noexcept
template<typename T >
T &	use_by_ref_as (ptr p) noexcept
template<typename T >
const T &	const_use_by_ref_as (const_ptr p) noexcept
template<typename T >
T	use_as (const_ptr p) noexcept
template<typename T >
const T &	use_by_ref_as (const_ptr p) noexcept
template<typename T >
const T &	use_by_ref_as (auto &&a) noexcept
template<typename T >
ptr	make_binary_node_from (T a) noexcept
value	eval (ptr p)
value	eval (auto &&node)

变量
elc::defs::core::void_t	the_void
elc::defs::core::nil_t	nil
elc::defs::core::t_t	t
template<typename T >
map_t< ptr, T >	long_term_binary_node_storager {}
template<>
map_t< ptr, string >	long_term_binary_node_storager< string > {}

类型定义说明

const_ptr

typedef comn_ptr_t< const node_like > elc::defs::core::const_ptr

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

const_weak_ptr

typedef weak_ptr_t< const node_like > elc::defs::core::const_weak_ptr

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

ptr

typedef comn_ptr_t< node_like > elc::defs::core::ptr

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

weak_ptr

typedef weak_ptr_t< node_like > elc::defs::core::weak_ptr

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

函数说明

as_ptr()

template<typename T >

decltype(auto) elc::defs::core::as_ptr ( T &&  a )

noexcept

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

                                                               {
    ELC_TEST_EVENTNAME("as_ptr转换");
    if constexpr(was_not_an_ill_form(ptr(&a)))
        return ptr(&a);
    elseif constexpr(was_not_an_ill_form(const_ptr(&a)))
        return const_ptr(&a);
    elseif constexpr(was_not_an_ill_form(static_cast<node_like&>(a)))
        return &static_cast<node_like&>(a);
    elseif constexpr(was_not_an_ill_form(static_cast<const node_like&>(a)))
        return &static_cast<const node_like&>(a);
    elseif constexpr(was_not_an_ill_form(static_cast<value&>(a)))
        return ptr(static_cast<value&>(a));
    elseif constexpr(was_not_an_ill_form(static_cast<const value&>(a)))
        return const_ptr(static_cast<value&>(a));
    elseif constexpr(was_not_an_ill_form(ptr(a)))
        return ptr(a);
    elseif constexpr(was_not_an_ill_form(const_ptr(a)))
        return const_ptr(a);
    elseif constexpr(type_info<remove_cvref<T>> == type_info<char_t>)
        return make_long_term_binary_node_from<char_t>(a);
    elseif constexpr(basic_integer_type<remove_cvref<T>>){
        if constexpr(signed_type<remove_cvref<T>>)
            return make_long_term_binary_node_from<int_t>(a);
        else
            return make_long_term_binary_node_from<uint_t>(a);
    }
    elseif constexpr(basic_float_type<remove_cvref<T>>)
        return make_long_term_binary_node_from<float_t>(a);
    elseif constexpr(construct<string>.able<T>){
        return make_long_term_binary_node_from<string>(a);
    }
}

函数调用图:

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

as_ptr_nothrow_helper()

template<typename T >

constexpr bool elc::defs::core::as_ptr_nothrow_helper ( )

constexprnoexcept

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

                                              {
    if constexpr(was_not_an_ill_form(ptr(&declvalue(T))))
        return noexcept(ptr(&declvalue(T)));
    elseif constexpr(was_not_an_ill_form(const_ptr(&declvalue(T))))
        return noexcept(const_ptr(&declvalue(T)));
    elseif constexpr(was_not_an_ill_form(static_cast<node_like&>(declvalue(T))))
        return noexcept(&static_cast<node_like&>(declvalue(T)));
    elseif constexpr(was_not_an_ill_form(static_cast<const node_like&>(declvalue(T))))
        return noexcept(&static_cast<const node_like&>(declvalue(T)));
    elseif constexpr(was_not_an_ill_form(static_cast<value&>(declvalue(T))))
        return noexcept(ptr(static_cast<value&>(declvalue(T))));
    elseif constexpr(was_not_an_ill_form(static_cast<const value&>(declvalue(T))))
        return noexcept(const_ptr(static_cast<value&>(declvalue(T))));
    elseif constexpr(was_not_an_ill_form(ptr(declvalue(T))))
        return noexcept(ptr(declvalue(T)));
    elseif constexpr(was_not_an_ill_form(const_ptr(declvalue(T))))
        return noexcept(const_ptr(declvalue(T)));
    elseif constexpr(type_info<remove_cvref<T>> == type_info<char_t>)
        return noexcept(make_long_term_binary_node_from<char_t>(declvalue(T)));
    elseif constexpr(basic_integer_type<remove_cvref<T>>){
        if constexpr(signed_type<remove_cvref<T>>)
            return noexcept(make_long_term_binary_node_from<int_t>(declvalue(T)));
        else
            return noexcept(make_long_term_binary_node_from<uint_t>(declvalue(T)));
    }
    elseif constexpr(basic_float_type<remove_cvref<T>>)
        return noexcept(make_long_term_binary_node_from<float_t>(declvalue(T)));
    elseif constexpr(construct<string>.able<T>){
        return noexcept(make_long_term_binary_node_from<string>(declvalue(T)));
    }
}

as_value()

template<typename T >

decltype(auto) elc::defs::core::as_value ( T &&  a )

noexcept

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

                                                                    {
    ELC_TEST_EVENTNAME("as_value转换");
    if constexpr(was_not_an_ill_form(static_cast<value&>(a)))
        return static_cast<value&>(a);
    elseif constexpr(was_not_an_ill_form(static_cast<const value&>(a)))
        return static_cast<const value&>(a);
    elseif constexpr(was_not_an_ill_form(as_ptr(declvalue(T)))){
        if constexpr(type_info<decltype(as_ptr(declvalue(T)))> == type_info<ptr>)
            return value(as_ptr(forward<T>(a)));
        elseif constexpr(type_info<decltype(as_ptr(declvalue(T)))> == type_info<const_ptr>)
            return (const value)remove_const((const node_like*)as_ptr(forward<T>(a)));
    }
}

函数调用图:

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

as_value_nothrow_helper()

template<typename T >

constexpr bool elc::defs::core::as_value_nothrow_helper ( )

constexprnoexcept

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

                                                {
    if constexpr(was_not_an_ill_form(static_cast<value&>(declvalue(T))))
        return noexcept(static_cast<value&>(declvalue(T)));
    elseif constexpr(was_not_an_ill_form(static_cast<const value&>(declvalue(T))))
        return noexcept(static_cast<const value&>(declvalue(T)));
    elseif constexpr(was_not_an_ill_form(as_ptr(declvalue(T)))){
        if constexpr(type_info<decltype(as_ptr(declvalue(T)))> == type_info<ptr>)
            return noexcept(value(as_ptr(declvalue(T))));
        elseif constexpr(type_info<decltype(as_ptr(declvalue(T)))> == type_info<const_ptr>)
            return noexcept((const value)remove_const((const node_like*)as_ptr(declvalue(T))));
    }
}

函数调用图:

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

car_of() [1/2]

value elc::defs::core::car_of ( auto &&  node )

inline

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

                               {
    return car_of(as_ptr(node));
}

函数调用图:

car_of() [2/2]

value elc::defs::core::car_of ( ptr  p )

inline

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

                          {
    return (*p)[t];
}

函数调用图:

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

cdr_of() [1/2]

value elc::defs::core::cdr_of ( auto &&  node )

inline

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

                               {
    return cdr_of(as_ptr(node));
}

函数调用图:

cdr_of() [2/2]

value elc::defs::core::cdr_of ( ptr  p )

inline

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

                          {
    return (*p)[nil];
}

函数调用图:

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

const_use_by_ref_as()

template<typename T >

const T & elc::defs::core::const_use_by_ref_as ( const_ptr  p )

inlinenoexcept

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

                                                                     {
    typedef binary_node_t<T> target_node_t;
    if(p->get_type_info() == type_info<binary_node_base_t>){
        auto base_p = down_cast<const binary_node_base_t*>(p.get());
        if(base_p->get_additional_type_info() == type_info<target_node_t>)
            return down_cast<const target_node_t*>(base_p)->_m;
        elseif constexpr(::std::is_class_v<T> && !::std::is_final_v<T>){
            try{
                base_p->throw_self_ptr();
            }
            catch(const T*aret){
                return*aret;
            }
            catch(const void*){}
        }
    }
    return const_default_value_of<T>;
}

eval() [1/2]

value elc::defs::core::eval ( auto &&  node )

inline

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

                             {
    return eval(as_ptr(node));
}

函数调用图:

eval() [2/2]

value elc::defs::core::eval ( ptr  p )

inline

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

                        {
    return p->be_eval();
}

函数调用图:

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

make_binary_node_from()

template<typename T >

ptr elc::defs::core::make_binary_node_from ( T  a )

inlinenoexcept

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

                                                          {
    return get<binary_node_t<T>>(move(a));
}

函数调用图:

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

make_list() [1/2]

ptr elc::defs::core::make_list ( )

inlinenoexcept

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

{return &nil;}

函数调用图:

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

make_list() [2/2]

template<typename T , typename... Args>

ptr elc::defs::core::make_list ( T &&  first, Args &&...  rest  )

inline

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

                                                         {
    ELC_TEST_EVENTNAME("make_list调用");
    return get<cons>(as_ptr(first),make_list(forward<Args>(rest)...));
}

函数调用图:

make_long_term_binary_node_from()

template<typename T >

ptr elc::defs::core::make_long_term_binary_node_from ( T  a )

inlinenoexcept

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

                                                                    {
    ptr& to = long_term_binary_node_storager<T>[a];
    if(!bool(to) || const_use_by_ref_as<T>(to)!=a)
        to = make_binary_node_from<T>(move(a));
    return to;
}

函数调用图:

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

maybe_fail_use_by_ref_as()

template<typename T >

maybe_fail_reference< T > elc::defs::core::maybe_fail_use_by_ref_as ( ptr  p )

inlinenoexcept

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

                                                                                   {
    typedef binary_node_t<T> target_node_t;
    if(p->get_type_info() == type_info<binary_node_base_t>){
        auto base_p = down_cast<binary_node_base_t*>(p.get());
        if(base_p->get_additional_type_info() == type_info<target_node_t>)
            return down_cast<target_node_t*>(base_p)->_m;
        elseif constexpr(::std::is_class_v<T> && !::std::is_final_v<T>){
            try{
                base_p->throw_self_ptr();
            }
            catch(T*aret){
                return*aret;
            }
            catch(void*){}
        }
    }
    return note::fail;
}

the_destroy()

void elc::defs::core::the_destroy ( node_like *  a )

inlinenoexcept

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

                                            {
    a->destroy();
}

函数调用图:

the_destroy_and_free()

void elc::defs::core::the_destroy_and_free ( node_like *  a )

inlinenoexcept

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

                                                     {
    unget(a);
}

the_get_null_ptr() [1/2]

constexpr node_like * elc::defs::core::the_get_null_ptr ( const node_like *  )

inlineconstexprnoexcept

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

{return addressof((node_like&)the_void);}

the_get_null_ptr() [2/2]

static value::base_data_t * elc::defs::core::the_get_null_ptr ( const value::base_data_t *  )

staticnoexcept

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

                                                                         {
    return&value::null_data;
}

the_pointer_equal()

logical_bool elc::defs::core::the_pointer_equal ( const node_like *  a, const node_like *  b  )

inlinenoexcept

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

                                                                                               {
    return a->eq_with(b);
}

函数调用图:

the_pointer_hash()

hash_t elc::defs::core::the_pointer_hash ( const node_like *  a )

inlinenoexcept

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

                                                                      {
    return a->operator hash_t();
}

the_pointer_to_bool()

logical_bool elc::defs::core::the_pointer_to_bool ( const node_like *  a )

inlinenoexcept

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

                                                                               {
    return a->operator logical_bool();
}

函数调用图:

the_waiting_for_destroy()

void elc::defs::core::the_waiting_for_destroy ( node_like *  a )

inlinenoexcept

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

                                                        {
    a->waiting_for_destroy();
}

use_as()

template<typename T >

T elc::defs::core::use_as ( const_ptr  p )

inlinenoexcept

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

                                                 {
    return const_use_by_ref_as<T>(p);
}

函数调用图:

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

use_by_ref_as() [1/3]

template<typename T >

const T & elc::defs::core::use_by_ref_as ( auto &&  a )

inlinenoexcept

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

                                                           {
    return use_by_ref_as<T>(as_ptr(a));
}

函数调用图:

use_by_ref_as() [2/3]

template<typename T >

const T & elc::defs::core::use_by_ref_as ( const_ptr  p )

inlinenoexcept

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

                                                               {
    return const_use_by_ref_as<T>(p);
}

函数调用图:

use_by_ref_as() [3/3]

template<typename T >

T & elc::defs::core::use_by_ref_as ( ptr  p )

inlinenoexcept

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

                                                   {
    return maybe_fail_use_by_ref_as<T>(p).get_ref();
}

函数调用图:

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

was_an()

template<typename T >

bool elc::defs::core::was_an ( const_ptr  p )

inlinenoexcept

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

                                                    {
    typedef binary_node_t<T> target_node_t;
    if(p->get_type_info() == type_info<binary_node_base_t>){
        auto base_p = down_cast<const binary_node_base_t*>(p.get());
        if(base_p->get_additional_type_info() == type_info<target_node_t>)
            return true;
        elseif constexpr(::std::is_class_v<T> && !::std::is_final_v<T>){
            try{
                base_p->throw_self_ptr();
            }
            catch(const T*){
                return true;
            }
            catch(const void*){}
        }
    }
    return false;
}

函数调用图:

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

变量说明

long_term_binary_node_storager

template<typename T >

map_t<ptr,T> elc::defs::core::long_term_binary_node_storager {}

inline

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

{};

long_term_binary_node_storager< string >

template<>

map_t<ptr,string> elc::defs::core::long_term_binary_node_storager< string > {}

inline

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

{};

nil

elc::defs::core::nil_t elc::defs::core::nil

t

elc::defs::core::t_t elc::defs::core::t

the_void

elc::defs::core::void_t elc::defs::core::the_void