标准是否允许将通用 lambda 自然转换为强类型 std::function？

Question

std::function<void(int, char*)> foo = [](auto, auto) {}; // g++ compiles!

IMO 它绕过了类型安全。

• 是否按标准允许？
• 有什么办法可以禁止这种情况吗？ 即。 std::function接受强类型 lambda-s 的替代方法

---

动机

从功能的角度来看，如各种评论中所述，这样的 lambda-s 就很好。 但是，当用户创建这样的通用 lambda-s 时，代码浏览器在其 scope 中不可用。

例如

[] (Myclass object) { return object.foo(); } // Can go inside `foo()`
[] (auto object) { return object.foo(); } // Can't go inside `foo()`

这听起来可能是一个天真的理由来禁止某人使用此类功能。 但对我来说，能够在大多数代码中有效地使用代码浏览器很重要。