Добавление битовой маски компиляции в C++

Question

У меня есть несколько битмаксов для добавления (layer, logical OR |), но поскольку они являются константами, я бы хотел сделать это во время компиляции. Ввод передовой территории шаблона ...

Я попытался рекурсии:

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 по адресу parameter packs:

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< области ада, если кто-нибудь может объяснить тем, я был бы признателен.

Answer 1

Вы опечатка (ы) в этом выражении:

masks | MaskAdd<masks>::value 

Оно должно быть:

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

Тогда он будет жаловаться на переопределение класса, поэтому обеспечить специализацию вместо (для один параметр):

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