std::is_invocable_v只接受类型列表，不能传具体值；正确用法是类型名或decltype表达式，配合std::declval模拟值类别，并需单独检查noexcept以确保异常安全。
std::is_invocable 不是用来“试运行”或“探测值”，它只认类型，不认实参；用错地方会直接编译失败，而不是返回 false。
std::is_invocable_v 只接受类型列表，不能传具体值
常见错误是把运行时变量或字面量当模板参数传进去，比如 std::is_invocable_v<decltype></decltype> —— 这里 42 是值，不是类型，编译器直接报错。正确写法必须是类型名或 decltype 表达式：
-
std::is_invocable_v<decltype int></decltype>✅ 检查 func 是否可用int类型调用 -
std::is_invocable_v<f std::string double></f>✅ 多参数也按类型顺序列 -
std::is_invocable_v<decltype t const char></decltype>✅ 成员函数指针需带对象类型
注意：即使 func(42) 在代码里能跑通，std::is_invocable_v<decltype decltype></decltype> 也不合法——decltype(42) 是 int，但写法上不能混用值和类型上下文。
检查引用、cv 限定和完美转发语义要用 std::declval
如果函数签名对左值/右值有区分（比如只接受 std::string&&），直接写 std::is_invocable_v<f std::string></f> 可能误判为 true（因 std::string 可隐式转成左值）。这时必须模拟实际调用语义：
立即学习“C++免费学习笔记（深入）”；
-
std::is_invocable_v<f std::declval>()></f>检查是否接受右值 -
std::is_invocable_v<f std::declval std::string>()></f>检查是否接受 const 左值 -
std::is_invocable_v<f std::declval>()></f>对基本类型也一样适用
漏掉 std::declval 就等于在检查“能不能用一个类型名当参数”，而不是“能不能用这种值类别调用”。这是泛型库里最容易忽略的一环。
std::is_invocable_r 和 noexcept 检查要分开做
std::is_invocable_r_v<r f args...></r> 只保证返回值能隐式转成 R，不保证不抛异常；C++20 里没内置的“可调用且 noexept”组合特征，得手动拼：
-
std::is_invocable_v<f args...></f>确保能调 -
std::is_invocable_r_v<r f args...></r>确保返回类型兼容 -
noexcept(std::declval<f>()(std::declval<args>()...))</args></f>单独验异常规格（注意：不能写f(args...)，f在未求值上下文里未定义）
三者缺一不可。只用 std::is_invocable_r_v 而忽略 noexcept，可能让本该 noexcept 的策略函数意外抛异常，破坏强异常安全保证。
和 std::invoke 组合使用才是完整闭环
std::is_invocable 不执行调用，std::invoke 不做检查——两者完全正交。真正在模板中安全调用，必须先检后调：
- 用
std::enable_if_t<:is_invocable_v args...>></:is_invocable_v>约束函数模板重载 - 或在 C++20 中写
requires std::is_invocable_v<f args...></f> - 实际执行统一走
std::invoke(std::forward<f>(f), std::forward<args>(args)...)</args></f>
跳过检查直接 std::invoke，一旦参数类型不匹配，报错位置在库内部（比如 __invoke 实现里），堆栈深、信息模糊；而先检查，错误停在你自己的模板约束处，定位快得多。
最常被忽略的是：std::is_invocable 对重载函数集合（如多个 operator()）只看“是否存在任一匹配”，不保证唯一；如果你依赖精确重载解析，还得配合 std::is_same_v 或 std::convertible_to 做二次筛选。
