Question

我正在尝试定义一个模板化的基类，它定义了一个由用户覆盖的虚拟接口。在某些情况下，拥有此方法的默认实现是有意义的，但对于所有类型参数都不是这样。考虑一下：

template<typename T>
struct supplier
{
    virtual std::unique_ptr<T> supply(std::istream& moreData) = 0;
};

现在我想提供以下默认实现，因为T是默认可构造的（std::is_default_constructible）：

std::unique_ptr<T> supply(std::istream& moreData)
{
    return std::unique_ptr<T>(new T);
}

问题不在于如何为适当的T定义此函数，而是如何使其显示为纯虚函数 - 从而强制用户实现 - 当它未定义时，如同正常的虚函数，如果是。

我想我只是错过了一些明显的解决方案。我试图专门化struct supplier，但这意味着我必须两次定义接口的其余部分，因此它绝对不是扩展解决方案。这也意味着我必须提供两次接口的其余部分。

对于具有许多虚拟功能的丰富基类，是否存在经济实惠的解决方案，可以提供实现还是纯虚拟？

Answer 1

将您需要专门化的部分提取到单独的类模板中，然后从中继承。

namespace details {
    template<class T, bool = std::is_default_constructible<T>::value>
    struct supplier_base
    {
        virtual std::unique_ptr<T> supply(std::istream& moreData) = 0;
    };

    template<class T>
    struct supplier_base<T, true>
    {
        virtual std::unique_ptr<T> supply(std::istream& moreData)
        {
            return std::unique_ptr<T>(new T);
        }
    };
}

template<class T>
struct supplier : details::supplier_base<T> { /* ... */ };

在模板化类的特殊情况下将虚函数定义为纯函数

1 个答案: