C++ 为什么'；默认模板类型是否引用实例化中的指定类型？ #包括 #包括 使用名称空间std； 模板空白f1（T a，U b） { cout

默认模板参数是最后手段，仅在未指定或推导参数时使用

具体规定如下：

生成的替换和调整的函数类型用作 用于模板参数推断的函数模板的类型。如果 尚未推导模板参数及其对应的模板 参数具有默认参数，则模板参数已确定 通过替换为前面的 将模板参数转换为默认参数。如果替换 导致无效类型，如上所述，类型推断失败。 [ 例如：

模板
空隙f（T=0，U=0）；
void g（）{
f（1，'c'）；//f（1，'c'））
f（1）；//f（1,0）
f（）；//错误：无法推断T
f（）；//f（0,0）
f（）；//f（0,0）
}

 — 结束示例 ]

---

因为演绎优先于默认值。为什么会这样？是否有重复的问题可供参考？不一定是重复的，但是。比我更熟悉此标记的人可能会找到更好的重复项。“默认值”是最后一个资源；在不使用其他资源时使用。在（1）时使用默认模板类型/值该调用不显式显示类型/值（与第一个类型的

相同）和（2）类型不是从参数推导出来的。为什么会这样？因为函数参数总是可以初始化一个

U

，如果它是从它推导出来的。如果

U

是从默认参数中首先取出来的，你认为它应该这样做，那么就没有这样的保证了。

#include <typeinfo>
#include <iostream>
using namespace std;

template<typename T, typename U = T> void f1(T a, U b)
{
  cout<<typeid(a).name()<<endl;
  cout<<typeid(b).name()<<endl;
}

int main()
{
  f1<float>(1,2);
}

template <class T, class U = double>
void f(T t = 0, U u = 0);

void g() {
  f(1, 'c');        // f<int,char>(1,'c')
  f(1);             // f<int,double>(1,0)
  f();              // error: T cannot be deduced
  f<int>();         // f<int,double>(0,0)
  f<int,char>();    // f<int,char>(0,0)
}