Templated accessing via at() requires CTAD

stephanlachnit · stephanlachnit · commit 450a611adb51 · 2024-11-18T13:54:12.000+01:00
diff --git a/include/experimental/__p0009_bits/mdspan.hpp b/include/experimental/__p0009_bits/mdspan.hpp
@@ -224,6 +224,7 @@ class mdspan
   //--------------------------------------------------------------------------------
   // [mdspan.basic.mapping], mdspan mapping domain multidimensional index to access codomain element
 
+  #if defined(_MDSPAN_USE_CLASS_TEMPLATE_ARGUMENT_DEDUCTION)
   MDSPAN_TEMPLATE_REQUIRES(
     class... SizeTypes,
     /* requires */ (
@@ -245,6 +246,7 @@ class mdspan
     }
     return __accessor_ref().access(__ptr_ref(), __mapping_ref()(static_cast<index_type>(std::move(indices))...));
   }
+  #endif
 
   MDSPAN_TEMPLATE_REQUIRES(
     class SizeType,

Original file line number	Diff line number	Diff line change
`@@ -224,6 +224,7 @@ class mdspan`
`224`	`224`	`//--------------------------------------------------------------------------------`
`225`	`225`	`// [mdspan.basic.mapping], mdspan mapping domain multidimensional index to access codomain element`
`226`	`226`
	`227`	`+ #if defined(_MDSPAN_USE_CLASS_TEMPLATE_ARGUMENT_DEDUCTION)`
`227`	`228`	`MDSPAN_TEMPLATE_REQUIRES(`
`228`	`229`	`class... SizeTypes,`
`229`	`230`	`/* requires */ (`
`@@ -245,6 +246,7 @@ class mdspan`
`245`	`246`	`}`
`246`	`247`	`return __accessor_ref().access(__ptr_ref(), __mapping_ref()(static_cast<index_type>(std::move(indices))...));`
`247`	`248`	`}`
	`249`	`+ #endif`
`248`	`250`
`249`	`251`	`MDSPAN_TEMPLATE_REQUIRES(`
`250`	`252`	`class SizeType,`