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以来是否有所改进，这将使库更易于使用（语法更令人愉快）。
最佳答案
免责声明
此答案中提出的解决方案旨在满足最初的需求：编写更短但更富表现力的客户端代码。在这样做时，我将竭尽所能。对我而言，建议的行为是使用声音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);
// ...
}
过度杀伤解决方案
您可以基于用户定义的文字设计一个（过度设计的）解决方案。
// 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);
现在我们在说话！ 上的演示。
关于c++ - 成员函数的缩写参数，期望引入类型(枚举类)，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/54874432/