Add deduction guides for blocked_nd_range

source/elements/oneTBB/source/algorithms/blocked_ranges/blocked_nd_range_cls.rst

@@ -1,4 +1,4 @@
-.. SPDX-FileCopyrightText: 2019-2024 Intel Corporation
+.. SPDX-FileCopyrightText: 2019-2025 Intel Corporation
 .. SPDX-FileCopyrightText: Contributors to the oneAPI Specification project.
 ..
 .. SPDX-License-Identifier: CC-BY-4.0
@@ -45,8 +45,20 @@ For example, ``blocked_nd_range<int,2>`` is analogous but not identical to ``blo
                 // Access
                 bool is_divisible() const;
                 const dim_range_type& dim(unsigned int dimension) const;
-            };
+            }; // class blocked_nd_range
 
+            // Deduction Guides
+            template <typename Value, typename... Values>
+            blocked_nd_range(blocked_range<Value>, blocked_range<Values>...)
+            -> blocked_nd_range<Value, 1 + sizeof...(Values)>;
+
+            template <typename Value, unsigned int N>
+            blocked_nd_range(const Value (&)[N], typename blocked_nd_range<Value, N>::size_type = 1)
+            -> blocked_nd_range<Value, N>;
+
+            template </*see-below*/>
+            blocked_nd_range(/*see-below*/)
+            -> blocked_nd_range</*see-below*/>;
         } // namespace tbb
     } // namespace oneapi        
 
@@ -171,9 +183,62 @@ Other dimensions and the grain sizes for each subrange remain the same as in the
 
 **Returns:** ``blocked_range`` containing the value space along the dimension specified by the argument.
 
+Deduction Guides
+----------------
+
+.. code:: cpp
+
+    template <typename Value, typename... Values>
+    blocked_nd_range(blocked_range<Value>, blocked_range<Values>...)
+    -> blocked_nd_range<Value, 1 + sizeof...(Values)>;
+
+**Effects:**: Enables deduction when a set of ``blocked_range`` objects is passed to the ``blocked_nd_range`` constructor.
+
+**Constraints:**: Participates in overload resolution only if all of the types in ``Values`` are same as ``Value``.
+
+.. code:: cpp
+
+    template <typename Value, unsigned int N>
+    blocked_nd_range(const Value (&)[N], typename blocked_nd_range<Value, N>::size_type = 1)
+    -> blocked_nd_range<Value, N>;
+
+**Effects:**: Enables deduction from a single C array object indicating a set of dimension sizes.
+
+.. code:: cpp
+
+    template </*see-below*/>
+    blocked_nd_range(/*see-below*/)
+    -> blocked_nd_range(/*see-below*/);
+
+**Effects:**: Enables deduction when a set of ``blocked_range`` objects is provided as braced-init-lists to the ``blocked_nd_range`` constructor.
+
+**Example**: ``blocked_nd_range range({0, 100}, {0, 100, 50})`` should deduce ``range`` as ``blocked_nd_range<int, 2>``.
+
+This deduction guide should have one of the signatures below:
+
+    .. code:: cpp
+
+        template <typename Value, typename... Values>
+        blocked_nd_range(std::initializer_list<Value>, std::initializer_list<Values>...)
+        -> blocked_nd_range<Value, 1 + sizeof...(Values)>;
+
+    **Constraints:** Participates in overload resolution only if ``sizeof...(Values) > 0`` and all types in ``Values`` are the same as ``Value``.
+
+    or
+
+    .. code:: cpp
+
+        template <typename Value, unsigned int... Ns>
+        blocked_nd_range(const Value (&... dim)[Ns])
+        -> blocked_nd_range<Value, sizeof...(Ns)>;
+
+    **Constraints:** Participates in overload resolution only if ``sizeof...(Ns) > 1`` and ``N == 2`` or ``N == 3`` for each ``N`` in ``Ns``.
+
+In addition to the explicit deduction guides above, the implementation shall provide implicit or explicit deduction guides for copy constructor,
+move constructor and constructors taking ``split`` and ``proportional_split`` arguments.
+
 See also:
 
 * :doc:`blocked_range <blocked_range_cls>`
 * :doc:`blocked_range2d <blocked_range2d_cls>`
 * :doc:`blocked_range3d <blocked_range3d_cls>`
-