为什么不能用value_type&而必须用const value_type&或者value_type非引用？

山外山

自己模仿的一个pair模板

问题：为什么pair1(first_type& f,second_type& s):first(f),second(s){}不正确

源代码
#include "head.h"
#include <vector>

template <typename T1,typename T2>
class pair1
{
public:
        typedef T1 first_type;
        typedef T2 second_type;

        first_type first;
        second_type second;

        pair1():first(first_type()),second(second_type()){}

        //pair1(const first_type& f,const second_type& s):first(f),second(s){}    //OK
        //pair1(first_type f,second_type s):first(f),second(s){}  //OK
        pair1(first_type& f,second_type& s):first(f),second(s){}  //ERROR

        template<typename U1,typename U2>
        pair1(pair1<U1,U2> &apair):first(apair.first),second(apair.second){}


};

int main()
{
        pair1<int,int> pair_int(0,0);
        pair1<int,int> pair_int2(pair_int);

        cout<<pair_int.first<<endl;
        cout<<pair_int.second<<endl;

        cout<<pair_int2.first<<endl;
        cout<<pair_int2.second<<endl;

return 0;
}

[ 本帖最后由 山外山 于 2007-5-9 16:54 编辑 ]

山外山

gcc version 3.2.2 20030222 (Red Hat Linux 3.2.2-5)

错误提示
g++     pair.cpp   -o pair
pair.cpp: In function `int main()':
pair.cpp:27: no matching function for call to `pair1<int, int>::pair1(int, int)
   '
pair.cpp:6: candidates are: pair1<int, int>::pair1(const pair1<int, int>&)
pair.cpp:17:                 pair1<T1, T2>::pair1(T1&, T2&) [with T1 = int, T2
   = int]
pair.cpp:14:                 pair1<T1, T2>::pair1() [with T1 = int, T2 = int]
make: *** [pair] Error 1
(3 of 9): no matching function for call to `pair1<int, int>::pair1(int, int)

[ 本帖最后由 山外山 于 2007-5-9 16:57 编辑 ]

converse

>>pair1<int,int> pair_int(0,0);

0是常量,而引用必须要可引用之值,但是对于常量而言只能用const引用了

山外山

明白。THX

怪怪虎

原帖由 山外山 于 2007-5-9 17:11 发表
明白。THX

没明白,能否解释下?
谢谢

清汤挂面

原帖由 怪怪虎 于 2007-5-9 20:47 发表

没明白,能否解释下?
谢谢

int main()
{
        int &i = 0;
        return 0;
}


这个编译不过去，是一个道理。引用常量的时候，必须用const int &i=0 这种形式