Question

TL; DR 以下代码中的成员函数（field_inst.write(decltype(field_inst)::Type::cpr1_4096);）的enum类类型参数是否有较短的语法？

namespace Hal {
// complex template definition `Bit_Field`
template<
    class Tregister,
    typename Tregister::Data Toffset,
    typename Tregister::Data Tmask,
    class Tfield_type,
    class Tmutability_policy = typename Tregister::Mutability_Policy
>
struct Bit_Field : Tregister {
    using Type = Tfield_type;

    static Field read()
    { // ... reading ...
    }
};

namespace Aeat_8800_Q24 {
enum class {cpr1_4096 = 0x5,
 // ... more settings ...
};
} // namespace Aeat_8800_Q24

} // namespace HAl

int main(void) {
  // this template is used multiple times, different template arguments
  // on each instantiation (using / typedef not practical)
  Hal::Bit_Field<reg<0x8FA>, 0x0, 0x7, Hal::Aeat_8800_Q24::Cpr_Setting1>
        field_inst;

  // QUESTION: How can I write that more pleasingly?
    field_inst.write(decltype(field_inst)::Type::cpr1_4096);
    field_inst.write(Hal::Aeat_8800_Q24::Cpr_Setting1::cpr1_4096);
}

免责声明：：问题本身与以下内容重复：How to prevent class qualification when using nested enum class in member function arguments。

但是我想知道自 2016（有问题的日期）/ C ++ 11 以来是否有所改进，这将使库更易于使用（语法更令人愉悦）。

Answer 1

免责声明

此答案中提出的解决方案旨在满足最初的需求：编写简短而富有表现力的客户端代码。在这样做时，我将竭尽所能。对我而言，建议的行为是使用声音using声明，例如：

int main() {
    using Hal::Aeat_8800_Q24::Cpr_Setting1;
    // Or if enums are alone and well encapsulated in their namespace:
    //using namespace Hal::Aeat_8800_Q24;
    Hal::Bit_Field<reg<0x8FA>, 0x0, 0x7, Cpr_Setting1>
        field_int;
    field_int.write(Cpr_Setting1::cpr1_4096);
    // ...
}

矫kill过正的解决方案

您可以基于用户定义的文字设计一个（过度设计的）解决方案。

// This is just a little helper for later
namespace literals {

template <typename T, T... Cs>
constexpr auto operator ""_as_iseq() {
    return std::integer_sequence<T, Cs...>{};
}

}

然后，乐趣开始了。声明一个这样的特征类及其助手别名：

// Inside namespace Hal::Aeat_8800_Q24
template <typename T> struct setting_enum;
template <typename T>
using setting_enum_t = typename setting_enum<T>::type;

然后，将其专用于您的每个枚举：

// (Still) Inside namespace Hal::Aeat_8800_Q24
using namespace literals;

template <>
struct SettingEnum<decltype("Cpr_Setting1"_as_iseq)> {
    using type = Cpr_Setting1;
};

最后，让我们定义最后一个文字运算符

// Inside namespace Hal::Aeat_8800_Q24
namespace settings_literals {

template <typename T, T... Cs>
constexpr auto operator""_s()
    -> setting_enum_t<
        std::integer_sequence<T, Cs...> >;
}

现在您的客户代码只需要这样做：

using namespace Hal::Aeat_8800_Q24::settings_literals;
// ...
field_inst.write(decltype("Cpr_Setting1"_s)::cpr1_4096);

那还很长...有办法做得更好吗？是的，确实……除了使用上面的特征以外，我们使用变量模板。

// In namespace Hal
namespace enum_traits {
using namespace literals;

template <typename Enum, typename ValueIntSeq>
constexpr void *ENUM_VALUE = nullptr;

template <>
constexpr Aeat_8800_Q24::Cpr_Setting1 ENUM_VALUE<
    Aeat_8800_Q24::Cpr_Setting1, decltype("cpr1_4096"_as_iseq)> =
    CprSetting1::cpr1_4096;
// ...
} // ns enum_traits

变量模板需要针对每个枚举的每个值进行专门化（这很繁琐！我会向任何可以进行预处理技巧的人扔帽子，以避免手工编写所有样板代码）

让我们在写成员函数中添加一个重载：

struct BitField : Tregister {
    // ...
    template <typename T, T... Cs>
    void write(std::integer_sequence<T, Cs...> s) {
        constexpr auto v_ = enum_traits::ENUM_VALUE<Type, decltype(s)>;
        static_assert(
            !std::is_pointer_v<decltype(v_)>,
            "Invalid enum int sequence provided");
        write(v_);
    }
};

最后，客户端代码将如下所示：

field_int.write("cpr1_4096"_as_iseq);

现在我们在说话！在Coliru上进行演示。

成员函数的缩写参数，期望引入类型（枚举类）

1 个答案:

免责声明

矫kill过正的解决方案