RError.com

RError.com Logo RError.com Logo

RError.com Navigation

  • 主页

Mobile menu

Close
  • 主页
  • 系统&网络
    • 热门问题
    • 最新问题
    • 标签
  • Ubuntu
    • 热门问题
    • 最新问题
    • 标签
  • 帮助
主页 / 问题 / 1503449
Accepted
Denver Toha
Denver Toha
Asked:2023-03-09 21:07:46 +0000 UTC2023-03-09 21:07:46 +0000 UTC 2023-03-09 21:07:46 +0000 UTC

如何处理参数包?

  • 772

我想从参数包中填充结构对象,怎么办?也许你可以为此使用 boost::mpl

struct Operation {
    int (*ops1)();
    int (*ops2)(int);
};

template<auto... Ops>
class Example {
public:
    constexpr Example() {
        /* 
         * 
         * Тут нужно отсортировать Ops и заполнить m_ops
         * если в аргументе шаблона есть указатель на функцию неподходящего типа - ошибка компиляции
         *
         * */
    }
private:
    Operation m_ops;
};
c++
  • 1 1 个回答
  • 35 Views

1 个回答

  • Voted
  1. Best Answer
    Chorkov
    2023-03-10T18:50:36Z2023-03-10T18:50:36Z

    我之前的回答没有考虑重新排序的需要。在这里,顺序被考虑在内。

    提升 - 未使用。boost::mpl 可以用来实现 is_tuple_of_unique_types,但是这个类型已经很紧凑了。

    
    struct Operation {
        int (*ops1)();
        int (*ops2)(int);
    };
    
    // метаданные своими руками
    template<typename T>
    constexpr auto memeber_ptrs_tuple = nullptr;
    template<>
    constexpr auto memeber_ptrs_tuple<Operation> = std::make_tuple(
                & Operation::ops1,
                & Operation::ops2
                );
    
    
    // Библиотека
    namespace ditails
    {
        template< typename ... T>
        constexpr bool is_unique_types=false;
    
        template< typename T0 >
        constexpr bool is_unique_types<T0> = true;
        template< typename T0, typename T1, typename... Tx >
        constexpr bool is_unique_types<T0,T1,Tx...>
            = is_unique_types<T0,Tx...> && is_unique_types<T0,Tx...>
            && ! std::is_same<T0,T1>::value;
    
    
        template< typename T>
        constexpr bool tuple_of_unique_types=false;
        template< typename...T>
        constexpr bool tuple_of_unique_types<std::tuple<T...>> = is_unique_types<T...>;
    
    
    
        template< typename T>
        struct impl_reorder_tuple_cast;
    
        template< typename... T>
        struct impl_reorder_tuple_cast<std::tuple<T...>>
        {
            template<typename Tuple>
            constexpr static std::tuple<T...> call(Tuple tuple)
            {
                return { std::get<T>(tuple) ... }; // именно эта строчка занимается переупорядочисванием.
            }
        };
        template<typename Result, typename Input>
        constexpr Result reorder_tuple_cast( Input input )
        {
            static_assert( tuple_of_unique_types<Result>  );
            static_assert( tuple_of_unique_types<Input>  );
            static_assert( std::tuple_size_v<Result> == std::tuple_size_v<Input> );
            return impl_reorder_tuple_cast<Result>::call(input);
        }
    
        template<typename Result, typename ... T>
        constexpr Result make_from_tuple( std::tuple<T...> tuple )
        {
            return Result{ std::get<T>(tuple)... };
        }
    
    
        template< typename T, typename... MemPtrs >
        constexpr auto to_tuple( T& obj, const std::tuple<MemPtrs...>& mem_ptrs  )
        {
            return std::make_tuple( (obj.*std::get<MemPtrs>(mem_ptrs))... );
        }
        template< typename T >
        constexpr auto to_tuple( T& obj )
        {
            return to_tuple(obj, memeber_ptrs_tuple< std::remove_cv_t<T> > );
        }
        template< typename T, typename... MemPtrs >
        constexpr auto to_tie( T& obj, const std::tuple<MemPtrs...>& mem_ptrs  )
        {
            return std::tie( (obj.*std::get<MemPtrs>(mem_ptrs))... );
        }
        template< typename T >
        constexpr auto to_tie( T& obj )
        {
            return to_tie(obj, memeber_ptrs_tuple< std::remove_cv_t<T> > );
        }
    
        template<typename T>
        using memebers_tuple_t = decltype( to_tuple( std::declval<T&>() ) );
    
        template<typename Result, typename ... T>
        constexpr Result make_from_reordered_args(T...args )
        {
            static_assert( is_unique_types<T...> );
            return make_from_tuple<Result>( reorder_tuple_cast< memebers_tuple_t<Result> >(std::make_tuple(args...) ) );
        }
    }
    
    using ditails::make_from_reordered_args;
    
    
    // использование
    
    template<auto... Ops>
    class Example {
    public:
    private:
        static constexpr Operation m_ops = make_from_reordered_args<Operation>( Ops... );
    };
    
    int o0() { return 42; }
    int o1(int i) { return i+2; }
    int o2(int i, int j) { return i+j; }
    int o1d(double i) { return (int)i+2; }
    
    Example<&o1, &o0> ex; // ok
    Example<&o0, &o1> ex2;// ok
    
    Example<&o1, &o1> ex3;// cause error
    Example<&o1>      ex4;// cause error
    Example<&o1, &o2> ex5;// cause error
    
    • 1

