C++テンプレートのメンバに基づくプロパティの実現に伴ういくつかの問題

Question

私の目標は、C＃のようなC++のようなプロパティを作成することでした。 Propertyのオブジェクトは、propとそのset/getメソッドのマスターを参照します。

実現、Property.hの内容：

#include <iostream> 

using namespace std; 

namespace First { 

    template <class Master, class Type> 
    struct Property 
    { 
     Master &master; 

     const Type (Master::*&get)() const; 
     Type (Master::*&set)(Type value); 

     Property 
     (
      Master &master, 
      const Type (Master::*get)() const, 
      Type (Master::*set)(Type value) 
     ): 
      get(get), 
      set(set), 
      master(master) 
     { } 

     operator const Type() const { cout << "inside" << endl; return (master.*get)(); } 

     Type operator = (Type value) 
     { 
      return (master.*set)(value); 
     } 
    }; 

    // Test chamber. 
    class R 
    { 
     float x; 
     const float getx() const { cout << "returning " << 0 << endl; return 0; } 
     float setx(float value) { cout << "setting " << value << " in place of " << x << endl; return x = value; } 
    public: 
     Property<R, float> X; 

     R(): X(*this, &R::getx, &R::setx) { } 
    }; 

} 

私も作成.cppファイル：

#include "Property.h" 

using namespace First; 

int main() 
{ 
    R r; 

    r.X = 10; 

    float y = r.X; 

} 

プログラムは '0〜10の設定' をステップ、印刷 "を割り当てる" になりますが、 segfaultsは、 "R" getx（）の中でどのようなコード（あるいはまったく何の違いもない）を取得するステップを呼び出すときに呼び出されます。

~/Sources$ ./a.out   

setting 10 in place of 0 
inside 
zsh: segmentation fault ./a.out 

（master。* get（））の呼び出し自体が失敗するようです。このコードで何が間違っていますか？

UPD：マスターの関数呼び出しがsegfaultにつながることをテストしました.1回の（master。* set）呼び出しだけが成功しました。この呼び出しは、オブジェクトの状態、メンバーからPTR、プロパティ自体、または月面を無効にしているようです。

Answer 1

const Type (Master::*&get)() const; 
Type (Master::*&set)(Type value); 

上記定義から&を削除してください。 &のために、これらのそれぞれは、コンストラクタが戻った後に存在しないコンストラクタパラメータにバインドされます。

はまた、​​作品、そのあなたが不運だからと思われることに注意してください。実際には未定義の動作が発生します。しかし、あなたはすぐに(master.*get)()が失敗したときの問題を知るようになり、segfaultを与えてくれて幸運です。

使用：それはかなりのパラメータを参照するよりも、初期化リスト内のアドレスのをコピーを引き起こすよう

const Type (Master::*get)() const; 
Type (Master::*set)(Type value); 

それは、何の問題もなく、今動作するはずです！

• セグメンテーション違反：http://ideone.com/46RrU（オリジナルコード）
• ノーフォールト：http://ideone.com/PljI4