g++模板参数错误

Question

我有 GetContainer() 函数，如下所示。

template<typename I,typename T,typename Container>
Container& ObjCollection<I,T,Container>::GetContainer()
{
    return mContainer;
}

当我按如下方式使用此方法时，

template<typename I,typename T>
T& DynamicObjCollection<I,T>::Insert(T& t)
{
    GetContainer().insert(&t);
    return t;
}

出现错误。

error: there are no arguments to ‘GetContainer’ that depend on a template parameter, 
so a declaration of ‘GetContainer’ must be available

error: (if you use ‘-fpermissive’, G++ will accept your code, but allowing the use of 
an undeclared name is deprecated)

它与 MSVC 一起工作得很好，但 g++ 就不那么宽容了。代码有什么问题吗？

Answer 1

我注意到GetContainer函数是ObjCollection的一个方法，而Insert是DynamicObjectCollection的成员。由此，我假设 DynamicObjectCollection 继承自 ObjectCollection。

如果确实如此，问题就在于当您编写从模板基类继承的模板类时，名称查找的工作方式与普通类中的名称查找略有不同。特别是，您不能仅使用基类成员的名称来引用它们；您需要向编译器指示在哪里查找名称。这在 Visual Studio 中起作用的原因是 Microsoft C++ 编译器实际上错误地理解了这种行为，并允许技术上非法的代码正常编译。

如果您想调用基类的 GetContainer 函数，您有两种选择。首先，您可以显式指示调用是对成员函数：

this->GetContainer().insert(&t);

现在编译器知道 GetContainer 是 DynamicObjectCollection 的成员，它知道它可能需要查看在基类中调用 GetContainer，因此它将推迟名称查找，直到实例化模板。

另一个可用的选项是在类主体中添加一个 using 声明：

template <typename I, typename T>
class DynamicObjectCollection: public ObjectCollection<I, T, /* ? */> {
public:
    using ObjectCollection<I, T, /* ? */>::GetContainer;

    /* ... */
};

这也明确地向编译器表明 GetContainer 可以在基类中定义，因此它推迟查找直到模板实例化。

如果这不适用于您的情况，请告诉我，我可以删除这篇文章。

希望这有帮助！