报告可以转换为 requires 子句的 std::enable_if 构造。