C++ 比 switch case 和 return trait 函数更好的方法

问题描述

我正在学习在 C++ 中使用特性，我想知道是否有机会改进这段代码。我不喜欢 switch 语句只是将不同的枚举值作为模板参数传入。我明确地不是要求展示以另一种方式编写此代码的不同可能性，尤其是不是没有特征，因为我选择这种方式进行学习。

template < FooEnum p >
struct operator_selector {
    template < typename T >
    static bool compare(const T&,const T&) {
        return false;
    }
};

template<>
struct operator_selector< FooEnum::EQ > {
    template < typename T >
    static bool compare(const T& a,const T&b) {
        return a == b;
    }
};

// ...

template < typename T >
std::function<bool(const T&,const T&)> select_operator(const FooEnum p) {
    switch (p) {
        case FooEnum::EQ:
            return operator_selector<FooEnum::EQ>::compare<T>;
        case FooEnum::NE:
            return operator_selector<FooEnum::NE>::compare<T>;
        // ...
    }
}

解决方法

怎么样

template <
    typename T,typename Res = std::function<bool(const T&,const T&)>
>
Res select_operator(const FooEnum p) {
    static Res ops[] = {
        operator_selector<FooEnum::EQ>::compare<T>,operator_selector<FooEnum::NE>::compare<T>,...
    };
    return ops[p];
}

暗示您的枚举以 0 开头，并且连续值增加 1。