64,685
社区成员
发帖
与我相关
我的任务
分享C++标准中,关于模板参数推导的一个问题.
int main()
{
// #1: function type is f(int), t is nonconst
f<int>(1);
// #2: function type is f(int), t is const
f<const int>(1);
// #3: function type is g(int), x is const
g<int>(1);
// #4: function type is g(int), x is const
g<const int>(1);
// #5: function type is h(int, const int*)
h<const int>(1,0);
}这是C++标准2003中的例子.
问题一:#2那个地方,函数原型是f(int)而t也就是1是const的,为啥可以编译能过?
问题二:后面有个note说#1和#2两个函数虽然原型是一样的,但是是不同的函数,为什么标准需要让编译器生成两个一样的函数.这是出于什么考虑?
...全文
请发表友善的回复…
发表回复
yndfcd 2008-10-10
- 打赏
- 举报
明白了,谢谢,Function type不是函数原型.
taodm 2008-10-10
- 打赏
- 举报
标准里自然有关于函数type的规定，继续嘛。
yndfcd 2008-10-10
- 打赏
- 举报
参数的cv修饰符不影响函数的type的。
是什么意思?
是说 f(int )和f(const int )是同一样的类型吗?
是什么意思?
是说 f(int )和f(const int )是同一样的类型吗?
yshuise 2008-10-10
- 打赏
- 举报
模板特化并不参加重载。
详见：《Exceptional c++ style》第7条
详见：《Exceptional c++ style》第7条
taodm 2008-10-10
- 打赏
- 举报
兄弟，你可能还不知道什么是函数的"type"吧。参数的cv修饰符不影响函数的type的。
richbirdandy 2008-10-10
- 打赏
- 举报
f<int>(1);
f<const int>(1);
这两是一样的么 一个T是int 一个是const int
你别说这两没区别
f<const int>(1);
这两是一样的么 一个T是int 一个是const int
你别说这两没区别
yndfcd 2008-10-10
- 打赏
- 举报
忘了,标准上函数模板是这样声明的.
template <class T> void f(T t);
template <class X> void g(const X x);
template <class Z> void h(Z, Z*);
template <class T> void f(T t);
template <class X> void g(const X x);
template <class Z> void h(Z, Z*);
yshuise 2008-10-10
- 打赏
- 举报
你至少要把你的模板函数贴出来才行啊