相关问题

  • 编译器和模板处理

  • 指针。找到最小数量

  • C++,关于枚举类对象初始化的问题

  • 函数中的二维数组

  • 无法使用默认构造函数创建类对象

  • C++ 和循环依赖

Sidebar

Stats

  • 问题 10021
  • Answers 30001
  • 最佳答案 8000
  • 用户 6900
  • 常问
  • 回答
  • Marko Smith

    我看不懂措辞

    • 1 个回答
  • Marko Smith

    请求的模块“del”不提供名为“default”的导出

    • 3 个回答
  • Marko Smith

    "!+tab" 在 HTML 的 vs 代码中不起作用

    • 5 个回答
  • Marko Smith

    我正在尝试解决“猜词”的问题。Python

    • 2 个回答
  • Marko Smith

    可以使用哪些命令将当前指针移动到指定的提交而不更改工作目录中的文件?

    • 1 个回答
  • Marko Smith

    Python解析野莓

    • 1 个回答
  • Marko Smith

    问题:“警告:检查最新版本的 pip 时出错。”

    • 2 个回答
  • Marko Smith

    帮助编写一个用值填充变量的循环。解决这个问题

    • 2 个回答
  • Marko Smith

    尽管依赖数组为空,但在渲染上调用了 2 次 useEffect

    • 2 个回答
  • Marko Smith

    数据不通过 Telegram.WebApp.sendData 发送

    • 1 个回答
  • Martin Hope
    Alexandr_TT 2020年新年大赛! 2020-12-20 18:20:21 +0000 UTC
  • Martin Hope
    Alexandr_TT 圣诞树动画 2020-12-23 00:38:08 +0000 UTC
  • Martin Hope
    Air 究竟是什么标识了网站访问者? 2020-11-03 15:49:20 +0000 UTC
  • Martin Hope
    Qwertiy 号码显示 9223372036854775807 2020-07-11 18:16:49 +0000 UTC
  • Martin Hope
    user216109 如何为黑客设下陷阱,或充分击退攻击? 2020-05-10 02:22:52 +0000 UTC
  • Martin Hope
    Qwertiy 并变成3个无穷大 2020-11-06 07:15:57 +0000 UTC
  • Martin Hope
    koks_rs 什么是样板代码? 2020-10-27 15:43:19 +0000 UTC
  • Martin Hope
    Sirop4ik 向 git 提交发布的正确方法是什么? 2020-10-05 00:02:00 +0000 UTC
  • Martin Hope
    faoxis 为什么在这么多示例中函数都称为 foo? 2020-08-15 04:42:49 +0000 UTC
  • Martin Hope
    Pavel Mayorov 如何从事件或回调函数中返回值?或者至少等他们完成。 2020-08-11 16:49:28 +0000 UTC

热门标签

javascript python java php c# c++ html android jquery mysql

Explore

  • 主页
  • 问题
    • 热门问题
    • 最新问题
  • 标签
  • 帮助

Footer

RError.com

关于我们

  • 关于我们
  • 联系我们

Legal Stuff

  • Privacy Policy

帮助

© 2023 RError.com All Rights Reserve   沪ICP备12040472号-5