如何无冲突扩展std::formatter？解决概念动态判定冲突

我熟悉std::formatter的显式特化方式，这种方式简单清晰，但偏特化面临不少挑战——不同C++版本（20/23/26）、各类库（包括标准库）的实现差异，导致已有偏特化的匹配逻辑非常复杂。

我开发的库包含大量自定义类型，需要适配多版本C++，让这些类型可以通过std::formatter格式化。基于Stroika库的ToString.h，我已经定义了IToString概念和ToStringFormatter结构体：

// 判断类型'T'是否支持Stroika的ToString() API
template <typename T>
concept IToString = requires (T t) { { ToString (t) } -> convertible_to<Characters::String>; };
...
template <IToString T>
struct ToStringFormatter /* : std::formatter<std::wstring>*/{...}

最初尝试的两种方案 #

• 方案1：仅为未支持std::formattable的IToString类型特化

  template <typename T>
  requires (!std::formattable<T,wchar_t> && IToString<T>)
  struct std::formatter<T, wchar_t> : ToStringFormatter<T> {};
  

  这个方案逻辑很自然，但在Visual Studio上报错C7608（原子约束需为常量表达式），推测原因是该定义会改变约束的返回值。

• 方案2：直接为所有IToString类型特化

  template <IToString T>
  struct std::formatter<T, wchar_t> : ToStringFormatter<T> {};
  

  此方案会导致同时满足formattable和IToString的类型出现歧义。

当前临时方案 #

目前我采用了包含大量条件判断的临时方案，通过自定义概念IUseToStringFormatterForFormatter_筛选需要适配的类型，但需要针对不同编译器、库（如fmtlib、libc++）的差异做大量适配，维护成本极高。

理想方案 #

我希望实现类似以下逻辑：

template <typename T>
requires (!std::formattable_SO_FAR<T,wchar_t>)
struct std::formatter<T, wchar_t> : ToStringFormatter<T> {};

其中formattable_SO_FAR的判定结果可以随编译进程动态变化——也就是只对当前编译阶段中还没有std::formatter特化的类型应用这个通用特化。

请问：当前C++语言是否支持这种基于动态可格式化性判定的std::formatter条件扩展方式？

内容的提问来源于stack exchange，提问作者lewis