c++ - 使用boost mp11高效开启运行时值(处理功能完成时中断)

Question

我有以下 code我在运行时值上实现调度以某种方式解释数据(在这个玩具示例中，数据可以是 uint8_t 或短)。
代码似乎有效，但我想知道我是否可以以某种方式对代码进行微优化，以便当我遇到命中(处理函数匹配)时停止处理(目前即使元组的第一个元素是“处理程序”，整个元组在运行)。

#include <boost/mp11/tuple.hpp>
#include <iostream>

uint8_t data[4] = {0,1,100,2};

template<int runtimeId, typename T>
struct kindToType{
    static constexpr int id =  runtimeId;
    using type = T;
};

 const auto print  =[]<typename T> (const T* data){
    if constexpr(std::is_same_v<short, std::remove_cvref_t<T>>){
        const short* values = (const short*)data;
        std::cout << values[0] << "  " << values[1] << std::endl;
    } else if constexpr(std::is_same_v<uint8_t, std::remove_cvref_t<T>>){
        const uint8_t* values = (const uint8_t*)data;
    std::cout << (int)values[0] << "  " << (int)values[1]<< "  " << (int)values[2] << "  " << (int)values[3] << std::endl;;
    }
};

static constexpr std::tuple<kindToType<10, uint8_t>, kindToType<11, short>> mappings{};

void dispatch(int kind){
    boost::mp11::tuple_for_each(mappings, [kind]<typename Mapping>(const Mapping&) {
    if (Mapping::id == kind)
    {
        print((typename Mapping::type*)data);
    }
    });
}
int main()
{
    // no guarantee that kind is index like(e.g. for two values
    // it can have values 47 and 1701)
    dispatch(10);
    dispatch(11);
}

笔记:

我不能/不想使用 std::variant。

我不想使用 std::map 或 std::unordered map(其中值为 std::function )

我知道这是过早的优化(假设处理程序做了大量的工作，即使是 10 次整数比较也很便宜)。

我的处理程序是独一无二的，即它是 std::map 之类的东西，而不是 std::multimap 之类的东西，所以 break; 很好.

用于运行时值的 id 类型不能保证在 [0, n-1] 中具有值。

只要它在至少 1 个编译器中实现，我就可以使用 C++20 解决方案。

Answer 1

它的运行时性能在很大程度上取决于元组的大小。您可以自己制作 for_each_tuple在您的函数执行时提前执行的实现:

template<typename FuncTuple, typename Selector>
void tuple_for_each(FuncTuple const& funcTuple, Selector selector) 
{
    std::apply([selector](auto const& ...funcs)
    {
        (void)(selector(funcs) || ...);
    }, funcTuple);
}

您的 dispatch 将如下所示:

void dispatch(int kind)
{
    tuple_for_each(mappings, [kind]<typename Mapping>(const Mapping&) 
    {
        std::cout << "loop, ";
        if (Mapping::id == kind)
        {
            print((typename Mapping::type*)data);
            return true;
        }
        return false;
    });
}

如果你摆脱了 lambda 中的模板并使用 auto相反，此代码将使用 C++17 进行编译。我们使用运算符短路作为我们的优势，因此编译器将为我们提供早期输出。 Here是完整的代码。
另外，请注意 Actor (const short*)data是UB。