是否有一种（便携式）检测C＆＃x2B;＆＃x2B中布局更改的方法。课程？

Question

例如，说我有一个具有典型序列化模式的类foo。

struct Foo {
    int a;
    bool b;
    template <typename Archive>
    void serialize(Archive & ar) {
        ar & a;
        ar & b;
    }
};

现在假设有人来并增加了一个字段。

struct Foo {
    int a;
    bool b;
    std::string c;

    template <typename Archive>
    void serialize(Archive & ar) {
        ar & a;
        ar & b;
    }
};

这可以很好地编译，但是存档方法是错误的。我可以添加类似的东西

namespace detail {
template <int a, int b>
void AssertSizeOfImplementation() {
    static_assert(a == b, "Size does not match (check stack trace)");
}
}  
template <typename T, int size>
void AssertSizeOf() {
    detail::AssertSizeOfImplementation<sizeof(T), size>();
}


struct Foo {
    int a;
    bool b;

    template <typename Archive>
    void serialize(Archive& ar) {
        ar& a;
        ar& b;
        AssertSizeOf<Foo,8>();
    }
};

，现在如果添加额外的字段，我会看到一个编译错误

：在实例化'void细节:: sostSizeOfimplementation（）[int a = 40; int b = 8]'：

然后，我可以修复我的序列化代码并更新断言。

但是，这不是非常便携的。 sizeof 将根据包装和体系结构返回不同的结果。

使用SizeOf还有其他选择吗？

（在Godbolt上玩这个播放 https://godbolt.org/z/fmo8etjnr ）

Answer 1

boost中有很酷的库： boost pfr 。我从未在真实的项目（只是一些玩具）中使用过它，但似乎运行良好：

struct Foo {
    int a;
    bool b;

    template <typename Archive>
    void serialize(Archive& ar, const unsigned int)
    {
        boost::pfr::for_each_field(*this, [&ar](const auto& field) { ar& field; });
    }
};

现在，将考虑任何字段列表的任何更改，而无需更改序列化代码。

我尝试了Godbolt，但我未能解决链接问题（找不到Boost库），因此实际上可以运行。