C++ 11;非靜態數據成員初始化可以訪問其他數據成員嗎？

Question

我真的很喜歡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（）的例子]在使用屬性的數據，但與MinGW的G ++ 4.7並沒有特別在意我的嘗試成員：

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

因此，似乎我的財產執行的概念作品，但它可能是徒勞的，因爲我無法從我的lambda函數訪問其他數據成員。我不確定這個標準是如何定義我在這裏要做的，我完全是運氣不好，還是我沒有在這裏做什麼？

Answer 1

您的財產是與包含對象（實例Foobar）不同的對象（property<int>的實例）。因此，它的成員函數會通過不同的this，而不是您需要訪問num_的那個 - 所以你不能這樣做。如果lambda是在非靜態成員函數Foobar中定義的，則它們將捕獲該函數的this參數，並且將有權訪問封閉對象的成員（顯式爲this->num_）。但lambda在類中定義，其中非靜態數據成員實際上不存在。如果lambda 確實可以訪問num_，其中num_，其中Foobar的實例應該是那個？

我看到的最簡單的解決方案是爲屬性存儲指向封閉對象的指針。這樣，它可以自由訪問其非靜態成員。缺點是聲明稍微複雜一些（你必須做property<int, Foobar> num），你需要通過傳遞this指針來初始化屬性。所以你不能在類中做它，它必須在構造函數的初始化列表中，因此否定了C++ 11數據成員初始化的優點。

在這一點上，this將可用於lambdas無論如何捕獲（通過值，而不是引用！），所以如果你的屬性的初始化移動Foobar的構造函數（s ）：

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

有誰知道是否this，它被傳遞到任何構造恰好被調用，可在類定義的非靜態成員初始化？我懷疑它不是，但如果是這樣的話，同樣的構造可以在班級定義中起作用。