6

我真的很喜欢 C# 中的属性的想法，作为一个小项目，我一直在修改用 C++ 实现它们的想法。我遇到了这个例子https://stackoverflow.com/a/5924594/245869看起来相当不错，但我不禁认为 lambdas 和非静态数据成员初始化可能使使用一些非常好的语法成为可能有了这个想法。这是我的实现：

#include <iostream>
#include <functional>

using namespace std;


template< typename T >
class property {

public:
    property(function<const T&(void)> getter, function<void(const T&)> setter)
        : getter_(getter),
          setter_(setter)
    {};

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

    property<T>& operator=(const T& value) {
        setter_(value);
    }

private:
    function<const T&(void)> getter_;
    function<void(const T&)> setter_;

};


class Foobar {

public:
    property<int> num {
        [&]() { return num_; },
        [&](const int& value) { num_ = value; }
    };

private:
    int num_;

};


int main() {
    // This version works fine...
    int myNum;
    property<int> num = property<int>(
        [&]() { return myNum; },
        [&](const int& value) { myNum = value; }
    );
    num = 5;

    cout << num << endl;  // Outputs 5
    cout << myNum << endl;  // Outputs 5 again.

    // This is what I would like to see work, if the property
    // member of Foobar would compile...
    // Foobar foo;
    // foo.num = 5;

    // cout << foo.num << endl;

    return 0;
}

我可以正常使用我的属性类 [参见 main() 中的示例]，但是带有 g++4.7 的 MinGW 并不特别关心我尝试将属性用作数据成员：

\property.cpp: In lambda function:
\property.cpp:40:7: error: invalid use of non-static data member 'Foobar::num_'

所以似乎我的属性实现的概念有效，但它可能是徒劳的，因为我无法从我的 lambda 函数访问其他数据成员。我不确定标准如何定义我在这里尝试做的事情，我完全不走运，还是我只是没有在这里做某事？

4

1 回答 1

3

您的属性是property<int>与包含对象（的实例）不同的对象（的实例Foobar）。因此，它的成员函数被传递一个不同的this，而不是你需要访问的num_那个——所以你不能那样做。如果 lambdas 是在 的非静态成员函数中定义的Foobar，它们将捕获该函数的this参数并可以访问封闭对象的成员（明确地， as this->num_）。但是 lambda 是在类中定义的，其中非静态数据成员实际上并不存在。如果 lambdas确实可以访问num_, which num_, 的哪个实例Foobar, 会是那个？

我看到的最简单的解决方案是让属性存储指向封闭对象的指针。这样，它可以自由访问其非静态成员。缺点是声明稍微复杂一些（您必须这样做property<int, Foobar> num），并且您需要通过传递this指针来初始化属性。因此，您将无法在类中执行此操作，它必须在构造函数的初始化列表中，因此否定了 C++11 数据成员初始化的优势。

那时，thislambdas 无论如何都可以捕获（通过值，而不是通过引用！），因此如果您将属性的初始化移动到 Foobar 的构造函数，那么您的代码实际上只需很少的更改即可工作：

Foobar::Foobar():
    num {
        [this]() { return this->num_; },
        [this](const int& value) { this->num_ = value; }
    }
{
}

有谁知道this传递给恰好被调用的构造函数是否可用于类定义中的非静态成员初始化？我怀疑不是，但如果是的话，相同的构造将在类定义中起作用。

于 2012-04-26T14:42:12.933 回答