5

Author: wicyn

taskflowlite/core/async_task.hpp

@@ -1,4 +1,4 @@
-/// @file  async_task.hpp
+/// @file  async_task.hpp
 /// @brief 异步任务句柄 AsyncTask —— 动态 Work 节点的引用计数式值类型包装。
 /// @author wicyn
 /// @contact https://github.com/wicyn
@@ -58,7 +58,7 @@ class AsyncTask {
     /// @param task  可调用对象。
     /// @param args  任务参数。
     template <typename T, typename... Args>
-        requires (capturable<T, Args...> && basic_invocable<T, Args...>)
+        requires (!any_async_task<std::remove_cvref_t<T>> && capturable<T, Args...> && basic_invocable<T, Args...>)
     explicit AsyncTask(T&& task, Args&&... args);
 
     /// @brief 用运行时可调用对象构造异步任务（可通过 Runtime 动态操纵图结构）。
@@ -68,7 +68,7 @@ class AsyncTask {
     /// @param task  可调用对象（签名为 void(Runtime&, Args...) 或其返回版）。
     /// @param args  任务参数。
     template <typename T, typename... Args>
-        requires (capturable<T, Args...> && runtime_invocable<T, Args...>)
+        requires (!any_async_task<std::remove_cvref_t<T>> && capturable<T, Args...> && runtime_invocable<T, Args...>)
     explicit AsyncTask(T&& task, Args&&... args);
 
     /// @brief 用任务图构造，执行一次。
@@ -518,7 +518,7 @@ inline AsyncTask<Mode>::AsyncTask(Work* w) noexcept : m_work{w} {
 
 template <typename Mode>
 template <typename T, typename... Args>
-    requires (capturable<T, Args...> && basic_invocable<T, Args...>)
+    requires (!any_async_task<std::remove_cvref_t<T>> && capturable<T, Args...> && basic_invocable<T, Args...>)
 inline AsyncTask<Mode>::AsyncTask(T&& task, Args&&... args)
     : AsyncTask{make_attached_basic<anchor::none_t>(
           /*executor=*/ nullptr,
@@ -528,7 +528,7 @@ inline AsyncTask<Mode>::AsyncTask(T&& task, Args&&... args)
 
 template <typename Mode>
 template <typename T, typename... Args>
-    requires (capturable<T, Args...> && runtime_invocable<T, Args...>)
+    requires (!any_async_task<std::remove_cvref_t<T>> && capturable<T, Args...> && runtime_invocable<T, Args...>)
 inline AsyncTask<Mode>::AsyncTask(T&& task, Args&&... args)
     : AsyncTask{make_attached_runtime<anchor::none_t>(
           /*executor=*/ nullptr,