没有标准构造函数的类的 C++ 属性模板

Question

我想实现一个完全不使用 C 宏的 C# 属性的 C++ 等效项。我创建了一个模板，它基本上以get() 和set() 的更好的方式设置或检索内部值。在构造函数中还有两个std::function 类型的参数，我可以在其中覆盖默认的getter 和setter 方法。

template<typename T>
class Property
{
public:

  Property(T initialValue, std::function<void(T&)> setter, std::function<T&()> getter)
  {
    Value = initialValue;
    Setter = setter;
    Getter = getter;
  }

  ~Property()
  {
  }

  void operator =(T value)
  {
    if(Setter == nullptr)
    {
      Set(value);
    }
    else
    {
      Setter(value);
    }
  }

  T& operator ()()
  {
    if(Getter == nullptr)
    {
      return Get();
    }
    else
    {
      return Getter();
    }
  }

  void Set(T& value)
  {
    Value = value;
  }

  T& Get()
  {
    return Value;
  }

private:

  T Value;

  std::function<void(T&)> Setter = nullptr;
  std::function<T&()> Getter = nullptr;

}

以下代码 sn-p 显示了int 类型的Property 对象的定义。 （getter 和 setter 被 lambda 表达式覆盖。）

Property<int> prop = Property<int>(0,

  [&](int& val)
  {
    // some code inside the overridden setter

    prop.Set(val);
  },

  [&]() -> int&
  {
    // some code inside the overridden getter

    return prop.Get();
  });

Getter 和 setter 的调用方式如下：

int foo = prop();

prop = foo;

我认为一切都会好起来的，而且确实如此。在我尝试将一个不包含标准构造函数的类作为模板类型传递之前，它确实如此。我知道，声明 T Value; 会导致问题，但我想不出任何替代方案或解决方法。

也许，您知道如何使这个概念适用于基本类型、类和没有标准构造函数的类。

Answer 1

IMO，这门课是个坏主意。

所有这些std::functions 可能会增加合理的开销（在性能和内存方面）。

---

也就是说，这是答案：

未在Property 的构造函数的成员初始化列表中指定Value 会导致Value 被默认初始化（并且然后 分配一个值）。

解决方法是在成员初始化器列表中对其进行初始化，而不是在构造函数体中赋值给它：

Property(T initialValue, std::function<void(T&)> setter, std::function<T&()> getter)
    : Value(initialValue)
{
    Setter = setter;
    Getter = getter;
}

对Setter 和Getter 也做同样的事情是个好主意。

---

此外，Get 和 operator() 不得返回非 const 引用（按值返回或通过 const 引用返回）。在此处返回非常量引用允许用户绕过指定的设置器并直接更改值。此外，您应该使Get 和operator() const。

operator=、Set 和 std::function<...> Setter 应通过 const 引用获取新值。

您应该将T Value 的引用传递给Setter，并将const 的引用作为参数传递给Getter，而不是在lambda 中捕获对属性的引用。如果引用被移动，捕获引用会使您的课程中断。

Getter 应该按值返回（允许它返回修改后的Value），或者返回void（如果它的唯一目的是在返回值时调用函数，而不能修改什么是返回）。