模板Lambda数组引用推导问题：GCC编译通过，Clang/VC报错

问题核心 #

你的代码依赖了GCC的非标准扩展，不符合C++标准，因此Clang和MSVC的报错是符合标准要求的，并非编译器bug。

原因分析 #

• 标准C中，std::size的返回值要成为常量表达式，其参数必须本身是常量表达式。而你的lambda参数out和in是函数参数（即使是数组引用），在模板参数的语境下，它们不属于常量表达式——标准明确规定：函数参数不能作为常量表达式的组成部分，除非该参数被声明为constexpr（C20起），但你的lambda参数并没有这个修饰。
• 而sizeof(out)能正常工作，是因为sizeof的操作数是类型而非变量本身：数组引用T(&)[N]的类型在编译期就已确定，sizeof(out)直接推导该类型的大小，不需要out是常量表达式。

修正方案 #

有两种可靠的方式解决这个问题：

方案1：直接用sizeof计算数组大小 #

把std::size(out)和std::size(in)替换为sizeof(out)/sizeof(out[0])和sizeof(in)/sizeof(in[0])，修改后的代码如下：

#include <tuple>
#include <iostream>

int main() {
    constexpr auto copyArray = [](auto& out, const auto& in) noexcept {
        [&]<size_t... Idxs>(std::index_sequence<Idxs...>) noexcept {
            ((out[Idxs]=in[Idxs]), ...);
        }(std::make_index_sequence<std::min(sizeof(out)/sizeof(out[0]), sizeof(in)/sizeof(in[0]))>());
    };

    constexpr char c1[] = "dfjkwhjifehuiqh3iuhuihf3enewlknek32    ";
    char c2[255]{0};
    copyArray(c2, c1);
    std::cout << (std::string(c2) == std::string(c1)) << "\n";
}

方案2：显式模板化数组大小 #

通过模板参数直接捕获数组的大小，代码更清晰，也更符合标准：

#include <tuple>
#include <iostream>

int main() {
    constexpr auto copyArray = []<typename T, size_t OutSize, size_t InSize>(T (&out)[OutSize], const T (&in)[InSize]) noexcept {
        [&]<size_t... Idxs>(std::index_sequence<Idxs...>) noexcept {
            ((out[Idxs] = in[Idxs]), ...);
        }(std::make_index_sequence<std::min(OutSize, InSize)>());
    };

    constexpr char c1[] = "dfjkwhjifehuiqh3iuhuihf3enewlknek32    ";
    char c2[255]{0};
    copyArray(c2, c1);
    std::cout << (std::string(c2) == std::string(c1)) << "\n";
}

补充说明 #

GCC在这里实现了一个非标准扩展：允许将函数参数中的数组引用的std::size返回值视为常量表达式。但这种行为没有标准依据，所以其他编译器（Clang、MSVC）会拒绝编译，这是符合C++标准的正确行为。

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