C++：Boost.MPL 等效于调用类型向量中第 i 个类型的函数

Question

我设计了一个这样的函数：

template<template<class> class TMapper, class TResult = void, class TUserContext>
static typename TResult mapParam(int index, TUserContext ctx)

它需要一个TMapper，它需要符合以下概念：

template<class T> struct Mapper { static TResult map(int index, TUserContent ctx) {} }

Mapper 类型为每个参数实例化一次，但“map”函数仅针对给定索引处的参数调用。 Mapper 使用参数的类型 (T) 进行参数化。在测试中，我们希望能够对我们甚至不知道存在的参数做一些事情，并且仍然可以使用它的精确类型，但不需要将任何模板元编程添加到真实的测试用例中......

有没有办法在 Boost.MPL 中做到这一点，以便阅读此代码的人不需要理解它，而可以只使用 boost 知识，或者至少在这里有更详细的文档？

这是完整的代码（T::TParams 是任意函数参数类型的 boost::mpl::vector）：

template<template<class> class TMapper, class TResult = void, class TUserContext>
        static typename TResult mapParam(int index, TUserContext ctx) {
            return mapParamInternal<TMapper, TResult, boost::mpl::size<T::TParams>::value - 1>(index, ctx);
        }

template<template<class> class TMapper, class TResult, int CurrentIndex, class TUserContext>
static typename boost::enable_if_c<CurrentIndex >= 0, TResult>::type mapParamInternal(int targetIndex, TUserContext ctx) {
    if(CurrentIndex == targetIndex) {
        return TMapper<
            typename boost::mpl::at<
                T::TParams, 
                boost::mpl::int_<CurrentIndex>
            >::type>::map(targetIndex, ctx);
    } else {
        return mapParamInternal<TMapper, TResult, CurrentIndex - 1>(targetIndex, ctx);
    }
}

template<template<class> class TMapper, class TResult, int CurrentIndex, class TUserContext>
static typename boost::disable_if_c<CurrentIndex >= 0, TResult>::type mapParamInternal(int targetIndex, TUserContext ctx) {
    UNREFERENCED_PARAMETER(targetIndex);
    UNREFERENCED_PARAMETER(ctx);
    return TResult();
}

举个例子说明这可能是如何有用的：

template<class TParam>
struct UpdateParameter {
    static void map(int index, CallSerializerTest<T>* self) {
        self->trace.updateParameter(
            TCallSig::getParamName(index), 
            TypeUpdatedValue<TParam>::get());
    }
};

void updateParameter(int index) {
    updatedParams.push_back(index);
    TCallSig::mapParam<UpdateParameter>(index, this);
}

对于“index”给出的参数，上面的代码将只调用一次“self->trace.updateParameter”，而“TParam”将具有该参数的正确类型。 “TCallSig”是定义了“mapParam”函数的任意调用签名。我们通过 Google 测试类型参数化测试获得了大量这些签名。我认为这是一个非常酷的系统，一旦你掌握了元编程的窍门，它就会使测试用例非常简洁易读。

Answer 1

检查Boost.Fusion 库。该库旨在充当编译时和运行时世界之间的桥梁，提供使用这两个世界的属性的特性和算法。
该库具有函数式非可变精神，并提供类似于函数式语言的算法，例如 map、fold 等。但关键是 Fusion 能够在此类构造中使用编译时属性（感谢 MPL） .例如（摘自简介）：

template <typename Sequence>
void xml_print_pointers(Sequence const& seq)
{
    for_each(filter_if<boost::is_pointer<_> >(seq), print_xml());
}

如您所见，仅当 runtime 序列的每个元素是指针（这是元素类型的编译时属性）时，它才会对每个元素执行操作。

我相信您可以使用这些结构轻松实现您的算法。