Я пытаюсь создать безопасную абстракцию типов для регистров. Кратко объяснено, что регистр может содержать поле битов, которые имеют особое значение, и рассматриваемые биты обычно могут быть установлены либо в диапазоне допустимых значений (указанных перечислением), либо в любом целочисленном значении (если так указано). Поля в одном регистре описываются перечислением.
У меня возникли проблемы с тем, как создать шаблон, который позволяет мне указать допустимые комбинации, которые это перечисление VALUE может быть связано только с а) значением, указанным перечислением б) любым целочисленным значением. Фактическая функция набора одинакова для любой комбинации (она будет приведена к базовому значению из значений класса перечисления). Еще одна вещь, которую следует отметить, это то, что я хотел бы, чтобы метод set() был универсальным таким образом, чтобы он находился в отдельном файле от фактических определений регистров, поэтому добавление туда static_asserts() и т. д. для предотвращения некоторых комбинаций типов и т. д. не является хорошее решение. У меня есть решение, очень близкое к тому, что я хочу, но я не уверен, как заставить вывод типа шаблона работать, чтобы мне не нужно было дважды вводить имя типа перечисления за вызов.
enum class Definitions : uint32_t
{
kBit0 = 1UL << 0,
kBit1 = 1UL << 1,
kField0 = 0xF0,
kField1 = 0xF00,
kField2 = 0xF000
};
enum class Field0Values
{
Setting1 = 0x01,
Setting2 = 0x02,
};
enum class Field1Values
{
Setting1 = 0x01,
Setting2 = 0x02,
};
template<class MaskType, MaskType value> struct allowed_type;
template<> struct allowed_type<Definitions, Definitions::kField0> {
using type = Field0Values;
};
template<> struct allowed_type<Definitions, Definitions::kField1> {
using type = Field1Values;
};
template<> struct allowed_type<Definitions, Definitions::kField2> {
using type = uint32_t;
};
template<class MaskType, MaskType maskValue>
constexpr void set(typename allowed_type<MaskType, maskValue>::type value) {}
int main()
{
// Valid set operations
set<Definitions, Definitions::kField0>(Field0Values::Setting1);
set<Definitions, Definitions::kField1>(Field1Values::Setting1);
set<Definitions, Definitions::kField2>(42);
// Mistakes, will not compile
set<Definitions, Definitions::kField0>(Field1Values::Setting1);
set<Definitions, Definitions::kField1>(Field0Values::Setting1);
set<Definitions, Definitions::kField1>(7);
}
Это почти то, что я хочу, за исключением того, что я хотел бы просто сказать set<Definitions::kField0>(Field0Values::Setting1)
. Я МОГУ сделать это, если объявлю специализацию шаблона, например:
template<Definitions mask>
constexpr void set(typename allowed_type<Definitions, mask>::type value);
Но проблема в том, что я не хочу предоставлять реализацию для этой специализации, я просто хочу, чтобы она использовала функцию базового шаблона, не знаю, как я могу это сделать. Как я могу получить вывод типа шаблона для вывода типа без необходимости создания специализации шаблона?
Также интересно, если у кого-то есть другой подход, который не имеет проблемы с выводом этого типа.