c++ - C++部分模板特化-设计简化

我正在研究管道/数据流设计模式。我有一个类“算法数据输出”(AlgorithmOutput)，它充当两个连接的网段之间的接口(interface)。特别是，它提供了方法模板getOutput<size_t N>，用于从“数据发送器”类型的对象输出数据。

当前的设计基于以下想法:用户从AlgorithmOutput类派生并提供方法模板getOutput<size_t N>的有限数量的实现。我还需要能够允许用户通过getOutput方法提供自己的自定义返回类型(即，返回类型不能是多态的)。此外，必须具有getOutput的所有实现，才能访问定义为方法所属的类的成员的相同数据集。

当前解决方案在用户派生的类中使用部分显式专门化来定义getOutput方法的不同实现。我想简化解决方案，并且希望在不丢失当前设计功能的情况下获得关于如何实现此方法的任何想法。

编辑:从用户的 Angular 来看，我只关心getOutput方法的易于实现。我不关心基类的实现有多复杂。

派生类的实现示例:

class PipeOutputClass: public AlgorithmOutput<PipeOutputClass>
{

public:

    template <size_t N>
    auto getOutput(size_t c_Idx) const
        {
            return getOutputImpl<N>::apply(this, c_Idx);
        }

    template<size_t N, typename S> friend struct getOutputImpl;

    template<size_t N, typename = void>
    struct getOutputImpl
    {
        static auto apply(
            PipeOutputClass const* p_Self,
            size_t c_Idx
            )
            {
                throw std::runtime_error("Wrong template argument.");
            }
    };

    template <typename S>
    struct getOutputImpl<0, S>
    {
        static std::unique_ptr<double> apply(
            PipeOutputClass const* p_Self,
            size_t c_Idx
            )
            {
                std::unique_ptr<double> mydouble(new double(10));
                return mydouble;
            }
    };

    template <typename S>
    struct getOutputImpl<1, S>
    {
        static std::unique_ptr<int> apply(
            PipeOutputClass const* p_Self,
            size_t c_Idx
            )
            {
                std::unique_ptr<int> myint(new int(3));
                return myint;
            }
    };

};

最佳答案

您可以使用标签分派(dispatch)来避免部分特化的需求。简化版:

//we'll use this to overload functions based on a size_t template param
template <size_t N>
struct Size2Type{};

class PipeOutputClass
{
public:
    template <size_t N>
    auto getOutput(size_t c_Idx) const
    {
        //use Size2Type to tag dispatch
        return getOutputImpl(Size2Type<N>{}, c_Idx);
    }

    //default version for when we don't explicitly provide an overload
    template <size_t N>
    auto getOutputImpl(Size2Type<N>, size_t c_Idx) const
    {
         throw std::runtime_error("Wrong template argument.");
    }

    //overload for when N = 0
    std::unique_ptr<double> getOutputImpl (Size2Type<0>, size_t c_Idx) const
    {
        std::unique_ptr<double> mydouble(new double(10));
        return mydouble;
    }

    //overload for when N = 1
    std::unique_ptr<int> getOutputImpl (Size2Type<1>, size_t c_Idx) const
    {
        std::unique_ptr<int> myint(new int(3));
        return myint;
    }
};

关于c++ - C++部分模板特化-设计简化，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/29843398/