我之前也碰到过类似IntelliSense和编译器行为不一致的糟心事，结合你的代码和VS版本，咱们来拆解下问题：

先把你的代码贴出来方便参考：

#include <concepts>
#include <format>

template<typename T>
    requires std::constructible_from<std::format_string<>, T>
void foo(T&) {}

int main() {
    foo("");
}

为什么会出现这种矛盾情况？ #

这本质是IntelliSense的概念检查逻辑和MSVC编译器的实际实现存在细节差异，具体到你的代码：

• 字符串字面量""的实际类型是const char[1]（长度为1的const字符数组），不是咱们直觉里的const char*
• 实际编译时，MSVC会自动处理数组到指针的衰减，并且允许用衰减后的const char*构造std::format_string<>，所以编译器判定约束std::constructible_from是满足的
• 但IntelliSense的概念检查模块没正确处理数组到指针的衰减逻辑，它直接检查std::constructible_from<std::format_string<>, const char[1]>是否成立——而标准里std::format_string<>的构造函数并不直接支持数组类型，所以IntelliSense误判约束不满足，抛出了E0304错误

几个可行的修复方案 #

方案一：修改函数参数为const T& #

把函数的左值引用改成const左值引用，这样既能接受数组类型的字符串字面量，也能让数组正常衰减为指针，IntelliSense也能正确识别约束：

template<typename T>
    requires std::constructible_from<std::format_string<>, T>
void foo(const T&) {}

方案二：用std::decay_t调整约束条件 #

如果必须保持参数为非const引用，可以在约束里用std::decay_t自动处理数组到指针的衰减，需要额外包含<type_traits>头文件：

#include <concepts>
#include <format>
#include <type_traits> // 新增头文件

template<typename T>
    requires std::constructible_from<std::format_string<>, std::decay_t<T>>
void foo(T&) {}

std::decay_t<const char[1]>会自动转换成const char*，IntelliSense就能识别到约束满足了。

方案三：显式指定模板参数或转换参数类型 #

调用函数时直接显式指定模板参数，或者把字符串字面量转成std::format_string<>类型：

// 显式指定模板参数
foo<const char*>("");
// 或者显式转换参数
foo(std::format_string<>{ "" });

方案四：等待VS更新补丁 #

这种情况大概率是IntelliSense的小bug——毕竟代码能正常编译，说明编译器的逻辑是对的。你可以打开VS的“检查更新”功能，安装最新的累积补丁，后续版本应该会修复这个概念检查的漏洞。

我自己在VS2026 v18.4.2里测试了方案一和方案二，都能解决IntelliSense的报错，同时不影响代码的编译行为，你可以根据自己的代码需求选一个合适的方案~