Question

我知道这不会编译，我理解＆＃34; DerivedTemplate＆＃34; type不直接实现抽象成员函数。我想知道的是，为什么，即什么规则阻止了它的运作？

#include <iostream>
#include <memory>

template<typename DuplicateType, typename DuplicatedReturnType = DuplicateType>
struct EnableDuplication
{
    virtual ~EnableDuplication()
    {}
    virtual std::unique_ptr<DuplicatedReturnType> duplicate() const
    {
        std::cout << "Using the templated duplication." << std::endl;
        const auto& thisObj{static_cast<const DuplicateType&>(*this)};
        return std::make_unique<DuplicateType>(thisObj);
    }
};

struct Base
{
    Base(int value) : value_(value)
    {}
    virtual ~Base()
    {}
    virtual std::unique_ptr<Base> duplicate() const =0;

    const int value_;
};

struct DerivedTemplate : Base, EnableDuplication<DerivedTemplate, Base>
{
    DerivedTemplate(int value) : Base(value)
    {}
};

struct DerivedImplement : Base
{
    DerivedImplement(int value) : Base(value)
    {}
    virtual std::unique_ptr<Base> duplicate() const override
    {
        std::cout << "Using the implented duplication." << std::endl;
        return std::make_unique<DerivedImplement>(*this);
    }

};

void printValue(const Base& original, const std::unique_ptr<Base>& copy)
{
    std::cout << "Value of derived is: " << original.value_ << 
        "\nValue of copy is: " << copy->value_ << std::endl;
}

int main(int argc, const char* argv[])
{
    DerivedTemplate dt{5};
    auto copyt{dt.duplicate()};
    printValue(dt, copyt);

    DerivedImplement di{5};
    auto copyi{di.duplicate()};
    printValue(di, copyi);
    return 0;
}

Answer 1

你的hirarchy是这样的：

EnableDuplication  Base
     \              /
     DerivedTemplate

DerivedTemplate从两个基类继承相同的方法。你没有压倒什么。在我看来，你的陈述是错误的：“我理解”DerivedTemplate“类型不直接实现抽象成员函数。” - 问题是它甚至没有间接地。它根本就没有。你希望语言做的是覆盖，但你没有告诉它这样做。

Answer 2

它无法编译，因为A派生自B但尚未实现纯虚函数：

如果您实现所述功能，它将起作用：

chlildren

Demo

通过C ++模板复制派生对象

2 个答案: