3

假设我有一个函数模板 StrCompare

template<typename T=NonCaseSenCompare>//NonCaseSenCompare is a user defined class look at the detailed code below.
int StrCompare(char* str1, char* str2)
{
...
}

现在在主函数中我写了一行

char* str1="Zia";
char* str2="zia";
int result=StrCompare(str1,str2);

它应该可以工作，因为我们提供了一个默认模板参数，但它没有
编译器给出以下错误
no matching function for call to `StrCompare(char*&, char*&)' 现在详细代码由下式给出

#include<iostream.h>
class CaseSenCompare
{
public: 
static int isEqual(char x, char y)
{
return x==y;
}
};
class NonCaseSenCompare
{
public:
static int isEqual(char x,char y)
{
char char1=toupper(x);
char char2=toupper(y);
return char1==char2;
}
};
template<typename T=NonCaseSenCompare>
int StrCompare(char* str1, char* str2)
{
for(int i=0;i < strlen(str1)&& strlen(str2);i++)
{
if(!T::isEqual(str1[i],str2[i]))
return str1[i]-str2[i];
}
return strlen(str1)-strlen(str2);
}

main()
{
char* ptr1="Zia ur Rahman";
char* ptr2="zia ur Rahman";
int result=StrCompare(ptr1,ptr2);//compiler gives error on this line
cout<<result<<endl;
system("pause");
}

如果我写

int result=StrCompare<>(ptr1,ptr2);

编译器给出相同的错误信息。

4

4 回答 4

6

正如gf和A​​ndreyT已经写的那样，函数模板不能有默认模板参数。但是，如果您将比较器转换为函数对象，您仍然可以使用默认函数参数：

template<typename Comp>
int StrCompare(char* str1, char* str2, Comp = NonCaseSenCompare())
{
  ...
}

您现在可以StrCompare()这样调用

StrCompare("abc","aBc",CaseSenCompare());

或像这样：

StrCompare("abc","aBc"); // uses NonCaseSenCompare

然后比较器必须如下所示：

struct CaseSenCompare {
  bool operator()(char x, char y) const {return x==y;}
};

相应调整StrCompare()。

于 2010-02-24T18:44:06.823 回答
4

§14.1/9：

默认模板参数不应在函数模板声明或函数模板定义中指定，也不应在类模板成员定义的模板参数列表中指定。

一个简单的解决方法是将它移到一个类中：

template<typename T=NonCaseSenCompare>
struct StrCompare {
    static int compare(char* str1, char* str2) { /* ... */ }
};
于 2010-02-24T18:28:37.973 回答
2

首先，函数模板不支持默认模板参数，只有类模板支持。

其次，即使所有类模板参数都有默认参数，您仍然必须指定一个空<>来引用该类模板。

于 2010-02-24T18:31:48.247 回答
0

我使用的是下一个技巧；

假设你想要这样的功能

template <typename E, typename ARR_E = MyArray_t<E> > void doStuff(ARR_E array)
{
    E one(1);
    array.add( one );
}

你不会被允许的，但我会这样做：

template <typename E, typename ARR_E = MyArray_t<E> >
class worker {
public:
    /*static - as you wish */ ARR_E* parr_;
    void doStuff(); /* do not make this one static also, MSVC complains */
};

template <typename E, typename ARR_E>
void worker::doStuff<E, ARR_E>::getChunks()
{
    E one(1);
    parr_->add( one );
}

所以这样你就可以像这样使用它。

MyArray_t my_array;
worker<int> w;
w.parr_ = &arr;
w.doStuff();

我们可以看到不需要显式设置第二个参数。也许它对某人有用。

于 2011-07-23T00:07:36.617 回答