C++ 模板声明不可见

Question

我有以下代码:

#include <cstddef>
#include <cstdint>

using ReadIteratorType = Buffer::iterator;
using WriteIteratorType = Buffer::iterator;

template <typename TReadIterator, typename TWriteIterator>
class FieldBase
{
public:
    using ReadIterator = TReadIterator;
    using WriteIterator = TWriteIterator;

    virtual void read(ReadIterator& readIterator, std::size_t& len) = 0;
    virtual void write(WriteIterator& writeIterator, std::size_t& len) = 0;
};

template <typename TValue>
class Field : public FieldBase<ReadIteratorType, WriteIteratorType>
{
public:
    using ValueType = TValue;

    virtual const ValueType& getValue() const { return m_value; };
    virtual void setValue(const ValueType& value) { m_value = value;}
    constexpr std::size_t length() { return sizeof(TValue); }

protected:
    ValueType m_value {};
};

template <typename T>
class IntField : public Field<T>
{
public:

    void read(ReadIterator& readIterator, std::size_t& len) override
    {

    }

    void write(WriteIterator& writeIterator, std::size_t& len) override
    {

    }
};

每当我尝试编译这个特定的代码时，我都会有 t

error: ‘ReadIterator’ has not been declared void read(ReadIterator& readIterator, std::size_t& len) override

error: ‘WriteIterator’ has not been declared void write(WriteIterator& writeIterator, std::size_t& len) override

但是如果我将定义 IntField 类更改为 class IntField : public Field 或任何具有特定类型的东西，它会正确编译。为什么 IntField 在当前上下文中不能成为模板？

Answer 1

这是一个众所周知的问题。编译器不知道 ReadIterator 需要来自模板化基类，因为它会在模板实例化的第一步中尝试解析名称。您可能会在此处找到有关两阶段名称查找的更多信息:http://blog.llvm.org/2009/12/dreaded-two-phase-name-lookup.html

这里你需要详细一点:

void read(typename Field<T>::ReadIterator& readIterator, std::size_t& len) override

或者，为了节省一些输入:

using base_t = Field<T>;
void read(typename base_t::ReadIterator& readIterator, std::size_t& len) override

附带说明一下，您的代码对我来说意义不大。我希望您的 IntField 不是是一个模板:

class IntField : public Field<int>
// ...