はD 2.0で遊んでいる間

Question

D 2.0で、純粋な使用するためにはどうすれば以下のような問題点を発見しました。

私は私がこれを動作させることはできません見つけるクラスで文字列配列をラップしよう

：

class TestPure 
{ 
    string[] msg; 
    void addMsg(string s) 
    { 
     msg ~= s; 
    } 
}; 

pure TestPure run2() 
{ 
    TestPure t = new TestPure(); 
    t.addMsg("Test"); 
    t.addMsg("this."); 
    return t; 
} 

addMsg機能が不純であるため、このコードはコンパイルされません。私はTestPureオブジェクトを変更するので、その関数を純粋にすることはできません。 何か不足していますか？それともこの制限はありますか？

次のコンパイルを行います。

pure TestPure run3() 
{ 
    TestPure t = new TestPure(); 
    t.msg ~= "Test"; 
    t.msg ~= "this."; 
    return t; 
} 

は〜=演算子はMSG列の不純な機能として実装されていませんか？どのようにコンパイラは、run1関数のそれについて不平を言うことはありませんか？

Answer 1

v2.050以降、Dはpureの定義を緩和し、いわゆる「弱い純粋な」関数も受け入れました。これは、 "do not read or write any global mutable state"という関数を指します。弱く純粋な関数は、であり、関数言語の意味での純粋な関数と同じではないです。唯一の関係は、彼らが本当の純粋な関数を作っているということです。OPの例のように弱いものを呼び出すことができる「強く純粋な」関数です。これにより

ローカル変数のみthis.msgが変更されているので、addMsgは、pure（弱い）としてマークすることができます。

class TestPure 
{ 
    string[] msg; 
    pure void addMsg(string s) 
    { 
     msg ~= s; 
    } 
}; 

そしてもちろん、今あなたが（強く）pure機能run2を使用することができます変更なし。

pure TestPure run2() 
{ 
    TestPure t = new TestPure(); 
    t.addMsg("Test"); 
    t.addMsg("this."); 
    return t; 
} 

Answer 2

純粋関数の定義を確認してください：

• http://en.wikipedia.org/wiki/Pure_function
• http://www.digitalmars.com/d/2.0/function.html#pure-functions

ピュアな機能は同じ引数で同じ結果を生成する関数です。そのために、純粋な機能：

• はすべて不変であるか
• を不変に暗黙的に変換されているパラメータは効果の

一つの任意のグローバル可変状態を読み書きしない持っています純粋な関数を使用することは、それらを安全に並列化できることです。ただし、クラスインスタンスを同時に変更して同期問題を引き起こす可能性があるため、関数の複数のインスタンスを同時に実行することは安全ではありません。

Answer 3

ちょうどいいですが、この関数は常に同じ結果を返すとは限りません。

一部のオブジェクトへの参照を返します。オブジェクトには常に同じデータが含まれていますが、同じ関数への複数の呼び出しによって返されるオブジェクトは同一ではありません。つまり、同じメモリアドレスを持っていません。

オブジェクトへの参照を返すと、基本的にメモリアドレスが返されます。メモリアドレスはいくつかの呼び出しで異なることになります。

戻り値の一部は、グローバル状態に依存するオブジェクトのメモリアドレスです。関数の出力がグローバル状態に依存する場合は、グローバル状態に依存しません。ピュア。地獄、それにも依存する必要はありません。関数がグローバルな状態を読み取る限り、それは純粋ではありません。 "new"を呼び出すことによって、あなたはグローバルな状態を読み込んでいます。

Answer 4

I あなたのコードは概念的に正しいと思います。しかし、コンパイラのセマンティック分析があなたの脳と同じくらい良いものではない場合があります。

クラスのソースが利用できない場合を考えます。この場合、コンパイラはaddMsgがメンバ変数を変更するだけなので、純関数から呼び出すことはできません。

あなたのケースでは許可するには、このタイプの使用に特別なケース処理が必要です。追加されるすべての特殊なケース規則は、言語はより複雑になります（または文書化されていない放置すれば、それはあまり移植可能）

Answer 5

その他すでにaddMsgは純粋ではない、それはオブジェクトの状態を変異するため、純粋ではないことを指摘しています。

純粋にする唯一の方法は、変更内容をカプセル化することです。これを行う最も簡単な方法はリターン突然変異によるもので、これを実装する方法は2つあります。

まず、あなたはこのようにそれを行うことができます：

class TestPure 
{ 
    string[] msg; 
    pure TestPure addMsg(string s) 
    { 
     auto r = new TestPure; 
     r.msg = this.msg.dup; 
     r.msg ~= s; 
     return r; 
    } 
} 

純粋関数内で、このリファレンスは、実際のconstですので、あなたが前の配列をコピーする必要があります。最終的なサイズの新しい配列を割り当ててから、あなた自身で要素をコピーすることで、コピーをより良くすることができます。あなたはそうのように、この機能を使用します。

pure TestPure run3() 
{ 
    auto t = new TestPure; 
    t = t.addMsg("Test"); 
    t = t.addMsg("this."); 
    return t; 
} 

この方法では、変異は、戻り値を介して渡された変化にそれぞれ純粋な機能に限定されています。

TestPureを書くの別の方法は、メンバーのconstを作成し、コンストラクタに渡す前に、すべての突然変異を行うには、次のようになります。

class TestPure 
{ 
    const(string[]) msg; 
    this() 
    { 
     msg = null; 
    } 
    this(const(string[]) msg) 
    { 
     this.msg = msg; 
    } 
    pure TestPure addMsg(string s) 
    { 
     return new TestPure(this.msg ~ s); 
    } 
} 

お役に立てば幸いです。