模板类的拷贝构造函数和重载=

 http://bbs.csdn.net/topics/190144045

 1 #include<iostream>
#include<vector>
#include<string>


using namespace std;

template <typename T,size_t size>
class fixed_vector
{
    public:
        typedef T* iterator;
        typedef const T* const_iterator;
        fixed_vector()
        {
            cout<<"默认构造函数"<<endl;
        }


        template<typename T2,size_t osize>  //如果模板函数的T和类的T可能不是一个类型的话,那么两个T要命名成不同的名字  (否则在linux下编译不成功. 在vs2010下可以同名)
            fixed_vector( const fixed_vector<T2,osize>& other)
            {
                cout<<"模板拷贝构造函数1"<<endl;
            }
        
        fixed_vector( const fixed_vector& other)
        {
                cout<<"模板拷贝构造函数2"<<endl;
        }

        template <typename T2,size_t osize> 
            fixed_vector<T2,size>& operator=(const fixed_vector<T2,osize>& other) //注意这里返回的是size而不是osize
            {
                cout<<"模板赋值函数1"<<endl;//这不是真的赋值函数
                return *this;
            }

        fixed_vector<T,size>& operator=(const fixed_vector& other) //注意这里返回的是size而不是osize
        {
            cout<<"模板赋值函数2"<<endl;//这不是真的赋值函数
            return *this;
        }

        iterator begin()
        {
            return m_v;
        }
        iterator end()
        {
            return m_v+size;
        }

        const_iterator begin() const
        {
            return m_v;
        }

        const_iterator end() const 
        {
            return m_v+size;
        }

    private:
        T m_v[size];
};


int main()
{
    cout<<"--------begin <char, 4>----------"<<endl;
    fixed_vector<char,4> fv_char;
    cout<<"--------begin <int , 4>----------"<<endl;
    fixed_vector<int,4> fc_int1;
    cout<<"--------begin <int, 8>(<int , 4>)----------"<<endl;
    fixed_vector<int,8> fc_int2(fc_int1);//这里将调用模板拷贝构造函数
    cout<<"--------begin <int, 8> = <int , 4>----------"<<endl;
    fc_int2=fc_int1;//这里将调用模板赋值函数

    cout<<"--------begin <int , 4>----------"<<endl;
    fixed_vector<int,4> fc_int3;
    cout<<"--------begin <int, 4>(<int , 4>)----------"<<endl;
    fixed_vector<int,4> fc_int4(fc_int3);//这里不会调用模板拷贝构造函数
    cout<<"--------begin <int, 4> = <int , 4>----------"<<endl;
    fc_int3=fc_int4;//不调用模板赋值函数

    //system("pause");
    return 0;
}

---------------------------------------------------------------------------------------------------------------------------

http://blog.chinaunix.net/uid-7448695-id-2626460.html

昨天看《Exceptional C++》，发现一个从来没有注意到标准（C++ 标准 12.8/2，note 4）：“模板构造函数永远都不能成为拷贝构造函数”。所以模板构造函数永远不能取代拷贝构造函数，即便有了模板构造函数，默认拷贝构造函数还是会合成的。

　　例如：

class A
{
public:
  // 这个构造函数不会掩盖默认拷贝构造函数
  template <T>
  A (const T& t) {}
};

　　同样的情况对于 operator=() 一样适合。也就是模板赋值函数不会覆盖默认拷贝赋值函数。

[美] Sutter, Hurb 著；聂雪军 译。《Exceptional C++ 中文版》。北京：机械工业出版社，2007 年 1 月第 1 版。第 11 页。