c++ - 如何使用类似 boost.parameter 的语法获得更快的编译速度？

Question

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

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

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

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

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

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

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

这些基于策略的类对于用户配置来说非常难看，大多数嵌入式用户如果在公共(public)界面中看到 < 就会尖叫着逃跑，所以我使用 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 个参数，而预处理器时间似乎是 killer 锏。无论用户是否实际调用该函数，每个工厂大约需要 1-5 秒。

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

Answer 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 上的存储库，你会发现它的一个相当复杂的版本。