参照変数ではない代入を禁止する方法は？

Question

私は恐ろしい質問だと恐れていますが...

誰かが、関数（またはメソッド）からの戻り値を強制的に内部の静的変数またはクラス/構造体は、参照変数にのみ割り当てられますか？

私は最小限の例で私が望むものを説明しようとします。内部静的変数への参照を返す関数wrapValue()と次のコードを、与えられ

、

int & wrapValue (int v0) 
{ 
    static int val; 

    return val = v0; 
} 

int main() 
{ 
    // how to permit this ... 
    int & v0 { wrapValue(0) }; 

    // ... but forbid this ... 
    int v1 { wrapValue(1) }; 

    int v2; 

    // ... and this ? 
    v2 = wrapValue(2); 
} 

v0の初期化を可能にする方法がある（静的変数にv0に結合）とv1の初期化と、（スタティック変数に境界線なし）（v1とv2）を禁止しますか？

現在のC++標準では不可能なことがあれば、誰かが私に代わりの方法を提案することができます（あまりにも複雑ではありません：私はライブラリでそれを使いたいと思っています） ？

Answer 1

このソリューションは、ややトリッキーですが、あなたが期待するとして、それは（私が思う）作品：

#include <iostream> 

struct int_wrapper { 
    int value; 
    int_wrapper &operator=(int value) { 
     this->value = value; 
     return *this; 
    } 
    operator int&() { 
     return value; 
    } 
    operator int() { 
     return value; 
    } 
}; 

int_wrapper& wrapValue (int v0) { 
    static int_wrapper val; 
    return val = v0; 
} 

int main() { 
    // how to permit this ... 
    int & v0 = wrapValue(0); 

    // ... but forbid this ... 
    //int v1 { wrapValue(1) }; // call ambigious 

    int v2; 
    (void)v0; 
    (void)v2; 

    // ... and this ? 
    //v2 = wrapValue(2); // call ambigious 
} 

[live demo]

Answer 2

私が知っている限り、intはコピー可能なので、好きなだけコピーできます。これを防ぐことはできません。ただし、コピーできないラッパークラスを作成することもできます。

class NonCopyableInt 
{ 
    int val; 
public: 
    NonCopyableInt(int val) : val(val) {} 
    NonCopyableInt(NonCopyableInt&) = delete; 
    int& value() { return val; } 
    // todo: add some nice operators and functions such as assignment from int 
} 

NonCopyableInt& wrapValue (int v0) 
{ 
    static NonCopyableInt val; 
    return val = v0; 
} 

しかし、人々は常にvalue（）から戻り値をコピーして、同じ問題を引き起こす可能性があります。そして、それは本当にclunkyとmehを感じる。