带有前向声明的默认模板参数

Question

是否可以在不指定或不知道这些参数的情况下转发声明使用默认参数的类？

例如，我想声明一个 boost::ptr_list< TYPE > 在 Traits 类中，无需将整个 Boost 库拖到包含这些特征的每个文件中。我想申报 命名空间 boost { template;类 ptr_list< T＞； }，但这不起作用，因为它与真实的类声明不完全匹配：

template < class T,
    class CloneAllocator = heap_clone_allocator,
    class Allocator = std::allocator<void*>
    >
class ptr_list { ... };

我的选择只是接受它还是指定 boost::ptr_listboost::ptr_list我的特征类中的 TYPE、boost::heap_clone_allocator、std::allocator ？ （如果我使用后者，我想我还必须转发声明 boost::heap_clone_allocator 并包含 。）

我已经查看了 Stroustrup 的书，SO，以及互联网的其余部分，但尚未找到解决方案。通常人们担心不包含 STL，解决方案是“只包含 STL 标头”。然而，Boost 是一个更庞大且编译器密集的库，所以除非绝对必要，否则我宁愿将其排除在外。

Answer 1

是的。可以随时随地指定默认模板参数，只要声明彼此不冲突即可。它们最终由各种声明合并在一起。

即使这样也是合法的：

template< class A, class B, class C = long >
class X;

template< class A, class B = int, class C >
class X;

template< class A = short, class B, class C >
class X { };

§14.1/10 中给出了类似的例子。根据该段落，函数默认参数的行为类似。

祝你好运，让前瞻性声明表现得很好，而不是对所有事情都吐槽！

Answer 2

我认为您不能使用默认参数转发声明模板，除非相关库提供了自己的转发声明标头。这是因为你无法重新指定默认参数（即使它们匹配... gcc 仍然会报告“错误：重新定义默认参数”）。

因此，据我所知，解决方案是让库提供一个前向声明头 Foo_fwd.h:

#ifndef INCLUDED_Foo_fwd_h_
#define INCLUDED_Foo_fwd_h_
template<class T, class U=char> class Foo; // default U=char up here
#endif

然后 Foo.h 中的完整实现将是：

#ifndef INCLUDED_Foo_h_
#define INCLUDED_Foo_h_
#include "Foo_fwd.h"
template<class T, class U> class Foo { /*...*/ }; // note no U=char here
#endif

所以现在您的代码也可以使用 Foo_fwd.h...但是不幸的是，由于这种方法需要修改原始 Foo.h 以删除默认参数，因此无法扩展到第三方库。也许我们应该游说 C++0x 工作人员允许对默认模板参数进行等效的重新指定，就像 typedefs...？

Answer 3

任何使用您的设施的前向声明 boost 内容的编译单元都需要包含 boost 标头，除非您有某些程序实际上不会使用设施的 boost 部分。

确实，通过前向声明，您可以避免包含此类程序的 boost 标头。但对于那些实际使用 boost 部分的程序，您必须手动包含 boost 标头（或使用 #ifdef）。

请记住，未来的 Boost 版本中可能会添加更多默认模板参数。我建议不要走这条路线。如果您的目标是加快编译时间，我会考虑使用#define 来指示是否应禁用使用该 boost 库的代码。这样您就可以避免前向声明的麻烦。

Answer 4

好吧，这里有同样的问题。但是用STL。

如果我的标题之一使用例如。 std::vector 那么我必须包含整个标头。从此时起，每次我包含我的标头，即使我的源代码根本不引用 std::vector，标头也会与我的标头一起包含在内。如果您在很多地方包含此标头，则意味着大量过度解析。

因此，我向前声明了 std::vector 并使用了 std::vector* ，但由于默认参数，我的代码不想编译。如果我将默认参数放在标头中，则编译器会由于默认参数尊重而拒绝编译 stl 标头。

在这种情况下我想做的是创建我自己的 Vector 类，该类适应 std::vector 并将每个方法调用转发给它。也许这可以解决问题。