具有两个参数之一作为 constexpr 的内联函数

Question

假设我有一个带有两个参数的函数，其中第一个参数是动态的，但第二个参数始终是编译时已知的常量：

uint8_t convert_bcd(uint8_t num, uint8_t mask) {
    uint8_t result = mask & 0x0F & num;

    if constexpr ((mask & 0xF0) != 0) // mask is known at compile time, can be optimized
        result += 10 * ((mask & 0xF0 & num) >> 4);

    return result;
}

用法示例

uint8_t result1 = convert_bcd(data[0], 0x7F);
uint8_t result2 = convert_bcd(data[1], 0x3F);

我想内联此函数（如果可能）并告诉编译器 if 条件（仅涉及始终恒定的第二个参数）可以在编译时解析。

我对inline//以及如何在我的场景中const应用constexpr它们以尽可能优化功能感到困惑。

在 C++ 中执行此操作的正确惯用方法是什么？

Answer 1

写一个模板。

template<uint8_t mask>
uint8_t convert_bcd(uint8_t num) {
    uint8_t result = mask & 0x0F & num;

    if constexpr ((mask & 0xF0) != 0)
        result += 10 * ((mask & 0xF0 & num) >> 4);

    return result;
}


uint8_t result1 = convert_bcd<0x7F>(data[0]);
uint8_t result2 = convert_bcd<0x3F>(data[1]);