具有模板参数和类外默认参数的类的成员函数

Question

我想在模板类之外定义如下所述的函数。

已经为第二个参数尝试了很多组合，它是一个模板，并且也接受默认参数。

template <typename T>
class CustomAllocator
{
 //My custom allocator
};

template <typename T, typename Allocator = CustomAllocator<T> >
class CustomContainer
{
 void push_back();
};

/*I want to define push_back outside my class, tried everything.
Almost 4 hours spent through stackoverflow, fluentcpp and all sites*/

// What should be specified for Allocator here ?
template <typename T>
void CustomContainer<T,Allocator>::push_back(T value)
{

}

//OR

template <typename T>
void CustomContainer<T,CustomAllocator<> >::push_back(T value)
{

}

我希望它是在类之外定义的实际得到编译器错误，如果它是简单的类型，我可以很容易地在第二个参数中提到int、浮动等。

Answer 1

对于在模板定义之外定义的模板的成员函数，不能使用默认模板参数。

来自C 17标准（17.1模板参数）

那就写吧

template <typename T, typename Allocator>
void CustomContainer<T, Allocator>::push_back( const T &value )
{
    //...
}

注意函数的参数。您对函数的声明与其定义不一致。

Answer 2

在类定义之外，函数不清楚分配器是什么类型，因此必须重新声明它，就像重新声明T

template <class T, class Allocator>
void CustomContainer<T,Allocator>::push_back(T value)
{
   // ...
}

（我假设DataType应该是T）

请注意，您在类中的push_back声明应与定义匹配：

template <typename T, typename Allocator = CustomAllocator<T> >
class CustomContainer
{
 void push_back(T);
};