在类模板中重载赋值运算符[关闭]

Question

#ifndef NUMBER_HPP
#define NUMBER_HPP

template <class T>
class Number
{
public:
Number( T value ) : m_value( value )
{
}

T value() const
{
 return m_value;
}

void setValue( T value )
{
 m_value = value;
}

Number<T>& operator=( T value )
{
 m_value = value;
}

//  template <class T2>
//  Number<T2>& operator=( const Number<T>& number )
//  {
//    m_value = number.value();

//    return *this;
//  }

private:
 T m_value;
};

typedef Number<int> Integer;
typedef Number<char*> Float;

#endif // NUMBER_HPP

这个模板类分别用两种数据类型初始化。一个是int类型，一个是char指针类型。

   typedef Number<int> Integer1,Integer2;
   typedef Number<char*> Char1,Char2;
   Integer2.setValue(2) ;
   Char2.setValue("ABC");
   Integer1 = Interger2;//Case 1
   Char1 = Char2; // Case 2

情况 1： 不需要深拷贝。

情况 2： 深拷贝是必须的，因为我们正在复制指针。

但是由于这两个类都使用相同的赋值运算符的基本副本。我们怎样才能做到这一点？

请提出一个不包含 C++ 11 的解决方案。

Answer 1

也许你只是想超载你的operator='s：

template <class T2>
Number<T>& operator=( const Number<T2*>& number )
{
    // Deep Copy
}

template <class T2>
Number<T>& operator=( const Number<T2>& number )
{
    // Shallow Copy
}

可能在所有其他情况下，您希望std::enable_if 根据类型静态决定应使用哪种复制策略（很可能是指针类型，因此例如std::is_pointer<T2>::value）。这可以通过if constexpr (C++17) 轻松简化：

#include <type_traits>

template <class T2>
Number<T>& operator=( const Number<T2>& number )
{
    if constexpr( std::is_pointer_v<T2> ){
        // Deep Copy
    }
    else{
        // Shallow Copy
    }
    return *this;
}

希望这会有所帮助！

Answer 2

我认为这就是您要寻找的。您将T2 分配给T。这意味着我们需要获取Number<T2>，将值转换为T，然后分配给this 和return *this。

template <class T2 >
Number<T>& operator=( const Number<T2>& number )
{
  m_value = T( number.value() );

  return *this;
}