해결책은 약간의 속임수입니다. 구체적으로 특별히:

• A를 작성하되 B에 대한 참조는 아직 초기화되지 않은 상태로 두십시오 (B는 아직 존재하지 않음).

• B를 작성하고 A를 가리 키도록하십시오.

• B를 가리 키도록 A를 업데이트하십시오.이 후에 A 또는 B를 업데이트하지 마십시오.

이 작업은 명시 적으로 수행 할 수 있습니다 (C ++의 예).

struct List {
    int n;
    List *next;

    List(int n, List *next)
        : n(n), next(next);
};

// Return a list containing [0,1,0,1,...].
List *binary(void)
{
    List *a = new List(0, NULL);
    List *b = new List(1, a);
    a->next = b; // Evil, but necessary.
    return a;
}

또는 암시 적으로 (Haskell의 예) :

binary :: [Int]
binary = a where
    a = 0 : b
    b = 1 : a

Haskell 예제는 지연 평가를 사용하여 상호 의존적 인 불변 값의 환상을 얻습니다. 값은 다음과 같이 시작합니다.

a = 0 : <thunk>
b = 1 : a

a그리고 독립적으로 b유효한 헤드 노멀 형태 입니다. 각 변수는 다른 변수의 최종 값을 요구하지 않고 구성 할 수 있습니다. 썽크가 평가되면 동일한 데이터 b포인트를 가리 킵니다.

따라서 두 개의 불변 값이 서로를 가리 키도록하려면 두 번째를 구성한 후 첫 번째 값을 업데이트하거나 더 높은 수준의 메커니즘을 사용하여 동일하게 수행해야합니다.

귀하의 특정 예에서, 나는 Haskell에서 다음과 같이 표현할 수 있습니다.

data Material = Water {temperature :: Double}
              | Ice   {temperature :: Double}

setTemperature :: Double -> Material -> Material
setTemperature newTemp (Water _) | newTemp <= 0.0 = Ice newTemp
                                 | otherwise      = Water newTemp
setTemperature newTemp (Ice _)   | newTemp >= 1.0 = Water newTemp
                                 | otherwise      = Ice newTemp

그러나 나는 문제를 회피하고 있습니다. setTemperature메소드가 각 Material생성자 의 결과에 첨부 되는 객체 지향 접근 방식에서는 생성자가 서로를 가리켜 야한다고 생각합니다. 생성자가 변경 불가능한 값으로 처리되는 경우 위에서 설명한 방법을 사용할 수 있습니다.

답변

BlockBase currentBlock = new IceBlock();
currentBlock = currentBlock.ApplyTemperature(1);
// currentBlock is now a WaterBlock

public class IceBlock() : BlockBase
{
    public BlockBase ApplyTemperature(int temp)
    {
        return (temp > 0 ? new WaterBlock((BlockBase)this) : this);
    }
}

water = new Block("water");
ice = new Block("ice");

transitions = new Transitions([
    new transitions.temperature.Below(0.0, water, ice),
    new transitions.temperature.Above(0.0, ice, water),
]);

data Material = Water | Ice

blockForTemperature :: Double -> Material
blockForTemperature x =
  if x < 0 then Ice else Water

transitionForTemperature :: Material -> Double -> Material
transitionForTemperature oldMaterial newTemp =
  case (oldMaterial, newTemp) of
    (Ice, _) | newTemp > 0 -> Water
    (Water, _) | newTemp <= 0 -> Ice