Visual Studio 2022 版本 17.12 中的 MSVC 编译器语言更新

[微软技术分享]

为了与 Visual Studio 2022 版本 17.12 的发布保持一致，并根据从社区收到的反馈，MSVC 编译器团队希望为发布中客户报告的问题提供更大的 C++ 语言级修复可见性。这类似于标准库团队发布常规更改日志的方式（请参阅VS 2022 17.12以供参考）。Visual Studio 2022 版本 17.12 的重点主要是解决通过开发者社区报告的错误。

C++23 功能：

虽然我们的总体重点是修复通过开发者社区报告的错误，但我们实现了一个 C++23 功能来解决一个问题。

• P2128R6多维下标运算符。本文支持以下代码：

struct Array {
    int arr[2][2];
    int operator[](int x, int y) const {
        return arr[x][y];
    }
};
int main() {
    Array arr = { {
        { 1, 2 },
        { 3, 4 }
    } };
    return arr[1, 1]; // Returns 4.
}

• 这解决了以下开发者社区问题。std ::mdspan 无法与 [] 运算符配合使用 – 开发者社区

在接下来的几个 MSVC 工具集更新版本中，编译器团队将大力致力于提高 C++23 的一致性。

开发者社区的反馈：

首先，感谢大家花时间在开发者社区门户上报告 MSVC 编译器问题。我们非常重视和严肃地对待您的报告。我们知道我们无法及时响应所有问题，因此一些错误报告会在多个版本中停留而得不到解决。我们会做得更好，并努力尽可能地提高我们的开发人员能力。在我们解决这些问题期间，我们非常感谢您的耐心和理解。

修复

