使用回调重载 operator=()

Question

我有一个模板Property，它包装数据并提供其他服务。此模板专门用于基本数据（float、int_32、bool...），并且存在另一种用于基本类型向量的规范。比如：

template<typename T>
Property : public PropertyBase
{
public:
    // Base types specilization.
    void operator=(T const & data);
}

template<typename T>
Property<std::vector<T> > : public PropertyBase
{
public:
    // Specilization for vectors of base types.
    T const & operator[](std::size_t i) const;
}

关于基本数据的规范，我重载了operator=，以便在数据更改后调用回调。关于向量的特殊化，我重载了 operator[] 以获取对向量第 i 个元素的索引访问。

现在我想在基本类型上获得与 operator= 类似的行为，但我对向量的专长。我被困住了。我想做的是：

Property<std::vector<float> > myProp;
myProp[5] = 5.21f;

并期望在分配发生后调用回调。

问题是myProp[5]返回一个float，回调机制不是为float定义而是Property。

当然我可以写一个索引setter函数比如

template<typename T>
Property<std::vector<T> > : public PropertyBase
{
public:
    // Specilization for vectors of base types.
    T const & operator[](std::size_t i) const;

    void set(int i, T const & newValue);
}

但是使用 setter 的语法并不像我期望的那样干净。

我也可以在operator[] 中调用回调，但是回调是在分配之前调用的，而不是之后。

任何人都想获得这种简洁的语法，同时仍然能够在分配后调用我的回调？

谢谢！

PS：请注意，我的 Property 模板比所写的更复杂，并检查 T 是否为基本类型（此处未完成），但这与我的问题。

Answer 1

您需要从您的operator[]() 返回一个代理，该代理[隐式] 转换为您的类型T，并有一个赋值运算符拦截该赋值。这是一个草图：

template <typename T>
class proxy {
    Property<std::vector<T>>* property;
    std::size_t               index;
public:
    proxy(Property<std::vector<T>>* property, std::size_t index)
        : property(property)
        , index(index) {
    }
    operator T const&() const { return property->get(index); }
    T const& operator= (T const& other) {
        return this->property->set(index);
    }
};

然后您的operator[]() 将返回这样的代理：

 template <typename T>
 proxy<T> Property<std::vector<T>>::operator[](std::size_t index) {
     return proxy<T>(this, index);
 }

对字段读写的实际拦截将发生在对应的set()和get()成员中。如果将proxy<T> 设为班级的friend，则这些可以是private。使用这样的代理类的主要问题是它不允许使用成员函数，例如：

Property<std::vector<std::string>> p;
p[0].c_str();

由于p[0] 恰好是proxy<T>，它没有.c_str() 函数。由于您声明您只支持某些基本类型，您可以支持代理上的合适操作。使用代理类型的另一个问题是它取出了一个转换，严格来说，返回代理而不是引用的迭代器不是一个合适的迭代器（尽管我似乎记得在 C+ 中放宽了迭代器要求+11)。