Lumiera  0.pre.03
»edit your freedom«
CommonResultYield< T1, T2, bool > Struct Template Reference

#include "lib/meta/value-type-binding.hpp"

Description

template<typename T1, typename T2, bool = has_TypeResult<std::common_type<T1,T2>>()>
struct lib::meta::CommonResultYield< T1, T2, bool >

Decision helper to select between returning results by value or reference.

  • when both types can not be reconciled, no type result is provided; this case can be detected by a compile-time bool-check
  • when one of both types is const, the ResType will be const
  • when both types are LValue-references, then the result will be a reference, otherwise the result will be a value type
    See also
    IterExplorer::expand()

Definition at line 139 of file value-type-binding.hpp.

+ Inheritance diagram for CommonResultYield< T1, T2, bool >:
+ Collaboration diagram for CommonResultYield< T1, T2, bool >:

The documentation for this struct was generated from the following file: