如何根据模板类型启用继承开关

Question

我想根据传递给类的模板参数实现一个实现开关：

• 如果传递的模板类型派生自特定类（此处：Serializable），则创建该类型实例的容器DataElement应派生自SerializableElement，并重载从其继承的两个纯虚拟方法（此处：unloadTo和loadFrom）
• 然而，如果传递的模板类型不是从Serializable派生的，那么DataElement不应该从SerializableElement派生，因此不应该重载纯虚拟方法

我对代码进行了调整，使其能够隐藏类数据元素中的类方法，方法如下：基于布尔模板参数的Enable方法

不过，当我根据自己的问题调整技巧时，确实会出现以下错误：

错误：无法将变量“dataEle”声明为抽象类型“DataElement”

可测试的。H

#ifndef TESTENABLEIF_H_
#define TESTENABLEIF_H_


#include <iostream>
#include <type_traits>

/// @brief  some dummy class to mark a type as Serializable
class Serializable {};

/// @brief abstract base class which adds additional abilities to DataElement
class SerializableElement {
public:
    virtual void unloadTo(int x) =0;
    virtual void loadFrom(int x) =0;
};
/// @brief  used by the DataElement class
class DisableSerializability {};

/// @brief  is a container class which manages the creation and
///         access to a data element of type _DataType
    template< typename _DataType, bool _IsDataSerializable = std::is_base_of<Serializable,_DataType>::value >
    class DataElement :
        //  derive from SerializableElement, only if the template type _DataType is derived from the interface Serializable
        public
        std::conditional<
            _IsDataSerializable,
            SerializableElement,    // add additional properties to DataElement if its Serializable
            DisableSerializability >::type {
    public:
        DataElement(): m_content(new _DataType()){}

        void foo(int x) { std::cout << "in foo" << std::endl; }

        template <bool _EnabledAbility = _IsDataSerializable>
        void unloadTo(typename std::enable_if<_EnabledAbility, int>::type x)
        { std::cout << "in unloadTo" << std::endl; }

        template <bool _EnabledAbility = _IsDataSerializable>
        void loadFrom(typename std::enable_if<_EnabledAbility, int>::type x)
        { std::cout << "in loadFrom" << std::endl; }

    private:
        _DataType* m_content;
    };


    #endif /* TESTENABLEIF_H_ */

调用类DataElement的测试代码

main.cpp

#include "testEnableIF.h"

class SerializableType : public Serializable {
    int x;
    int y;
    int z;
};
class NonSerializableType {
    int u;
};

int main() {
    SerializableType sType;
    NonSerializableType nType;  // other type without being derived from Serializables

    DataElement<SerializableType> dataEle;
    dataEle.unloadTo(3);

    return 0;
}

Answer 1

template <bool _EnabledAbility = _IsDataSerializable>
void unloadTo(typename std::enable_if<_EnabledAbility, int>::type x);

不是对

virtual void unloadTo(int x) = 0;

您甚至可以通过添加覆盖来获得错误。

修复的方法是从一个具体的类继承，该类继承自SerializableElement，而不是仅从接口继承。

演示