c++ - C++ 中基本类型的单一赋值

Question

我想为基本类型(例如 int)创建一个“单一赋值”包装器，它像 int 一样说话，走路像 int，闻起来像 int，但最多只能修改或分配一次(就像在一些纯函数式语言中一样)。例如(为了简化示例省略了复制构造函数):

template<class T>
struct SA {
    SA<T>(T init) : wasAssigned(false) {
        val = tmp = init;
    }
    SA<T> & operator=(const T& other) {
        if (!wasAssigned) {
            if (val != tmp) {
                val = tmp;
            } else {
                val = tmp = other;
            }
            wasAssigned = true;
        }
        return *this;
    }
    operator T& () {
        if (!wasAssigned && (val != tmp)) {
            wasAssigned = true;
            val = tmp;
        } else {
            tmp = val;
        }
        return tmp;
    }
private:
    bool wasAssigned;
    T val, tmp;
};

这很接近，但并不完美。它依赖于 val/tmp 相等性测试来检测变化，但在这种情况下失败了:

SA<int> i(3);
cin >> i;
i = 5;

如果 cin >> i 分配与初始值 (3) 相同的值，则最后 i 将为 5。如何解决？

Answer 1

虽然我不能 100% 确定副作用，但类似以下的方法可能有效。基本上返回对 tmp 的引用，除了第一个获取非 const 引用的调用，加上用于只读访问的 const 方法。

operator T& () {
  if (wasAssigned) {
    tmp = val;
    return tmp;
  } else {
    wasAssigned = true;
    return val;
  }
}

operator const T& () const {
  return val;
}

operator T () const {
  return val;
}