Question

我正在尝试为具有私有成员的嵌套类编写非侵入式boost :: serialization例程。不幸的是，我没有说服g ++序列化例程是内部类的朋友。似乎g ++需要序列化例程的前向声明，而后者又需要嵌套类的前向声明，而后者又无法在C ++中完成。我错过了什么，或者这是不可能的？相比之下，clang ++不需要前向声明，并且下面的代码没有问题。以下代码说明了问题：

#include <boost/archive/text_oarchive.hpp>

class Outer;
//class Outer::Inner;   // Not valid C++

namespace boost
{
    namespace serialization
    {
        template <class Archive>
        void serialize(Archive &ar, Outer& outer, const unsigned int version);
        //template <class Archive>
        //void serialize(Archive &ar, Outer::Inner& inner, const unsigned int version); // Cannot be done since forward declaration of nested class not possible.
    }
}

class Outer
{
    class Inner
    {
        int member_{42};

        template <class Archive>
        friend void boost::serialization::serialize(Archive &ar, Outer::Inner &inner, const unsigned int version);  // This does not work with gcc since the compiler seems to expect a forward declaration, which cannot be done (see above).
    };

    Inner inner_;

    template <class Archive>
    friend void boost::serialization::serialize(Archive &ar, Outer &outer, const unsigned int version);
    template <class Archive>
    friend void boost::serialization::serialize(Archive &ar, Inner &inner, const unsigned int version);
};

namespace boost
{
    namespace serialization
    {
        template <class Archive>
        void serialize(Archive &ar, Outer& outer, const unsigned int version)
        {
            ar & outer.inner_;
        }

        template <class Archive>
        void serialize(Archive &ar, Outer::Inner& inner, const unsigned int version)
        {
            ar & inner.member_;
        }
    }
}

int main()
{
    Outer outer;

    boost::archive::text_oarchive(std::cout) << outer;
}

使用-std=c++11和-lboost_serialization进行编译。使用g ++进行编译时抱怨member_是私有的，即使存在好友声明也是如此。 g ++是否正确拒绝内部类中的朋友声明？

Answer 1

[dcl.meaning]/1：

当 declarator-id 合格时，声明应参考先前声明的类或命名空间的成员限定符引用（或者，在命名空间的情况下，引用的元素）该命名空间的内联命名空间集（[namespace.def]））或者专业化; [...]。

换句话说，具有限定名称的声明（包括朋友声明）必须引用先前声明的内容。因此，GCC在拒绝代码方面是正确的，但它应该早先拒绝它，并且诊断相当混乱。（请注意，如果受到关注的东西是以前未声明的普通函数而不是模板，它会在现场拒绝它。）

此外，要求朋友访问排序首先会破坏非侵入式序列化（这是为了允许您在不改变其定义的情况下序列化类）。

需要转发声明的嵌套类中的朋友声明

1 个答案: