c++ - 依赖模板库的 protected 成员

Question

所以我通读了this问题，我理解模板中依赖名称的前提，以及有时如何必须使用 this-> 限定方法以确保编译器能够正确找到它，但是我遇到了一个场景我不知道如何解决。具体来说，当该方法所属的对象与 *this 属于同一类型，但它是不同的对象(可能属于不同的子类)时。例如:

#include <iostream>

template<class T>
class A
{
protected:
    virtual void foo() = 0;
};

template<class T>
class B : public A<T>
{
};

template<class T>
class C : public B<T>
{
protected:
    void foo() override
    {
        std::cout << "Hello, world" << std::endl;
    }
};

template<class T>
class D : public B<T>
{
protected:
    void foo() override
    {
        B<T> *b = new C<T>();
        b->foo(); // error: 'void A<T>::foo() [with T = int]' is protected
    }
public:
    void bar()
    {
        this->foo();
    }
};

int main()
{
  D<int> d;
  d.bar();
}

鉴于此继承层次结构，以及调用 b->foo(); 时的错误，调用该函数的正确方法是什么？据我了解，原则上它应该可供 D 中的代码访问，因为它是基类的 protected 成员，但它因模板系统而变得复杂。

Answer 1

您的问题与模板无关，如果您删除所有模板代码，则会出现相同的错误。

将成员声明为 protected意味着您只能从同一个(直接)类访问该成员；所以虽然 D 和 C 可能都从 B 派生，但它们都是截然不同的类型，而不是 直接 B，因此D 和C 无法访问B 的另一个实例的 protected 成员>。

例如，使用您发布的一些代码来编写以下代码:

class D : public B
{
    public:
        void baz(D& d, B& b)
        {
            foo(); // ok: calls this->foo();
            d.foo(); // ok: type of `d` is `D`, same class
            b.foo(); // error: can't access protected member
        }
};

在您的代码中，将 B* b = new C(); 更改为 B* b = new B(); 在 D 类在尝试访问 protected 成员时仍会遇到相同的错误。如果将其更改为 D* b = new D();，则错误消失，因为 b 现在与其所在类的类型相同。

要解决此错误，您可以将 D 声明为 B 的 friend ，但这会引入其他需要考虑的问题，您还必须添加转发/ friend 您希望以这种方式访问​​ foo 的每个类的声明:

template < class T >
class D;

template <class T>
class B : public A<T>
{
    friend class D<T>;
};

但是，鉴于您发布的代码，人们倾向于将 bar 函数移出 D 并将其放入 B，那么您就不必处理前向声明，并且您的大部分代码保持不变:

template <class T>
class B : public A<T>
{
public:
    void bar()
    {
        this->foo();
    }
};

// Then in your D class, change the call from `foo` to `bar`

template <class T>
class D : public B<T>
{
protected:
    void foo() override
    {
        B<T> *b = new C<T>();
        b->bar();
    }
};

虽然这可能不适合您的特定情况，但最终您的问题基本上归结为需要 public 访问权限。

希望对您有所帮助。