关于c++模板自身的重载.

[风划雪月]

模板自身的重载，是我自己发明的词，举个列子说明问题吧
template<typename T> void foo(T &a,T &b) {...}

template<int a,int b> void foo( const char (&A)[a],const char( &B)[b]){...}

1、首先这个俩个模板名字都是foo，这也是我一直想叫他模板自身重载的原因

2、差别，第一个要求俩个参数的类型必须是一样的。第二个要求俩个参数必须是char 数组的引用，但是数组长度可以不一样，因为数组长度也用于区别类型。

这是时果用长度相同的 char数组调用foo，编译会提示有歧义。

我的疑问：
1，第一个调用只推断了T的类型
2、第二个调用推断了非类型模板参数a，和 b，

c++标准只规定了使用最特化的模板，对于不存在特化关系的同名模板，都认为是有歧义的吗？
c++ primer 5th上面没有详细的说明，而且举了个例子和我说的类似，只是调用时，使用了长度不同的数组。回避掉了这个问题。

或者有其他资料可参考吗？小弟孤陋寡闻了，望大神赐教。

我是个闭门造车的主，没多少分，大家见谅。

[www_adintr_com]

偏特化是模板类的，模板函数不支持偏特化 （新版C++标准貌似修改了），模板函数只能全特化

[风划雪月]

引用 1 楼 adlay 的回复:

偏特化是模板类的，模板函数不支持偏特化 （新版C++标准貌似修改了），模板函数只能全特化

这个在c++11是做了修改的，这也是支持varidic template 函数的基础吧。 如果我把第二个函数模板改为 template<int a> void foo( const char (&A)[a],const char( &B)[a]){...} 那么对于第一个模板，T=char (&)[a] 就和修改后的模板效果一样了，但是对于第一个模板，T = int，T = int（&)[a]都是可行的，这说明后面的是比他更特化的，但是这和显示特化又不同。 这是用长度相同的char数组，就会无歧义的使用第二个。 c++对函数重载定义了很多优先级，而template函数，说的很笼统，尤其是当俩个函数都可行时，只要选不出更特化的，就直接认为有歧义。 而重载函数有三步 1、可见的名字 2、可行的函数 3，最优函数 难道模板有下面三个步骤 1、可见模板， 2、可行模板 3，最特化模板 我总感觉模板的第三步选出最特化模板，貌似没什么标准呢，难道就是看template代表的函数集合是否有包含关系，如果没有，就认为有歧义？就是我开始说的那个情况。

[碼上道]

template<typename T> void foo(T &a,T &b) {...} template<int a,int b> void foo( const char (&A)[a],const char( &B)[b]){...} 后面这个有点不像前面的那个特化，有点像重载，实际应用中感觉我很省碰到这样的情况，如果一定要的话，第二个foo再加个修饰参数，提供一个缺省值，实际无什么用。

[ri_aje]

楼主如果感兴趣，google overload resolution partial ordering of function templates. 至于主楼的情况，两个函数模板之间不存在 more specialized 的情况，所以重载解析无法决议，导致歧义。 ps. 主楼的用法就叫重载，不用自己“发明”了。