vctr::is::suitableForBinaryVectorOp Concept Reference

Constrains two source types to be suitable for a an aliasing-free binary vector operation using platform vector ops. More...

Concept definition

template<class SrcA, class SrcB, class DstType>
concept vctr::is::suitableForBinaryVectorOp =  ((expressionWithEvalVectorOp < SrcA, DstType > && anyVctr < SrcB >) ||
                                     (anyVctr<SrcA> && expressionWithEvalVectorOp < SrcB, DstType >) ||
                                     (anyVctr<SrcA> && anyVctr<SrcB>)) &&
                                    std::same_as<typename std::remove_cvref_t<SrcA>::value_type, typename std::remove_cvref_t<SrcB>::value_type>

Detailed Description

Constrains two source types to be suitable for a an aliasing-free binary vector operation using platform vector ops.