使用指针作为返回类型实现模板化接口的函数 -> 冲突返回类型错误

Question

我目前正在学习 C++ 并且遇到了以下问题：我有一个模板化接口 BaseTemplate，我想在 Child 类中实现它，而无需让子类本身成为模板。示例代码如下：

template <typename T>
class BaseTemplate
{
    public:
        virtual const T get() const = 0;
};

class Child : public BaseTemplate<int*>
{
    public:
        Child(int value) : myInt{value} {};
        virtual const int* get() const override { return &myInt; };

    private:
        int myInt{0};
};

int main()
{
    Child myChild = Child(10);
    std::cout << myChild.get() << "\n";
    return 0;
}

GCC 产生以下错误：

main.cpp|16|error: conflicting return type specified for ‘virtual const int* Child::get() const’
main.cpp|9|note: overridden function is ‘const T BaseTemplate<T>::get() const [with T = int*]’

我清楚地知道错误与此有关， virtual const int* get() const override { return &myInt; };但我不明白问题出在哪里。如果我将返回类型（当然在两个类中）更改为int，即返回一个值而不是一个指针，它工作正常。那么这里的指针有什么问题呢？

也许它有帮助：在我的实际代码中，我想返回一个指向自定义接口而不是 int 的指针，我相信那里的错误是相关的

file_trees.h|19|error: invalid covariant return type for ‘virtual const IDirectoryNode* FileTree::DepthFirstIterator::getCurrent() const’
iterator_interface.h|10|note: overridden function is ‘const T IIterator<T>::getCurrent() const [with T = IDirectoryNode*]’

Answer 1

它必须取决于如何const应用于类型。

const T意味着返回值是恒定的（这当然几乎没有用）。对于指针，这意味着指针本身是常量，而不是其目标。

另一方面，const int*是一个指向值的非常量指针const int。

对于Base<int*>，T=int*会产生int* const，而不是const* int，因此您必须定义int* const get()虚拟方法。

因为T=const int*它会是const int* const。请参阅此问题了解更多详细信息。