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，因此它将查找推迟到模板实例化。

如果这不适用于您的情况，请告诉我，我可以删除此帖子。

希望这有帮助！

g ++模板参数错误

1 个答案: