我如何才能传递一个元素，以便能够在某个专业范围内进行评估

Question

我正在尝试制作一个CHIP-8模拟器，它在编译时生成大部分指令。

所以我有一个constexpr数组，如下所示：

constexpr uint16_t hardCodedROM[] = {
0x8001, 0x8002, 0x8003, 0xA0F0, 0xB0FE
};

我对数组中的每一项都有一个专门的功能，如下所示：

template<uint16_t instruction> struct Opcode 
{
static inline void Task(uint16_t code)
{ 
printf("Unknown Opcode n");
}
};
template<> struct Opcode<0x8000>
{
static inline auto Task(uint16_t code)
{
static constexpr unsigned char submask = code & 0x000F; //error here, code can not use as a constant
if constexpr (submask == 0x0001)
{
printf("Opcode 0x8xx1 n");
}
if constexpr (submask == 0x0002)
{
printf("Opcode 0x8xx2 n");
}
if constexpr (submask == 0x0003)
{
printf("Opcode 0x8xx2 n");
}
if constexpr (submask == 0x0000)
{
printf("Opcode 0x8xx0 n");
}
}
};
template<> struct Opcode<0xA000>
{
static inline auto Task(uint16_t code)
{
printf("Opcode 0xAxxx n");
}
};
template<> struct Opcode<0xB000>
{
static inline auto Task(uint16_t code)
{
printf("Opcode 0xBxxx n");
}
};

我对每个元素进行迭代，并以这种方式调用专门化：

[&] <std::size_t...p>(std::index_sequence<p...>)
{
(Opcode<(hardCodedROM[p] & 0xF000)>::Task(hardCodedROM[p]), ...); //How should i pass the element, to be able to evaluate depending on each submask?
}
(std::make_index_sequence<5>{});

我应该如何传递元素(hardCodedROM[p](，以便能够根据特定专业化中的每个子掩码进行评估？

Answer 1

如果code在编译时总是已知的，则将其作为模板参数：

template<std::uint16_t code>
static void Task() {
constexpr unsigned char submask = code & 0x000F;
// ...
}

然后不要忘记template消歧器：

[&]<std::size_t...p>(std::index_sequence<p...>) {
(Opcode<(hardCodedROM[p] & 0xF000)>::template Task<hardCodedROM[p]>(), ...);
}
(std::make_index_sequence<5>{});

您还可以将code包装成类似于Opcode的类型，并将其作为函数参数传递，以避免出现非常难看的template关键字。例如：

template<std::uint16_t> struct Instruction {};
// ...
template<std::uint16_t code>
static void Task(Instruction<code>) { 
constexpr unsigned char submask = code & 0x000F;
// ...
}
// ...
[&]<std::size_t...p>(std::index_sequence<p...>) {
(Opcode<(hardCodedROM[p] & 0xF000)>::Task(Instruction<hardCodedROM[p]>{}), ...);
}
(std::make_index_sequence<5>{});