Cプログラミングにおける "一貫性のある状態"の意味

Question

"変数1と変数2は一貫性のある状態になっているはずです"と私の教授は何を意味していますか？ 「一貫した状態にある」とはどういう意味ですか？

Answer 1

言葉は私にはなじみのないようですが、おそらくそれが教授の意図でした。 私は彼が変数が初期化されていることを意味すると思います。しかし、彼はまた、例えば、マルチスレッドコンテキストでは、変数はミューテックスを保持して設定されます。または、変数が揮発性でないこと。 これ以上の文脈がなければ、彼が何を意味するのかを推測するのは難しいです。

Answer 2

船のナビゲーションソフトウェアを作成しているとします。

double lat, lon; 
while(1) { 
    lat = get_latitude(); 
    printf("position: %.4f, %.4f\n", lat, lon); 
    lon = get_longitude(); 
    sleep(1); 
} 

しかし、このコードがあります：GPS受信機にあなたのインターフェースは、あなたが最新の船の位置の表示を維持するために、このループを書く機能

double get_latitude(); 
double get_longitude(); 

のペアとしていると仮定明白なバグ：それは1秒前からの経度と共に緯度を表示します。船が動いている場合は、latとlongの変数が一貫していないため、位置が間違っています。

関連用語はループ不変式です。