LMCAS::Result< void >类 参考

#include <result.hpp>

类 LMCAS::Result< void > 继承关系图:

LMCAS::Result< void > 的协作图:

Public 成员函数
const CasError &	error () const
bool	has_value () const noexcept
	operator bool () const noexcept
void &	value ()

静态 Public 成员函数
static Result	failure (CasErrc code, std::string message, std::string operation={})
static Result	failure (CasError error)
static Result	success ()

Private 成员函数
	Result ()=default
	Result (CasError error)

Private 属性
CasError	error_ {}
bool	has_error_ = false
std::variant< void, CasError >	storage_

详细描述

在文件 result.hpp 第 95 行定义.

构造及析构函数说明

Result() [1/2]

LMCAS::Result< void >::Result ( )

privatedefault

被这些函数引用 failure(), failure() , 以及 success().

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

Result() [2/2]

LMCAS::Result< void >::Result ( CasError error )

inlineexplicitprivate

在文件 result.hpp 第 116 行定义.

: has_error_(true), error_(std::move(error)) {}

引用了 error(), error_ , 以及 has_error_.

函数调用图:

成员函数说明

error()

const CasError & LMCAS::Result< void >::error ( ) const

inline

在文件 result.hpp 第 109 行定义.

                                  {
        if (!has_error_) throw std::logic_error("Result does not contain an error");
        return error_;
    }

引用了 error_ , 以及 has_error_.

被这些函数引用 Result(), failure() , 以及 LMCAS::anonymous_namespace{assumption_context.cpp}::has_visible_proof().

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

failure() [1/2]

Result LMCAS::Result< void >::failure ( CasErrc code, std::string message, std::string operation = {} )

inlinestatic

在文件 result.hpp 第 99 行定义.

                                              {}) {
        return Result(CasError{code, std::move(message), std::move(operation)});
    }

引用了 Result().

被这些函数引用 LMCAS::apply_assumption_decl_checked(), LMCAS::property_detail::checked_property_update(), LMCAS::property_detail::invalid_empty_symbol(), LMCAS::validate_property_interval() , 以及 LMCAS::with_assumptions().

函数调用图:

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

failure() [2/2]

Result LMCAS::Result< void >::failure ( CasError error )

inlinestatic

在文件 result.hpp 第 104 行定义.

{ return Result(std::move(error)); }

引用了 Result() , 以及 error().

函数调用图:

has_value()

bool LMCAS::Result< void >::has_value ( ) const

inlinenoexcept

在文件 result.hpp 第 106 行定义.

{ return !has_error_; }

引用了 has_error_.

被这些函数引用 operator bool().

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

operator bool()

LMCAS::Result< void >::operator bool ( ) const

inlineexplicitnoexcept

在文件 result.hpp 第 107 行定义.

{ return has_value(); }

引用了 has_value().

函数调用图:

success()

Result LMCAS::Result< void >::success ( )

inlinestatic

在文件 result.hpp 第 97 行定义.

{ return Result(); }

引用了 Result().

被这些函数引用 LMCAS::property_detail::checked_property_update(), LMCAS::anonymous_namespace{relation_store.cpp}::declare_comparison_sign(), LMCAS::anonymous_namespace{relation_store.cpp}::derive_comparison_sign(), LMCAS::validate_property_interval() , 以及 LMCAS::with_assumptions().

函数调用图:

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

value()

void & LMCAS::Result< void >::value ( )

inline

在文件 result.hpp 第 67 行定义.

               {
        if (!has_value()) throw std::logic_error("Result does not contain a value");
        return std::get<T>(storage_);
    }

类成员变量说明

error_

CasError LMCAS::Result< void >::error_ {}

private

在文件 result.hpp 第 119 行定义.

被这些函数引用 Result() , 以及 error().

has_error_

bool LMCAS::Result< void >::has_error_ = false

private

在文件 result.hpp 第 118 行定义.

被这些函数引用 Result(), error() , 以及 has_value().

storage_

std::variant<void, CasError> LMCAS::Result< void >::storage_

private

在文件 result.hpp 第 90 行定义.

---

该类的文档由以下文件生成:

• include/result.hpp