std::is_callable类型特性存在哪些设计缺陷？

自2017年3月13日起，std::is_callable已从cppreference移除，其最后可查的描述存档于Wayback Machine的2016年11月21日版本。

std::is_callable与替代它的std::is_invocable核心区别在于：前者采用单一模板参数template <class FnArgs>，需特化为FnArgs = Fn(Args...)形式（其中Fn是待测试的可调用类型，Args...是参数类型）；后者则使用分离的模板参数template <class Fn, class... Args>。

针对std::is_callable的Fn(Args...)设计方式，存在以下问题：

核心语义误导 #

在常规函数类型的定义中，Fn(Args...)里的Fn代表返回值类型，但在std::is_callable的设计中，Fn却被用来表示可调用类型，这种和常规认知相悖的设计会直接造成开发者的理解混淆。

其他设计缺陷 #

• 类型兼容性限制：并非所有类型都能作为函数的返回或参数类型，例如void、抽象类、C数组、函数类型、“畸形函数类型”（abominable function types）、不完全类型等，这会大幅限制std::is_callable的适用范围。
• 参数退化与限定符丢失：函数参数中的数组和函数类型会自动退化为指针，且顶层cv限定符会被丢弃（符合C++23 [dcl.fct]#5规范），这会导致测试结果和开发者实际预期的参数类型不匹配，引发逻辑偏差。
• 歧义风险：该设计在某些场景下会引发歧义，导致模板推导或特化出现意外行为，增加代码的调试难度。
• 标准化改进：针对上述缺陷，LWG2895提案将该设计改为分离模板参数的形式，也就是最终标准化的std::is_invocable。

编译器支持情况 #

目前仅MSVC v19.10编译器可正常使用std::is_callable，其他编译器均会提示std命名空间中不存在该类型。开发者可通过该编译器深入理解此类型特性，比如参考P0604r0中Alisdair Meredith的示例。

内容的提问来源于stack exchange，提问作者Dr. Gut