range-v3 icon indicating copy to clipboard operation
range-v3 copied to clipboard

Relax indirect callable constraints

Open jehelset opened this issue 2 years ago • 0 comments

Introduces a new indirect-callable-trait called indirect_value_t to ensure correct value-type computation for algorithms that take projections. Instead of forming a reference to the invoke-result of the projection, it now computes the invoke-result of the projection with a reference to the iterators value-type.

Projections are discriminated from iterators by the existence of a nested typedef indirect_value_type.

More details here: https://jehelset.gitlab.io/cpp/relaxing-ranges-just-a-smidge/

I was a bit unsure what was the idiomatic way to check for the existence of a nested member-type in ranges-v3.

jehelset avatar Jun 18 '22 22:06 jehelset