次のコード例には、部屋を表す不変オブジェクトのクラスがあります。北、南、東、および西は、他の部屋への出口を表します。
public sealed class Room
{
public Room(string name, Room northExit, Room southExit, Room eastExit, Room westExit)
{
this.Name = name;
this.North = northExit;
this.South = southExit;
this.East = eastExit;
this.West = westExit;
}
public string Name { get; }
public Room North { get; }
public Room South { get; }
public Room East { get; }
public Room West { get; }
}
したがって、このクラスは再帰的な循環参照を使用して設計されています。しかし、クラスは不変なので、「鶏または卵」の問題に悩まされています。経験豊富な機能的プログラマーがこれに対処する方法を知っていると確信しています。C#ではどのように処理できますか?
テキストベースのアドベンチャーゲームのコーディングに努めていますが、学習のためだけに関数型プログラミングの原則を使用しています。私はこの概念に固執しており、いくつかの助けを借りることができます!!! ありがとう。
更新:
遅延初期化に関するMike Nakisの回答に基づいた実用的な実装を次に示します。
using System;
public sealed class Room
{
private readonly Func<Room> north;
private readonly Func<Room> south;
private readonly Func<Room> east;
private readonly Func<Room> west;
public Room(
string name,
Func<Room> northExit = null,
Func<Room> southExit = null,
Func<Room> eastExit = null,
Func<Room> westExit = null)
{
this.Name = name;
var dummyDelegate = new Func<Room>(() => { return null; });
this.north = northExit ?? dummyDelegate;
this.south = southExit ?? dummyDelegate;
this.east = eastExit ?? dummyDelegate;
this.west = westExit ?? dummyDelegate;
}
public string Name { get; }
public override string ToString()
{
return this.Name;
}
public Room North
{
get { return this.north(); }
}
public Room South
{
get { return this.south(); }
}
public Room East
{
get { return this.east(); }
}
public Room West
{
get { return this.west(); }
}
public static void Main(string[] args)
{
Room kitchen = null;
Room library = null;
kitchen = new Room(
name: "Kitchen",
northExit: () => library
);
library = new Room(
name: "Library",
southExit: () => kitchen
);
Console.WriteLine(
$"The {kitchen} has a northen exit that " +
$"leads to the {kitchen.North}.");
Console.WriteLine(
$"The {library} has a southern exit that " +
$"leads to the {library.South}.");
Console.ReadKey();
}
}
Room
例も同様です。
type List a = Nil | Cons of a * List a
。そして、バイナリツリー:type Tree a = Leaf a | Cons of Tree a * Tree a
。ご覧のとおり、どちらも自己参照型(再帰的)です。部屋を定義する方法は次のとおりtype Room = Nil | Open of {name: string, south: Room, east: Room, north: Room, west: Room}
です。
Room
クラスとaの定義がList
上記のHaskellにどれほど似ているかを見てください。