std::is_invocable_v只接受类型参数，传值（如42）会导致编译失败；需用decltype或std::declval模拟值类别，并常与std::is_invocable_r_v和noexcept配合使用。
直接说结论：std::is_invocable_v 只认类型，不认值；传错参数（比如把 42 当类型塞进去）会编译失败，不是返回 false。
std::is_invocable_v 为什么传值就报错？
它是个编译期模板元函数，所有参数都必须是类型——int、std::string、decltype(func) 这类。常见错误是写成 std::is_invocable_v<decltype></decltype>，其中 42 是字面量（值），不是类型，编译器直接拒绝解析。
-
std::is_invocable_v<decltype int></decltype>✅ 正确：用类型名 -
std::is_invocable_v<decltype decltype></decltype>✅ 正确：用decltype提取类型 -
std::is_invocable_v<decltype></decltype>❌ 编译失败：字面量不能作模板实参
检查引用/右值语义必须用 std::declval
如果函数只接受 std::string&& 或 const T&，光写 std::is_invocable_v<f std::string></f> 会误判：因为 std::string 类型本身可隐式转成左值，但你真正想测的是“能不能传一个右值进去”。
-
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::string></f>⚠️ 可能为 true，但实际调用f(std::string{})仍可能失败
std::is_invocable_r_v 不检查 noexcept，得手动补
std::is_invocable_r_v<r f args></r> 只保证返回值能转成 R，完全不管异常——哪怕你写了 noexcept，它也当没看见。
立即学习“C++免费学习笔记（深入）”；
- 要确保不抛异常，必须额外加：
noexcept(std::declval<f>()(std::declval<args>()...))</args></f> - 三者常需并用：
std::is_invocable_v<f args></f>+std::is_invocable_r_v<r f args></r>+noexcept(...) - 漏掉
noexcept检查，在强异常安全策略里可能让本该noexcept的路径意外抛出，破坏契约
最容易被忽略的是 std::declval 的必要性——不写它，就等于在检查“类型能不能当参数名”，而不是“这种值类别能不能真调用成功”。
