C++继承问题

Question

我正在使用 code::blocks，我相信 gcc。给出示例代码（这是伪代码，可能无法复制问题）：

//Assume this is in a separate header file to B
class TestA
{
    protected:
        int A;

    public:
        void Function1(){A = 0;}
};

class TestB : public TestA
{
    public:
        void CallFunction(){ A = 10; Function1();}//
};

我会得到类似的编译错误，例如： 错误：“A”未在此范围内声明。 错误：Function1() 未在此范围内声明。

我的印象是所有基本变量和函数都继承到子类。鉴于基类有很多函数和变量，我不想使用“using”关键字，因为我必须为每个函数和变量声明它（据我所知）。

有什么方法可以使 TestB 显式或实际包含它继承的内容吗？

下面的相关片段

好的。不可能包含项目中的示例代码，但我将引用关键片段：

C:\Users\user\Desktop\Projects\RND2\TemplateListAdv.h|30|error: 'Size' was not declared in this scope|

该行所在的行是：

if(!Array.SetToSize(Size))

它所在的类是：

template<typename TemplateItem>
class TemplateListAdv : public TemplateList<TemplateItem>

TemplateList 中的罪魁祸首行是：

SIZE_TYPE Size; //SIZE_TYPE is unsigned long.
//SIZE_TYPE is available in all files as unsigned long.

Files go： TemplateList.h->TemplateBasics.h->TemplateListAdv.h

据我所知，没有丢失文件。

我将添加，“using”关键字单独解决它，但这一直困扰着我，因为我认为继承是自动的。

要求的编译器数据：

“Release 10.05 rev 6283 (2010-05-27 09:09:13) gcc 4.4.1 Windows/unicode - 32 bit”

Answer 1

所以看起来您在模板类继承中遇到了错误，不是吗？与非模板相比，它们有很大差异。假设您有这样的代码：

template <class T>
class TestA
{
    protected:
        int A;

    public:
        void Function1(){A = 0;}
};

template <class T>
class TestB : public TestA<T>
{
    public:
        void CallFunction(){ A = 10; Function1();}//
};

该问题是由两阶段名称查找引起的。基类 TestA 的所有成员都是依赖名称，即它们依赖于模板参数 T。之所以如此，是因为您可以使用完全不同的成员对 TestA 进行模板专门化，例如：

template <class T>
class TestA
{
    protected:
        int A;

    public:
        void Function1(){A = 0;}
};

template <class T>
class TestB : public TestA<T>
{
    public:
        void CallFunction(){ A = 10; Function1();}//
};

template <>
class TestA<int>
{
};

现在，没有TestA 中的 A 和 Function1 成员，因此在 TestB 中也无法访问它们。为了让编译器知道这些成员确实依赖于模板参数，您应该像这样编写 TestB：

template <class T>
class TestB : public TestA<T>
{
    public:
        void CallFunction(){ this->A = 10; this->Function1();}//
};

这样，您可以使编译器仅在模板实例化时间而不是模板声明时间解析名称，并且它将了解基类成员。

需要补充的一件事是，VC 编译器不存在这样的问题，它在实例化之前不会尝试解析模板，因此不支持两阶段名称查找。

Answer 2

您在访问类模板中的基类内容时遇到的问题是常见问题解答项。

我没有在这里引用整个常见问题解答项目，而是直接链接到它：这就是您的答案。

抱歉，您提供的用于说明问题的代码是无关的。给出一个实际的例子而不是一个人们认为可能存在问题的例子总是一个好主意。

干杯&呵呵，，

Answer 3

问题是您正在使用模板，而基类是“从属名称”。也就是说，模板基类可以是专门的，并且没有 Size 成员，编译器只是不知道何时编译您的类，因为 Size 引用不在依赖上下文中。

在您的特定情况下，最简单的解决方案是使用 this 引用继承的成员：

if(!Array.SetToSize(this->Size))

并且由于 this 是依赖名称，因此它应该可以工作

Answer 4

您确定：

• Size 是 TemplateList 的受保护属性还是公共属性吗？

• 您不是从静态方法调用 if(!Array.SetToSize(Size)) 吗？

Answer 5

这个问题确实很糟糕，你可能想改进一下。无论如何，我的水晶球告诉我 Size 是在基本模板中定义的，并且由于标识符 Size 不依赖，因此查找不会进行进入基本模板，但编译器看不到它。在 Size 之前添加 this-> 即可设置。

Answer 6

当解释模板成员函数时，编译器必须（遵循标准）决定每个符号是否依赖于模板参数。如果它依赖于它，那么只有在实例化模板时才会解决它。不过，此刻他必须解决。

在您的情况下，编译器认为 A 和 Function1 不依赖于模板参数，因此应该在解析后即可解析。您只需使用 this->A 和 this->Function1 使其依赖于模板参数，

因此，您应该有类似的东西。

template < typename T >
class Base
{
protected:
  int A;

public:
  void Function1() { A = 0; }
};

template < typename T >
class Derived : public Base< T >
{
public:
  void CallFunction1() {
    this->A = 10;
    this->Function1();
  }
};