模板偏特化的两个疑问,运行结果和我期待的不一样

donet8

书上和网上常常这样写(可能我理解的不太对)
1. 普通函数模板和类模板可以偏特化，但是"类函数模板"模板只能全部特化。对么?
2. 重载解析的时候，首先匹配普通函数，然后找偏特化的版本，然后找普通模板。但是为什么我的main-->f调用的不是特化的版本，而是输出了
template version呢?

1. 
   
2. template<class T1,class T2>
   
3. double f(T1 t1,T2 t2){
   
4.     printf("template version\n");
   
5.     return t1+t2;
   
6. }
   
7. template<class T1,int>
   
8. double f(T1 t1, int i){
   
9.     printf("partial specialization\n");
   
10.     return t1+i;
    
11. }
    
12. int main(int argc, char* const argv[]) {
    
13.     f(2.0f,1);
    
14.     return 0;
    
15. }
    

复制代码

shanehan

你那个模板参数上的int没有用，只是语法上通过

模板参数用常量是这样用的：
template<class T1,class T2>
double f(T1 t1,T2 t2){
  printf("template version\n");
  return t1+t2;
}
template<class T1, int NUM>
double f(T1 t1, int i){
  printf("partial specialization NUM+i=%d\n", NUM+i);
  return t1+i;
}
int main(int argc, char* const argv[]) {
  f<float, 10>(2.0f,1);
  return 0;
}

shanehan

template<class T1,class T2>
double f(T1 t1,T2 t2){
  printf("template version\n");
  return t1+t2;
}
template<class T1>
double f(T1 t1, int i){
  printf("partial specialization\n");
  return t1+i;
}
int main(int argc, char* const argv[]) {
  f(2.0f,1);
  return 0;
}

donet8

shanehan 发表于 2012-06-05 18:20
template
double f(T1 t1,T2 t2){
  printf("template version\n");

多谢，你的这个版本就是我想要的。

不过我的问题是，我写的那个版本:
template<class T1,int>
算是模板偏特化么?

int是一个已知类型啊。

shanehan

donet8 发表于 2012-06-05 18:42
多谢，你的这个版本就是我想要的。

不过我的问题是，我写的那个版本:

也算是，不过应该写成这样，才能得到你要的结果：
template<class T1,class T2>
double f(T1 t1,T2 t2){
  printf("template version\n");
  return t1+t2;
}
template<class T1, int>
double f(T1 t1, int i){
  printf("partial specialization\n");
  return t1+i;
}
int main(int argc, char* const argv[]) {
  f<float, 1>(2.0f,1);
  return 0;
}

shanehan

donet8 发表于 2012-06-05 18:42
多谢，你的这个版本就是我想要的。

不过我的问题是，我写的那个版本:

也算是，不过应该写成这样，才能得到你要的结果：
template<class T1,class T2>
double f(T1 t1,T2 t2){
  printf("template version\n");
  return t1+t2;
}
template<class T1, int>
double f(T1 t1, int i){
  printf("partial specialization\n");
  return t1+i;
}
int main(int argc, char* const argv[]) {
  f<float, 1>(2.0f,1);
  return 0;
}

shanehan

donet8 发表于 2012-06-05 18:42
多谢，你的这个版本就是我想要的。

不过我的问题是，我写的那个版本:

也算是，不过应该写成这样，才能得到你要的结果：
template<class T1,class T2>
double f(T1 t1,T2 t2){
  printf("template version\n");
  return t1+t2;
}
template<class T1, int>
double f(T1 t1, int i){
  printf("partial specialization\n");
  return t1+i;
}
int main(int argc, char* const argv[]) {
  f<float, 1>(2.0f,1);
  return 0;
}

shanehan

我怎么会回复了三次，

Moon_Bird

回复 3# donet8
这不能算是偏特化
该模板的模板参数为无类型模板参数（即编译时为已知的整数值）
具体可参考bitset<int> 类模板

   

幻の上帝

template<class T1,int>
double f(T1 t1, int i);
这个不是特化，是另外一个同名的函数模版声明。
template<class T1, int>里的int是模版的非类型参数，是模版的形参，它对应的实参是int类型的常量表达式而不是一个类型。
你可以指定class T1和int对应的实参来得到这个模版的实例，类似 f<float, 10>。
其实偏特化是类模版的，函数模版要么全特化要么实例化要么就重载……