Boost 1.84中结构体声明char数组触发编译错误（C++20）

问题描述 #

在Boost 1.84版本、C++20环境下，结构体中声明特定大小的char数组时，会触发编译错误：

error C2672: 'boost::pfr::detail::name_of_field': 没有匹配的重载函数

复现代码 #

#include <iostream>
#include <string>

#include <boost/pfr.hpp>
#include <boost/pfr/core.hpp>
#include <boost/pfr/core_name.hpp>
#include <boost/type_index.hpp>

struct Foo
{
    char attr01[600];      // 触发编译错误
};

int main() {
    Foo foo;
    auto names = boost::pfr::names_as_array<Foo>();

    boost::pfr::for_each_field(foo, [&names](const auto& field, std::size_t idx) {
        std::cout << names[idx] << " : " << boost::typeindex::type_id_runtime(field) << "\n";
    });

    return 0;
}

问题原因 #

Boost PFR的names_as_array依赖类型反射机制获取字段名称，而Boost 1.84的实现中，原生char数组（尤其是大尺寸的）没有对应的name_of_field函数重载支持，导致模板匹配失败。

解决办法 #

1. 替换原生数组为std::array

将结构体中的原生char数组换成std::array<char, N>，Boost PFR可以正确识别这种容器类型，从而匹配到对应的字段名称获取逻辑。修改后的代码：

#include <iostream>
#include <string>
#include <array>  // 需包含array头文件

#include <boost/pfr.hpp>
#include <boost/pfr/core.hpp>
#include <boost/pfr/core_name.hpp>
#include <boost/type_index.hpp>

struct Foo
{
    std::array<char, 600> attr01;  // 替换后编译正常
};

int main() {
    Foo foo;
    auto names = boost::pfr::names_as_array<Foo>();

    boost::pfr::for_each_field(foo, [&names](const auto& field, std::size_t idx) {
        std::cout << names[idx] << " : " << boost::typeindex::type_id_runtime(field) << "\n";
    });

    return 0;
}

2. 升级Boost版本

该问题属于Boost 1.84的兼容性bug，后续版本（如1.85及以上）已修复大尺寸原生数组的反射支持，升级Boost即可解决问题。

3. 显式启用C++20反射宏

编译时定义BOOST_PFR_USE_CPP20宏，确保Boost PFR完全启用C++20原生反射特性，避免 fallback 到兼容性较差的实现：

# MSVC编译示例
cl /DBOOST_PFR_USE_CPP20 your_code.cpp

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