自动类型转换

Automatic type conversion

本文关键字:类型转换      更新时间:2023-10-16

假设我有一个这样的类(注意,这是在Stroustrup的方法包装器之后建模的:

template<class T>
struct Wrapper
{
  private:
  //This class is implicitly convertable to T&
  struct TempRef 
  { 
     operator T&(); 
     T& operator()(); 
     ~TempRef();   //Executes clean up code
  };
  struct TempPtr 
  { 
    T* operator T->(); 
    ~TempPtr();  //Executes clean up code
  };
  public:
  TempRef operator*();
  TempPtr operator->();
};

这个类的目标是让它像一个指向T的指针:

在某些情况下是有效的:

Wrapper<thing> var;
var->foo();

当我想用它作为整型的包装器时,问题来了:

Wrapper<int> var;
//*var = 12;  //Oops!! Does not work (no automatic conversion)
((int&)(*var)) = 12; //Works but the syntax is a pain
(*var)() = 12;  //Good but still could be better

问题是:

是否有任何方法可以使使用Wrapper作为整型的包装器的语法与指向整型的指针相同,或者目前不可能?

需要在Wrapper中定义一个赋值操作符。就像

Wrapper<T> &operator=(const T &v) {
    /*something to get the T& returned by TempRef::operator T&*/ = v;
    return *this;
}

然后由var = 12;调用。