Question

有一个带有隐式参数的模板类声明：

List.h

template <typename Item, const bool attribute = true>
class List: public OList <item, attribute>
{
    public:
    List() : OList<Item, attribute> () {}
    ....
};

我尝试在不同的头文件中使用fllowing forward声明：

Analysis.h

template <typename T, const bool attribute = true>
class List;

但是G ++显示了这个错误：

List.h:28: error: redefinition of default argument for `bool attribute'
Analysis.h:43: error:   original definition appeared here

如果我使用没有隐式参数的前向声明

template <typename T, const bool attribute>
class List;

编译器不接受此构造

Analysis.h

void function (List <Object> *list)
{
}

并显示以下错误（即不接受隐式值）：

Analysis.h:55: error: wrong number of template arguments (1, should be 2)
Analysis.h:44: error: provided for `template<class T, bool destructable> struct List'
Analysis.h:55: error: ISO C++ forbids declaration of `list' with no type

更新了问题：

我从模板定义中删除了默认参数：

List.h

template <typename Item, const bool attribute>
class List: public OList <item, attribute>
{
    public:
    List() : OList<Item, attribute> () {}
    ....
};

使用类List的第一个文件具有带参数属性隐含值的前向声明

Analysis1.h

template <typename T, const bool attribute = true>
class List;  //OK

class Analysis1
{
    void function(List <Object> *list); //OK
};

使用隐式值

的类List WITH前向定义的第二个类

Analysis2.h

template <typename T, const bool attribute = true> // Redefinition of default argument for `bool attribute'
class List; 

class Analysis2
{
    void function(List <Object> *list); //OK
};

第二个类使用隐式值

的类列表没有前向定义

Analysis2.h

template <typename T, const bool attribute> // OK
class List; 

class Analysis2
{
    void function(List <Object> *list); //Wrong number of template arguments (1, should be 2)
};

Answer 1

简单。从定义中删除默认值，因为您已在前向声明中提到过。

template <typename Item, const bool attribute = true> //<--- remove this 'true`
class List: public OList <item, attribute>
{
  //..
};

写：

template <typename Item, const bool attribute>  //<--- this is correct!
class List: public OList <item, attribute>
{
  //..
};

在线演示：http://www.ideone.com/oj0jK

Answer 2

一种可能的解决方案是声明另一个头文件List_fwd.h

template <typename Item, const bool attribute>
class List;

因此，在List.h和Analysis.h中，首先包含List_fwd.h。所以List.h成为

#include "List_fwd.h"

template <typename Item, const bool attribute = true>
class List: public OList <item, attribute>
{
    public:
    List() : OList<Item, attribute> () {}
    ...
};

和Analysis.h

#include "List_fwd.h"

Answer 3

您必须确保只有第一个声明具有参数的默认值。这可以通过首先定义仅向前声明的标头，然后从List.h和Analysis.h包括它来实现。在List.h的定义中，不要包含默认值。

Answer 4

您可以只在一个地方定义默认参数（对于给定的翻译）。在类声明中这样做是最有用的，而在前进中定义它是个坏主意。

转发不需要默认参数（在某些情况下你只需要输入它）。

如果你真的想要一个默认参数，你可以创建另一个简单的模板类型，它与前向一起实现。然后通过typedef访问结果。你可以使用前面的列表来做到这一点。

Answer 5

您必须在每个使用它的文件中包含List.h。声明仅适用于非模板类型。对于模板类型，必须包含每个编译单元的头文件。

具有隐式参数的模板，前向声明，C ++

5 个答案: