C 编译时间添加

C++ compile-time bitmask addition

本文关键字:添加 时间 编译      更新时间:2023-10-16

我有许多添加的位掩码(层,逻辑或 |),但是由于它们是常数,所以我想在编译时这样做。输入高级模板区域...

我尝试了递归:

template <uint8_t mask, uint8_t...masks>
struct MaskAdd {
    static const uint8_t value = masks | MaskAdd<masks>::value;
};
template <uint8_t mask>
struct MaskAdd {
    static const uint8_t value = mask;
};

给出以下错误:

file.cpp:3:55: error: parameter packs not expanded with ‘...’:
  static const uint8_t value = masks | MaskAdd<masks>::value;
                                                       ^
file.cpp:3:55: note:         ‘masks’
file.cpp:7:8: error: redeclared with 1 template parameter
 struct MaskAdd {
        ^
file.cpp:2:8: note: previous declaration ‘template<unsigned char mask, unsigned char ...masks> struct MaskAdd’ used 2 template parameters
 struct MaskAdd {
        ^

我还尝试了这种奇怪的语法,这是(大概)对参数包上的cppreference页面的误解:

template <uint8_t...masks>
struct MaskAdd {
    static const uint8_t value = (masks | ...);
};

引发了这些错误:

file.cpp:3:43: error: expected primary-expression before ‘...’ token
     static const uint8_t value = (masks | ...);
                                           ^
file.cpp:3:43: error: expected ‘)’ before ‘...’ token

我感觉该解决方案在地狱的template<template<地区,如果有人能解释我要感激的那些。

您在此表达式中有错字:

masks | MaskAdd<masks>::value

应该是:

mask | MaskAdd<masks...>::value
// ^ no 's'          ^ the expansion compiler was talking about

然后,它将抱怨类的重新分支,因此请提供专业化(单个参数):

template <uint8_t mask>
struct MaskAdd<mask> { .. };

这是我的编译时间蒙版的侵略...第一个模板参数是从右数计数的位置,第二个是将位数为1的位数。

template <unsigned START, unsigned RANGE>
struct Mask
{
    static const size_t val = 1 << START | Mask<START + 1, RANGE - 1>::val;
};
template <unsigned START>
struct Mask<START, 0>
{
    static const size_t val = 0;
};

如果我想与数字14(0000 1110)进行掩盖:

unsigned mask = Mask<1, 3>::val;