Renekton_bhk 2020-02-16 21:40 采纳率: 50%
浏览 377
已采纳

帮忙判断下这段代码中模板函数的匹配原则应该如何理解?

#include <iostream>
using namespace std;

template <typename T, typename Q, typename H>
void func(T t, Q q, H h)
{
    cout << 1 << endl;
}

template <typename T, typename Q>
void func(T t, T t2, Q q)
{
    cout << 2 << endl;
}

template <>
void func(int a, int b, double c)
{
    cout << 3 << endl;
}

int main()
{
    func(1, 1, 1.0);
}

上面这段输出为3,也就是说匹配到的是第3个具体化的void func(int a, int b, double c)

如果我把后2个具体化的模板函数位置对调一下:

#include <iostream>
using namespace std;

template <typename T, typename Q, typename H>
void func(T t, Q q, H h)
{
    cout << 1 << endl;
}

template <>
void func(int a, int b, double c)
{
    cout << 3 << endl;
}

template <typename T, typename Q>
void func(T t, T t2, Q q)
{
    cout << 2 << endl;
}

int main()
{
    func(1, 1, 1.0);
}

这样输出就变成2了,匹配到的模板函数是void func(T t, T t2, Q q)

没有想明白为什么2个具体化的函数的先后顺序会影响到匹配结果呢?

  • 写回答

1条回答 默认 最新

  • 吾大佬 2020-02-17 10:44
    关注

    其实这两个模板与main()中的参数都是匹配的,此时非实例优先。如果要实例化所有参数,尽量不要加上template<>。也就是说,输出3的实例版本函数如下这样写,不管怎么调换定义的先后顺序,程序都会输出3.

    void func(int a, int b, double c)
    {
    cout << 3 << endl;
    }

    本回答被题主选为最佳回答 , 对您是否有帮助呢?
    评论

报告相同问题?

悬赏问题

  • ¥15 这个电路是如何实现路灯控制器的,原理是什么,怎么求解灯亮起后熄灭的时间如图?
  • ¥15 matlab数字图像处理频率域滤波
  • ¥15 在abaqus做了二维正交切削模型,给刀具添加了超声振动条件后输出切削力为什么比普通切削增大这么多
  • ¥15 ELGamal和paillier计算效率谁快?
  • ¥15 file converter 转换格式失败 报错 Error marking filters as finished,如何解决?
  • ¥15 Arcgis相交分析无法绘制一个或多个图形
  • ¥15 关于#r语言#的问题:差异分析前数据准备,报错Error in data[, sampleName1] : subscript out of bounds请问怎么解决呀以下是全部代码:
  • ¥15 seatunnel-web使用SQL组件时候后台报错,无法找到表格
  • ¥15 fpga自动售货机数码管(相关搜索:数字时钟)
  • ¥15 用前端向数据库插入数据,通过debug发现数据能走到后端,但是放行之后就会提示错误