c++ - C++ 在 boost::mpl::vector 中为每个类添加好友

Question

如何在 boost::mpl::vector 中的每个班级都有一个班级朋友？即，扩展为：

template <typename mpl_vector>
class A {
    friend class mpl_vector[0];
    friend class mpl_vector[1];
    ...
    friend class mpl_vector[n];
};

Answer 1

正如 Andres 所建议的那样，使用 boost 预处理器来做这件事是可行的。

我试了一下，效果不好，编译效率低。它也仅限于达到 BOOST_MPL_LIMIT_VECTOR_SIZE。如果他的方法有效，那么它可能会更干净一些。

类A.h：

#if BOOST_PP_IS_ITERATING
friend get_elem<mpl_vector, BOOST_PP_ITERATION()>::type;
#else
#ifndef SOME_INCLUSION_GUARD_H
#define SOME_INCLUSION_GUARD_H

#include <boost/preprocessor/iteration/iterate.hpp>
#include <boost/mpl/vector.hpp>
#include <boost/mpl/int.hpp>
#include <boost/mpl/at.hpp>
#include <boost/mpl/size.hpp>

class Dummy {};
template <int Exists> struct get_elem_i {
    template <typename V, int N> struct get {
        //typedef Dummy type;
        typedef typename boost::mpl::at< V, boost::mpl::int_<N> >::type type;
    };
};
template <> struct get_elem_i<0> {
    template <typename V, int N> struct get {
        typedef Dummy type;
    };
};

template <typename V, int N> struct get_elem {
    typedef typename boost::mpl::size<V>::type size;
    typedef get_elem_i<N < size::value> elem;
    typedef typename elem::get<V, N>::type type;
    //typedef Dummy type;
};

template <typename mpl_vector>
class A {

#define BOOST_PP_ITERATION_PARAMS_1 (3, (0, BOOST_MPL_LIMIT_VECTOR_SIZE, "classA.h"))
??=include BOOST_PP_ITERATE()

private:
    int test_;
};

#endif // SOME_INCLUSION_GUARD_H
#endif

该文件包括自身，因此请确保与位中的文件具有相同的名称BOOST_PP_ITERATION_PARAMS_1。

此外，此代码还将使类“Dummy”成为“A”的朋友。

Answer 2

我认为您需要使用 Boost.Preprocessor 或Pump之类的东西，将您的模板专门用于不同大小的 MPL 向量。或者只是手动专门化它。

您必须通过这种方式专门化您的模板：

template< typename mpl_vector, std::size_t size = boost::mpl::size< mpl_vector >::type::value >
class A;

template< typename mpl_vector >
class A< mpl_vector, 0 >
{
};

template< typename mpl_vector >
class A< mpl_vector, 1 >
{
    friend class boost::mpl::at< mpl_vector, boost::mpl::int_< 0 > >::type;
};