is_consteval

deepgrace · Apr 27, 2024 · 80bae99 · 80bae99
1 parent 83689a8
commit 80bae99
Show file tree

Hide file tree

Showing 4 changed files with 22 additions and 1 deletion.
diff --git a/Tutorial.md b/Tutorial.md
@@ -1598,6 +1598,12 @@ int main(int argc, char* argv[])
     a = std::string("[]<template auto ...>(){}();");
     any_visit(show, a);
 
+    is_identical<is_consteval([]{})>();
+    is_identical<!is_consteval(show)>();
+
+    is_identical<is_consteval_v<decltype([]{})>>();
+    is_identical<!is_consteval_v<std::tuple<int>>>();
+
     capture_invoke(pf)(1, 2, 3);
     capture_invoke(pf, 3)(1, 2);
 

diff --git a/example/monster.cpp b/example/monster.cpp
@@ -1596,6 +1596,12 @@ int main(int argc, char* argv[])
     a = std::string("[]<template auto ...>(){}();");
     any_visit(show, a);
 
+    is_identical<is_consteval([]{})>();
+    is_identical<!is_consteval(show)>();
+
+    is_identical<is_consteval_v<decltype([]{})>>();
+    is_identical<!is_consteval_v<std::tuple<int>>>();
+
     capture_invoke(pf)(1, 2, 3);
     capture_invoke(pf, 3)(1, 2);
 

diff --git a/include/monster.hpp b/include/monster.hpp
@@ -5613,6 +5613,15 @@ namespace monster
     template <typename... Args>
     overload_sequence(Args&&...) -> overload_sequence<Args...>;
 
+    template <typename T>
+    consteval bool is_consteval(T&& t)
+    {
+        return requires { typename std::bool_constant<(t(), true)>; };
+    }
+
+    template <typename T>
+    inline constexpr auto is_consteval_v = is_consteval(T());
+
     template <auto... N, typename F, typename... Args>
     constexpr decltype(auto) call_operator(F&& f, Args&&... args)
     {

diff --git a/include/version.hpp b/include/version.hpp
@@ -20,7 +20,7 @@
  *   time a set of code changes is merged to the master branch.
  */
 
-#define MONSTER_VERSION_NUMBER 311
+#define MONSTER_VERSION_NUMBER 312
 #define MONSTER_VERSION_STRING "Monster/" MONSTER_STRINGIZE(MONSTER_VERSION_NUMBER)
 
 #endif