显式模板实参

jasper — Fri, 05 Feb 2010 07:59:00 GMT

显式模板实参

一.在一些情况下编译器不可能推演出模板的实参的类型。如果模板实参推演过程为同一模板实参推演
出两个不同的类型，则编译器会给出一个错误，支持模板实参推演失败。
这种情况下，我们需要改变模板实参推演机制，并使用显式指定，模板实参被显式指定在逗号的列
表中，用尖括号括起来。

#include<iostream>
template <class T>
        T min5(T,T){return T;}
unsigned int ui;
int main()
{
        //min5(ui,12); //错误 ,同一个模板两个不同类型参数,必须使用显式模板实参如下：
        min5<unsigned int>(ui,12);//此时模板实例化的函数是：min5(unsigned int,unsigned int)

        return 0;
}

分析：
1.显式模板实参min5(ui,12) 参数类型被固定为unsigned.不需要推演模板实参了，且
实例化后，int型的“12” 可以通过有序标准转换成类型unsigned int（隐式类型转换）.
2.调用min5(ui,12);时，模板必须经过推演模板实参，推演ui时就确认了模板类型为min5(unsigned int,unsigned int)；
但是int型“12”，不是unsigned int ，所以程序不会通过转型，直接提示参数类型不一致。

显式模板参数还为其他的程序设计问题提供了方案。

template <class T1, class T2, class T3>
    T1 sum(T2, T3);

typedef unsigned int ui_type;
ui_type calc(char ch,ui_type ui){
    ui_type loc1=sum(ch,ui);//错误：T1不能被推演处理。

    //模板实参被显式指定
    ui_type loc2=sum<ui_type,char,ui_type>(ch,ui);//实例化 ui_type sum(ui_type,char,ui_type)

    //T2，T3通过推演（即省略了尾部参数），返回类型T1通过指定ui_type
    ui_type loc3=sum<ui_type>(ch,ui);//实例化 ui_type sum(ui_type,char,ui_type)

    //注意：只能通过省略模板参数列表的尾部参数。
    ui_type loc4=sum<ui_type, ,ui_type>(ch,ui);//错误：模板推演不出来参数，只能省略模板参数列表尾部。
}
int main(){
    return 0;
}

//sum()实例地址被取出，并作为manipulate()调用的实参被传递。

#include<iostream>
template <class T1,class T2,class T3>
T1 sum(T2 op1,T3 op2){
        T1 a;
        return a;
}
void manipulate(int (*pf)(int,char) ){}
void manipulate(double (*pf)(float,float) ){}
int main()
{
    manipulate(&sum);//错误：产生二义性
        manipulate(&sum<double,float,float>);//显式指定了实例double sum(float,float);
        return 0;
}

显式模板实参应该只被用于解决二义性，或者模板实参不能推演出来上下文中使用模板实例。
建议在可能的时候省略显示模板实参。

jasper 2010-02-05 15:59 发表评论

C++博客-jasper-文章分类-c++学习

显式模板实参