[参考译文] 编译器：ARM CGT v5.2.5基类中模板参数的问题

模板将被解析两次：一次是首次看到模板时、另一次是实例化模板时。 在第一轮中、T1和 T2是未知占位符类型、而在第二轮中、它们是已知的类型 。

在您发布的代码中、Foo 是 Bar 的依赖基类、这意味着在已知 T1和 T2的第二次 Bar 被解析之前无法确定其对 Bar 的贡献。 在处理从属基类时，默认名称查找不起作用，因为要考虑添加以下 Foo 专业化认证时会发生什么情况：

模板<>
类 Foo 
｛
公共：
虚拟空转储(){
printf ("%08X：\n"、此)；
｝
}； 

现在、根据"T1"的类型、代码可能是错误的、也可能不是错误的。 由于语言在解析 T1和 T2未知的模板时无法确定这一点、因此它必须将检查推迟到稍后、当它确实知道时。 此外、它必须是保守的、并假设由于没有可用的全局'P1'、它是对未定义变量的引用。

我们如何解决这个问题？ 我们可以稍后通过将引用链接到"P1"到相关实体来推迟名称查找。 由于关联基类继承导致 Bar 受依赖、因此我们可以通过'this'指针引用 P1。 编译以下代码。

#include 

模板 
Foo 类
｛
公共：
内部 P1；
虚拟空转储(){
printf ("%08X：%i\n"、这、P1)；
｝
}；

模板 
酒吧：公共场所 
｛
公共：
T2 P2；
虚拟空转储(){
printf ("%08X：%i、%i\n"、这、this->P1、P2)； //通过相关的'this'指针引用从属成员变量
}
}；

void test()
{
条形图 酒吧；
bar.p1 = 1；//还可以！！！！
bar.p2=2；
bar.dump()；
}