我正在尝试实现一个基于特征的策略子系统,但我遇到了一个我真的不知道如何解决的问题(如果可能的话)。我有一个看起来像这样的特征:
template <typename ValueT, typename TagT = void, typename EnableT = void>
struct TPolicyTraits
{
static void Apply(ValueT& value) { }
};
并且这个特征可以这样特化:
struct MyPolicy {};
template <typename ValueT>
struct TPolicyTraits<ValueT, MyPolicy>
{
static void Apply(ValueT& value) { /* Implementation */ }
};
我想在编译时在一种链表中注册策略。策略系统将像这样使用:
namespace PolicyTraits
{
template <typename ValueT, typename TagT>
using TPolicyTraitsOf = TPolicyTraits<std::decay_t<ValueT>, TagT>;
template <typename ValueT>
void Apply(ValueT&& value)
{
// todo iterate through constexpr tag list and apply policies
}
template <typename TagT>
constexpr void Enable()
{
// todo add tag to constexpr list
}
}
int main()
{
PolicyTraits::Enable<MyPolicy>();
PolicyTraits::Apply(std::string());
}
有什么办法可以实现吗?
最佳答案
编译时元编程在很大程度上是纯粹的。这意味着每个表达式的结果由其参数决定。
有些异常可以通过使用参数依赖查找和友元函数以及 SFINAE 以相当疯狂的方式绕过它。
不要那样做。
从其策略构建策略特征类,不要四处寻找全局状态。
TL;DR 在技术上是可行的,但这是一个糟糕的想法。不要这样做。
可能与您描述的问题相邻的问题有一个干净而优雅的解决方案。
关于c++ - 可以创建任意类型的 constexpr 链表吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/57294730/