继承模板的嵌套类中使用模板定义的嵌套类的编译报错解决

代码示例 #

#include <mutex>
#include <memory>
#include <unordered_set>

namespace W {
  template<class Y, class Z> class A {
    public:
      class B : public std::enable_shared_from_this<B> {
        friend class A<Y, Z>;

        public:
          B() {  }
          void process() {  }
      };
  };
};

namespace U {
  class Mutex {
    std::mutex mutex;

    public:
      void lock()  {
        mutex.lock();
      }

      void unlock()  {
        mutex.unlock();
      }
  };

  template<class Y, class Z> class AA : public W::A<Y, Z> {
    public:
      class BB {
        private:
          Mutex B_mutex;
          std::unordered_set<std::shared_ptr<B>> B_list;
      };
  };
};

问题描述 #

我定义了模板类W::A，其内部嵌套了处理逻辑的类B；同时实现了继承自W::A的模板类U::AA，AA的嵌套类BB需要维护一个std::shared_ptr<B>的集合。但编译时出现以下错误：

编译错误 #

error: ‘B’ was not declared in this scope;
std::unordered_set<std::shared_ptr<B>> B_list GUARDED_BY(B_mutex);
                                   ^~
error: template argument 1 is invalid
std::unordered_set<std::shared_ptr<B>> B_list GUARDED_BY(B_mutex);
                                    ^~

我尝试用奇异递归模板模式（CRTP）解决，但没有效果，请问如何修复这个编译问题？

解决方案 #

问题根源是模板继承中，基类的嵌套类型不会自动被派生类的内部嵌套类识别。由于AA是模板类，编译器在BB的作用域中无法自动推导B来自基类W::A<Y,Z>，必须显式指定类型的完整路径：

方法1：直接指定基类作用域 #

修改BB中B_list的定义，用typename AA<Y,Z>::B明确B的来源：

template<class Y, class Z> class AA : public W::A<Y, Z> {
    public:
      class BB {
        private:
          Mutex B_mutex;
          std::unordered_set<std::shared_ptr<typename AA<Y,Z>::B>> B_list;
      };
};

这里必须加typename关键字，因为AA<Y,Z>::B是依赖于模板参数的类型，编译器需要typename来区分类型和静态成员。

方法2：在AA中添加类型别名 #

在AA中定义B的类型别名，让BB可以直接引用：

template<class Y, class Z> class AA : public W::A<Y, Z> {
    public:
      using B = typename W::A<Y,Z>::B; // 定义基类嵌套类型的别名
      class BB {
        private:
          Mutex B_mutex;
          std::unordered_set<std::shared_ptr<B>> B_list;
      };
};

这种方式更简洁，BB中直接使用B即可，编译器会通过AA的类型别名找到正确的类型。

关于CRTP无效的原因 #

CRTP的核心是让基类能够访问派生类的成员，而你的问题是派生类的内部嵌套类无法访问基类的嵌套类型，两者场景完全不匹配，所以CRTP无法解决这个问题。

内容的提问来源于stack exchange，提问作者Octavian Ciobanu