如果在 C++ 20 或启用了 Concepts TS，则这是一个布尔概念，用于匹配具有 value_type、error_type 和 no_value_policy_type 成员 typedef 的类型；该类型可转换为 basic_result<value_type, error_type, no_value_policy_type>；并且 basic_result<value_type, error_type, no_value_policy_type> 是该类型的基础类型。

如果没有 Concepts，则这是一个静态 constexpr bool，对于满足相同要求的类型为 true，使用基于 SFINAE 的模拟。

此概念匹配任何提供与 basic_result<T, E, NoValuePolicy> 相同的 typedef 的类型，并将该 basic_result 作为基类，并且可以隐式转换为 basic_result。虽然不能保证，但该类型很可能是 basic_result，或者从 basic_result 公开继承。 如果你想要匹配任何 value-or-error 类型的东西，请考虑 value_or_error<T>。 如果你想要完全匹配 basic_result 的东西，请使用 is_basic_result<T> 。

命名空间: BOOST_OUTCOME_V2_NAMESPACE::concepts

头文件: <boost/outcome/basic_result.hpp>