Cppformat项目中is_formattable对void类型的处理优化

在C++格式化库Cppformat的最新开发中，开发团队发现并修复了一个关于类型特性检测的重要问题。该问题涉及is_formattable类型特性对void类型的处理方式，这一改进使得库的类型系统更加完善和健壮。

is_formattable是Cppformat库中用于检测某个类型是否可格式化的关键类型特性。在原始实现中，当尝试检测void类型时，编译器会报出"forming reference to void"的错误。这是因为实现中使用了std::declval<T&>()来创建类型引用，而C++标准明确规定不能创建void类型的引用。

这个问题在模板元编程场景下尤为突出。例如，当开发者希望编写一个同时处理void类型和其他可格式化类型的模板时，使用std::is_void<T>::value || is_formattable<T, Char>::value这样的条件会导致编译失败，因为is_formattable的实例化会先于逻辑或运算的执行。

开发团队经过讨论后，决定修改is_formattable的实现，使其能够正确处理void类型。修复方案是在类型检测前先检查是否为void类型，如果是则直接返回false。这一修改不仅解决了编译错误问题，还保持了类型特性的一致性——void类型确实不可格式化，因此返回false是符合逻辑的行为。

进一步的优化建议还包括使用std::is_void替代std::is_same来检测void类型，这样可以正确处理带有cv限定符(const/volatile)的void类型变体。这一改进已经被合并到相关的拉取请求中。

这个问题的修复体现了Cppformat团队对库的健壮性和开发者体验的重视。通过使类型特性更加完善，开发者在使用模板和类型特性进行元编程时能够获得更一致的体验，减少了遇到意外编译错误的情况。这也是现代C++库设计中类型系统完备性的一个典型案例。