Visual Studio 2022社区版C++20内部错误C1001解决求助

问题场景 #

代码在G++中可正常编译运行，但在Visual Studio 2022社区版（MSVC 14.35.32215）下触发C1001内部编译器错误，核心需求是通过重载构造函数区分左值和右值指针的地址传递。

原触发错误的代码：

#include <iostream>

struct Foo {
    float* data;

    Foo(float * const * const & address) :
        data(*address)
    {}

    Foo(float ** const && address) :
        data(*address)
    {}
};

int main() {
    int64_t size = 12;

    float* data = new float[size];
    float** address = &data;

    auto foo = Foo(std::move(address));
}

MSVC错误信息：

开始生成...
1>------ 生成开始: 项目: ConsoleApplication4, 配置: Debug x64 ------
1>正在扫描源文件以查找模块依赖项...
1>main.cpp
1>main.cpp(26,35): 致命错误 C1001: 内部编译器错误。
1>(编译器文件 'msc1.cpp', 行 1584)
1> 要解决此问题，请尝试简化或更改上述位置附近的程序。
1>在 'C:\Program Files\Microsoft Visual Studio\2022\Community\VC\Tools\MSVC\14.35.32215\bin\HostX64\x64\CL.exe' 中发生内部编译器错误
1>已完成项目“ConsoleApplication4.vcxproj”的生成 - 失败。
========== 生成: 0 成功，1 失败，0 最新，0 已跳过 ==========

解决方案 #

方案1：简化右值引用构造函数的参数类型 #

MSVC对float ** const &&这类复合const修饰的右值引用参数解析存在内部逻辑bug，去掉不必要的const修饰即可规避错误，同时不影响语义（右值引用绑定的是将亡值，const修饰在此场景无实际意义）。

修改后的代码：

#include <iostream>

struct Foo {
    float* data;

    // 左值引用版本：绑定左值指针的地址
    Foo(float * const * const & address) :
        data(*address)
    {}

    // 右值引用版本：简化参数类型，去掉多余的const
    Foo(float**&& address) :
        data(*address)
    {}
};

int main() {
    int64_t size = 12;

    float* data = new float[size];
    float** address = &data;

    auto foo = Foo(std::move(address));
}

方案2：改用模板重载统一处理（更健壮） #

通过模板结合类型萃取，统一处理左值和右值引用的情况，避免编译器对重载参数的解析冲突，同时保持区分左值/右值的能力。

修改后的代码：

#include <iostream>
#include <type_traits>

struct Foo {
    float* data;

    // 通用模板构造函数，通过类型萃取确保参数为float**的引用类型
    template<typename T, typename = std::enable_if_t<
        std::is_same_v<std::remove_cvref_t<T>, float**>
    >>
    Foo(T&& address) :
        data(*std::forward<T>(address))
    {}
};

int main() {
    int64_t size = 12;

    float* data = new float[size];
    float** address = &data;

    auto foo1 = Foo(address);    // 匹配左值引用
    auto foo2 = Foo(std::move(address)); // 匹配右值引用
}

说明 #

C1001错误属于MSVC内部编译器bug，并非代码语法问题。上述两种方案均能在满足区分左值/右值指针需求的同时，规避该编译错误，且兼容G++和MSVC编译器。

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