Boost.flyweight 和 Boost.MPL

Question

我有一个关于享元选项的问题，给出下面的定义，基于 http://www.boost.org/doc/libs/1_40_0/libs/flyweight/test/test_basic.cpp

typedef boost::flyweights::flyweight<
    std::string, 
    boost::flyweights::tag<int>,
    boost::flyweights::static_holder_class<boost::mpl::_1>,          
    boost::flyweights::hashed_factory_class<
        boost::mpl::_1, 
        boost::mpl::_2, 
        boost::hash<boost::mpl::_2>,
        std::equal_to<boost::mpl::_2>,
        std::allocator<boost::mpl::_1>
    >,
    boost::flyweights::simple_locking,
    boost::flyweights::refcounted
> StringFlyweight;

StringFlyweight    test1("Hello World");

有什么价值boost::mpl::_1 和 boost::mpl::_2 ？什么时候分配？

boost::mpl::_1 很可能是 std::string。 boost::mpl::_2 应该是 size_t 吗？如果属实，如何扣除？ 我不明白 key_type 是如何选择的。

我已阅读http://www.boost。 org/doc/libs/1_41_0/libs/flyweight/doc/tutorial/lambda_expressions.html 但我这是我第一次接触 Boost.MPL 并且还不够:)

Answer 1

boost::mpl::_1 和 boost::mpl::_2 是占位符；它们可以用作模板参数，以区分稍后与实际参数的绑定。这样，您可以进行部分应用（将具有 n 元数的元函数转换为具有 (nm) 元数的函数）、lambda 表达式（在需要时动态创建元函数）等

。至少包含一个占位符是一个占位符表达式，可以像任何其他元函数一样调用它，并使用一些将替换占位符的参数。

在您的示例中，假设使用以下 typedef，

typedef boost::flyweights::hashed_factory_class<
    boost::mpl::_1, 
    boost::mpl::_2, 
    boost::hash<boost::mpl::_2>,
    std::equal_to<boost::mpl::_2>,
    std::allocator<boost::mpl::_1>
> hashed_factory;

我们可以假设在代码中的某个其他点，将使用某个参数调用 hashed_factory：

typedef typename
    boost::mpl::apply<
       hashed_factory,
       X,
       Y
    >::type result; // invoke hashed_factory with X and Y
                    // _1 is "replaced" by X, _2 by Y

我没有查看 Flyweight 代码，但我们可以假设 < code>_1 将绑定到享元的值类型，_2 将绑定到键类型（因为它用于散列和测试相等性）。在这种情况下，我认为两者都将是 std::string 因为没有指定密钥类型。

我不确定我对 MPL 占位符的解释是否清楚，请随意阅读 优秀的 MPL 教程，很好地解释了元函数、lambda 表达式和其他模板元编程功能。