带有隐式参数、前向声明、C++ 的模板

Question

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

列表.h

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

我尝试在不同的头文件中使用后续的前向声明：

分析.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;

编译器不接受这种结构

分析.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

更新问题：

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

列表.h

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

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

分析1.h

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

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

第二类使用类List WITH前向定义使用隐式值

分析2.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
};

第二个类使用类List WITHOUT使用隐式值进行前向定义

分析2.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> () {}
    ...
};

和分析.h

#include "List_fwd.h"

Answer 3

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

Answer 4

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

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

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

Answer 5

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