• 在返回语句中使用三元运算符时不执行 C++ 复制省略
• 在带有 /permissive- 的 for 循环中使用明确创建的初始化列表时访问无效内存
• “C4388 – 有符号/无符号不匹配”未触发 sizeof
• 错误消息“预定义 C++ 类型（编译器内部），继续执行，无需源注释”
• MSVC++ 16.8 中的回归：C++ 多重继承错误地允许访问私有基类的运算符（）
• 带有 constexpr 函数的 std::invoke 错误地 noexcept 带有 /permissive
• 错误 C7608：原子约束应为常量表达式
• 持续求值不适用于 msvc 19 最新版
• 在模块中使用 std::format 需要在使用该模块的 .cpp 文件中包含格式标头
• [[msvc::no_unique_address]] 嵌套非唯一地址空类的不符合要求的类布局
• 在其他模块中未找到模块中 std::formatter 的部分专门化。
• std::mdspan 无法与 [] 运算符一起使用
• 显式模板实例错误地检查了私有基类的可访问性
• C++ 模块和协程的内部编译器错误
• MSVC 的 __declspec(empty_bases) 和 [[msvc::no_unique_address]] 不能一起工作
• 使用 /std:c++20 编译以下代码时，编译器会挂起
• stdexec 元编程中的 ICE
• 如果在 lambda 中的别名模板中评估 constexpr，则为 false 分支
• MSVC 错误地认为一个普通但 noexcept(false) 的析构函数是不会抛出的
• MSVC 错误地认为对 cv-/ref 限定函数类型的引用在 require-expression 中有效
• C++ 模块：使用 std::stacktrace 时出现内部编译器错误
• 无法使用 bool 值类型构造从 std::expected 派生的类
• ICE 模板代码和朋友
• 由于在 require-expression 中未使用括号“sizeof”而导致的内部编译器错误
• MSVC 错误递归别名错误
• 使用 /Gv 明确实例化自动成员函数时出现虚假 C4716
• [回归] static_assertVS 2022 17.11 预览版 1.0 中的虚假故障
• 代码在 GCC 和 Clang 中编译，但在 MSVC 中失败
• ICE 关于无效要求条款
• C++requires requires解析错误？
• VS2022 17.10 中出现简单代码时出现严重错误 C1001
• 内部编译器错误
• C++ 编译器回归 constexpr 构造函数
• 17.10.1 中的 C++ 编译器错误：std::enable_if_t SFINAE 无法解析模板函数
• C++ 20 头单元问题
• __builtin_bit_cast 内部编译器错误
• 使用初始化器引用常量位字段的 lambda 表达式中的捕获完全被破坏
• 与“需要”相关的内部编译器错误
• VS 2022 17.11.0 预览版 2：智能感知或编译器错误：类型不是类模板
• 构建 32 位 x86 代码时，错误 C7576 在 cl.exe 中产生“未处理的异常”错误
• 拒绝 new 表达式中带有括号初始化器的有效 auto
• __is_nothrow_assignable 内置函数产生错误值
• tab-complete.c(4023)：致命错误 C1001：内部编译器错误。（编译器文件“msc1.cpp”，第 1611 行）
• 没有关于弃用枚举用法的警告
• 带 STD 模块使用的 ICE（编译器文件“msc1.cpp”，第 1587 行）
• 通过模板类与函数建立友谊会产生内部错误。
• 回归：嵌套 lambda 中需要使用推断参数进行 constexpr 捕获
• 模板 lambda 内部嵌套模板包的扩展
• 根据参数包通过默认参数初始化 std::function 成员时发生内部编译器错误
• 隐式生成的特殊成员函数无法从基类正确继承 nocept 规范
• std::is_constructible_v错误地将聚合类和包含数组的成员评估为 false
• 致命错误 C1001：内部编译器错误。
• C26493 初始化基类时出现误报
• 显然是错误的 C++ C2385 错误
• 需要表达式中的不匹配包扩展被错误地视为空包扩展
• C26493 初始化基类时出现误报
• 非类型模板参数中的 C++20 指定初始化程序的内部编译器错误
• VisualStudio v17.10.3 无法编译我的 C 代码
• 初始化捕获子句不适用于访问此
• 函数中的一元 + 被错误地认为不是常量表达式
• 拒绝 require-expression 中 lambda 中的有效 constexpr 变量
• 错误？（错误 C3865:'__thiscall': 只能在本机成员函数上使用）
• 使用可变函数实例化的结构模板的嵌套类型实例化概念会导致错误：C2923 和 C2065。
• 虚拟析构函数内带有运算符&的ICE
• C26493 初始化基类时出现误报
• 将模板参数包解包为具有多个参数的模板时出现虚假编译错误
• 内部编译器错误 VS17.10 回归
• 在 lambda 捕获中使用 co_await 时，19.40 版本会出现回归
• trees.c 中的内部编译器错误，第 12009 行
• 丢弃的 std::basic_format_string 导致 C1001：内部编译器错误。
• 17.11 预览版 3 及更高版本：看似虚假的 static_assert 失败
• MSVC 17.11 回归：“RWTH OpenMesh” ICE 位于 msc1.cpp，第 1611 行
• 升级到 Visual Studio 17.11.0 后出现 C++ 语法错误
• Visual Studio C++ 版本 17.11.0 无法在某些情况下执行 constexpr 评估
• 在某些上下文评估中，“this”关键字未得到适当评估
• VS2022 17.11.0 GA 内部编译器构建 C++ 代码时出错
• lambad 中 constexpr 的不正确使用会导致 ICE
• C++ 要求在 const 求值的上下文中进行表达式名称隐藏
• C++ 编译失败，lambda 中的 this 被捕获为 __this，并且返回类型检测不正确
• VS 17.11.1：当指定 /permissive- 时，编译器无法将定义与声明匹配
• VS2022 最新版本出现内部编译器错误 C1001
• 17.11 无法在 C++20 下编译模板代码
• C++/CLI 中未解析 TypeForwardedToAttribute 的令牌

结束语

与往常一样，我们欢迎您的反馈。欢迎通过电子邮件[e-mail]或Twitter @visualc发送任何评论。此外，欢迎在 Twitter 上关注 Cameron DaCamara @starfreakclone。

如果您在 VS 2022 中遇到与 MSVC 相关的其他问题，请通过“报告问题”选项告知我们，无论是从安装程序还是 Visual Studio IDE 本身。如需建议或错误报告，请通过开发者社区告知我们。

文章翻译于作者 | Cameron DaCamara（Senior Software Engineer）