一个最基础的template疑问

bruceteen

1. template<typename T>
   
2. void foo( T& val ) {
   
3. }
   
4. 
   
5. int main()
   
6. {
   
7.     const int v = 0;
   
8.     foo( v );
   
9. 
   
10.     foo<const int>( 0 );
    
11. 
    
12.     foo( 0 ); // 这个编译失败，为什么
    
13.    
    
14.     return 0;
    
15. }

复制代码

请问，为什么 foo( 0 ) 不是实例为 foo<const int>，而是实例为 foo<int> ?

myworkstation

回复 5# bruceteen


    数学字面量(integer literal)的类型为能包含其值的整型类型，不能隐式进行CV转换。关于integer literal的描述细则如下：
   The type of an integer literal depends on its form, value, and suffix. If it is decimal and has no suffix, it has
the first of these types in which its value can be represented: int, long int; if the value cannot be represented
as a long int, the behavior is undefined. If it is octal or hexadecimal and has no suffix, it has the
first of these types in which its value can be represented: int, unsigned int, long int, unsigned
long int. If it is suffixed by u or U, its type is the first of these types in which its value can be represented:
unsigned int, unsigned long int. If it is suffixed by l or L, its type is the first of these
types in which its value can be represented: long int, unsigned long int. If it is suffixed by ul,
lu, uL, Lu, Ul, lU, UL, or LU, its type is unsigned long int.


根据上面的规定可知0类型为int，与const int不匹配，又由于0是个临时对象其为rvalue，所以无法进行匹配转换。

井蛙夏虫

回复 1# bruceteen
非const引用不能指向临时变量和const变量

   

hellioncu

改成 void foo( T val )

myworkstation

T& val 表示参数需要是的lvalue，而foo( 0 );表示的参数0是个rvalue。rvalue无法转换到lvalue，foo<const int>( 0 );相当于把形参实例化为const int& val，rvalue如果以引用方法访问只能以const-reference方式。

bruceteen

myworkstation 发表于 2013-10-17 10:52
T& val 表示参数需要是的lvalue，而foo( 0 );表示的参数0是个rvalue。rvalue无法转换到lvalue，foo<const int>( 0 );相当于把形参实例化为const int& val，rvalue如果以引用方法访问只能以const-reference方式。

对于 foo( 0 )，编译器为什么不将那个模板实例化为
void foo( const int& val ) {
}
呢？
而 const int v = 0; foo( v ) 却可以。

folklore

回复 5# bruceteen


    要问你自已为什么不将

1. 01.template<typename T>
   
2. 
   
3. 02.void foo( T& val ) {
   
4. 
   
5. 03.}
   

复制代码

写成

1. 01.template<typename T>
   
2. 
   
3. 02.void foo(const T& val ) {
   
4. 
   
5. 03.}
   

复制代码

bruceteen

回复 6# folklore
别人的代码，虽然我知道怎么改可以正确编译，但却说不出为什么不改就编译失败。

bruceteen

回复 8# myworkstation
先把分给你，但为什么 foo( (const int)0 ) 也编译失败？

1. #include <iostream>
   
2. #include <typeinfo>
   
3. using namespace std;
   
4. 
   
5. template<typename T>
   
6. void foo( T& val ) {
   
7. }
   
8. 
   
9. int main()
   
10. {
    
11.     const int v = 0;
    
12.     foo( v );
    
13. 
    
14.     foo<const int>( 0 );
    
15. 
    
16.     //foo( 0 );
    
17.     //foo( (const int)0 ); 这个也失败
    
18. 
    
19.     cout << typeid(v).name() << endl; // 输出 int / i
    
20.     cout << typeid(0).name() << endl; // 输出 int / i
    
21.     cout << typeid((const int)0).name() << endl; // 输出 int / i
    
22.    
    
23.     return 0;
    
24. }

复制代码

myworkstation

回复 9# bruceteen


    这个也失败是因为“rvalue无法转换到lvalue”， (const int)0依然是个rvalue