12

我目前正在使用带有一些工厂函数的 boost.parameter 并且编译时间变得令人望而却步。

目前我有一个像这样的常见模式：

auto thing = makeThing(property1 = foo::bar, "myThing"_thingName);

wheremakeThing有 30 个参数，其中大多数带有默认值。我想保留“命名参数”语法以及按类型而不是位置匹配参数的能力。

如何在不更改工厂调用站点的语法的情况下获得更好的编译速度？

注意：从 boost.MPL 速度和说 brigand 速度之间的差异来看，在我看来，如果在 boost.parameter 等效项中使用现代元编程技术，编译时间至少应该有一个数量级的改进。

更新：这是我正在做什么的一个精简示例：在裸机嵌入式上下文中，我将不同的外围设备抽象为遵循基于策略的类设计习语的复杂模板类。每个类在编译时都需要大量配置信息，并且只使用所需的功能（不能依赖优化器去除未使用的东西，因为所有 SFR 交互都是可观察的，因此是易变的，因此是不允许的）。

这些基于策略的类对于用户配置来说非常难看，大多数嵌入式用户如果在公共界面中看到 < 就会尖叫，所以我使用 boost.parameter 来创建一个性感工厂，他们可以将所有类型编码的愿望传递给它（就像 hana 风格一样），我将类生成为本地静态，将其连接到所需的 ISR 并传回句柄。

namespace usb
{
    BOOST_PARAMETER_NAME(hw)
    BOOST_PARAMETER_NAME(vid)
    BOOST_PARAMETER_NAME(pid)
    BOOST_PARAMETER_NAME(device_class)
    BOOST_PARAMETER_NAME(max_packet_ep0)
    BOOST_PARAMETER_NAME(max_packet)
    BOOST_PARAMETER_NAME(packet_pool_size)
    BOOST_PARAMETER_NAME(device_description)
    BOOST_PARAMETER_NAME(device_calss_description)
    BOOST_PARAMETER_NAME(can_power_down)
    BOOST_PARAMETER_NAME(stall_supported)
    BOOST_PARAMETER_NAME(setup_packet_timeout)
    //...

BOOST_PARAMETER_FUNCTION(
    (usb_handle),
    make,    

    tag,                 

    (required(hw, *)) 

    (optional
    (vid, *, 0x6001_ci)
        (pid, *, 0x1234_ci)
        (device_class, *, cdc_class{})
        (max_packet_ep0, *, 8_ci)
        (max_packet, *, 64_ci)
        (packet_pool_size, *, 12_ci)
        (device_description, *, "")
        (device_calss_description, *, "")
        (can_power_down, *, 0_ci)
        (stall_supported, *, 0_ci)
        (setup_packet_timeout, *, 100_ci)
        )
)
{
    // makes a local static policy based class taylored at compile time 
    // to support only the specified features
    return{};  //returns a handle to the local static
}
}

大多数工厂有 10-25 个参数，预处理器时间似乎是杀手。无论用户是否实际调用该函数，每个工厂大约需要 1-5 秒。

更新 2：赏金已经结束，所以看起来没有解决方案。如果我有时间，我会写一个 boost.parameter 替换并在此处链接。使命名参数函数的返回类型取决于输入类型以更接近 boost.hana 样式语义也会很好。

4

1 回答 1

1

您可以通过全局 constexpr 静态对象实现，如下所示：

struct init_ 
{  
    my_class operator()(int i) {return i;} 
    my_class operator= (int i) {return i;} 
};
consexpr static init_ init;

//make function
template<typename ...Args>
thingy make(Args&&...args);


auto x = make(init=42);

您可能需要向 init_ 添加一个 constexpr ctor。然后，您可以使用 boost.fusion 或 boost.hana 为序列获取 for_each 并初始化您的类型。

struct thingy { int x;};

struct x_init 
{
    int init;
    x_init (int i) : init(i) {};
    void operator()(thingy & t)
    { t.x = init;}
};

struct x_
{
    constexpr x_() {};
    x_init operator()(int i) const {return i;}
    x_init operator= (int i) const {return i;}
};
constexpr static x_ x;

template<typename ...Args>
thingy make(Args &&...)
{
     thingy t;
     auto vec = boost::fusion::make_vector(std::forward<Args>(args)...);
     boost::fusion::for_each(vec, [t](auto & init){init(t);});
}

auto t = make(x=42);

Boost.Process 实际上使用了它，如果你查看我在 github 上的存储库，你会发现它的一个相当复杂的版本。

于 2016-06-13T19:45:28.580 回答