C++模板类内部结构体编译报错原因及修复方法

原代码 #

#include <iostream>
#include <memory>

template<typename T>
class MyClass
{
        public:
                struct InnerStruct
                {
                        T val;
                        InnerStruct(T v): val(v) {};
                };
};

template<typename T>
T get_val(std::unique_ptr<MyClass<T>::InnerStruct>& p)
{
        return p->val;
}

int main()
{
        std::unique_ptr<MyClass<int>::InnerStruct> p = std::make_unique<MyClass<int>::InnerStruct>(1);
        int x = get_val(p);
        std::cout << x << std::endl; 
        p.reset(nullptr);
        return 0;
}

编译报错信息 #

16 | T get_val(std::unique_ptr<MyClass<T>::InnerStruct>& p)
      |                                                  ^
a.cpp:16:50: note:   expected a type, got ‘MyClass<T>::InnerStruct’
a.cpp:16:50: error: template argument 2 is invalid
a.cpp: In function ‘T get_val(int&)’:
a.cpp:18:17: error: base operand of ‘->’ is not a pointer
   18 |         return p->val;
      |                 ^~
a.cpp: In function ‘int main()’:
a.cpp:24:24: error: no matching function for call to ‘get_val(std::unique_ptr<MyClass<int>::InnerStruct>&)’
   24 |         int x = get_val(p);
      |                 ~~~~~~~^~~
a.cpp:16:3: note: candidate: ‘template<class T> T get_val(int&)’
   16 | T get_val(std::unique_ptr<MyClass<T>::InnerStruct>& p)
      |   ^~~~~~~
a.cpp:16:3: note:   template argument deduction/substitution failed:
a.cpp:24:24: note:   couldn’t deduce template parameter ‘T’
   24 |         int x = get_val(p);

问题描述 #

我定义了模板类MyClass，内部包含结构体InnerStruct，用MyClass的模板参数T定义成员val。创建了指向MyClass<int>::InnerStruct的std::unique_ptr，调用模板函数get_val读取其val成员时编译报错。我无法理解提示“note: expected a type, got ‘MyClass::InnerStruct’”，明明MyClass<T>::InnerStruct是结构体类型，请问问题出在哪，该如何修复？

注：我并非询问为何要使用typename，而是针对当前编译报错寻求解决。

问题分析与修复 #

问题根源 #

编译器处理模板函数get_val时，MyClass<T>是依赖于模板参数T的依赖类型。对于依赖类型的内部成员，编译器默认无法确定InnerStruct是类型还是静态成员变量（比如存在模板特化时，该成员可能被改为变量），因此不会将其当作类型解析，导致报错。

修复方案 #

在MyClass<T>::InnerStruct前添加typename关键字，明确告知编译器这是一个类型：

修改后的get_val函数代码：

template<typename T>
T get_val(std::unique_ptr<typename MyClass<T>::InnerStruct>& p)
{
        return p->val;
}

添加typename后，编译器能正确识别MyClass<T>::InnerStruct为类型，顺利完成模板参数推导，所有编译报错即可解决。

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