使用enable_if决定成员变量的类型

Question

template <typename ...T>
class BaseEvent
{
    BaseEvent(const unsigned int index, const uint8_t id, const std::variant<T...> data) : m_index(index), m_id(id), m_data(m_data){};
    virtual ~BaseEvent();

    template <typename V>
    const V get()
    {
        static_assert(constexpr std::is_same_v<V, T...>);
        return std::get<V>(m_data);
    };

protected:
    unsigned int m_index;
    uint8_t m_id;
    std::variant<T...> m_data;
    
    // pseudocode:
    // enable_if(sizeof(T...) > 1)
    // then: std::variant<T...> m_data
    // else: T m_data
};

但是，在代码后期，

template <class T>
class StringEvent : public BaseEvent<T>
{
    virtual ~StringEvent();
    const T string() { return get<T>(); };
};

仅将单一类型放到baseevent将无法创建variant，因为无论如何在这种情况下都是无用的。 我如何使用enable_if创建m_data type t时t ...是一个单一仅输入？

Answer 1

我已经完成了您想做的事情，所以我知道您需要什么。要处理单个消息和多种消息类型，请使用std :: variant＆lt; std ::单音频，t ...＆gt;。此外，您使用is_same_v＆lt;是不正确的。您只能使用1种类型，而不使用多种类型。

因此，您需要这样的代码：

template <typename ...T>
class BaseEvent
{
    BaseEvent(const unsigned int index, const uint8_t id, const std::variant<T...> data) : m_index(index), m_id(id), m_data(m_data){}; 
    // ^-- There is a small bug here in creating variant(different types). you need to solve, and use in-place for variant.
    virtual ~BaseEvent();

    template <typename V>
    const V get()
    {
        static_assert(is_valid_type<V>() || std::is_same_v<V, std::monostate>);
        return std::get<V>(m_data);
    };

protected:
    unsigned int m_index;
    uint8_t m_id;
    std::variant<std::monostate, T...> m_data;

private:
    template<typename U>
    constexpr static bool is_valid_type() {
        return (std::is_same_v<U, T> || ...);
    }    
};

我的主要代码要复杂得多，而我只是为此提取了一小部分，所以请谨慎使用。