配列を左辺に用いてはならないならば、if文の条件式に配列を左辺値として用いたいときは、どのようにそれを回避しつつ意味が変わらない条件式を書くのが常套手段なのか。

Question

前提・実現したいこと

以下をご教授お願い致します。

・配列は左辺値ではないため左辺に持ってきてはならないのは理解した。しかし、それならば、下記の正しいソースコードでも同様に、if文の条件式の左辺に配列であるdt,distを持ってくるとエラーするはずではないのか。違いを生む理由は何か。
・”21行目、canは定義されていない識別子であること。”というエラーメッセージを得たが、canは13行目で定義しているはずである。理解に苦しむ。
・これらを踏まえた上で、ソースコードを訂正するならばどのようになるか。入門者であるため、普遍的な教訓まで教えていただけると非常にありがたい。

問題文

シカの AtCoDeer くんは二次元平面上で旅行をしようとしています。AtCoDeer くんの旅行プランでは、時刻 0 に 点 (0,0) を出発し、1 以上 N 以下の各 i に対し、時刻 tiに 点 (xi,yi) を訪れる予定です。

AtCoDeer くんが時刻 ti,ti+1 に 点 (xi,yi)(xi+1,yi+1) にいる時、 時刻 ti+1には 点(x+1,y),(x−1,y),(x,y+1),(x,y−1) のうちいずれかに存在することができます。その場にとどまることは出来ないことに注意してください。AtCoDeer くんの旅行プランが実行可能かどうか判定してください。

発生している問題・エラーメッセージ

・16行目、if文の条件式において、配列であるdt,dsが左辺にあること。
・21行目、canは定義されていない識別子であること。

該当のソースコード

自分が書いた誤ったソースコード

include <iostream>
using namespace std;

int main() {
	int N, i;
	int t[100000], x[100000], y[100000];
	cin >> N;
	t[0] = x[0] = y[0] = 0;
	for (i = 0; i < N; i++) {
		cin >> t[i + 1] >> x[i + 1] >> y[i + 1];
	}
	for (i = 0; i < N; i++) {
		int can = 1;
		int dt = t[i + 1] - t[i];
		int ds = abs(x[i + 1] - x[i]) + abs(y[i + 1] - y[i]);
		if ((dt - ds) % 2 = 0 && dt >= ds) {
			can = 0;
		}
		else { break; }
	}
	if (can) { cout << "Yes"; }
	else { cout << "No"; }
	return 0;
}

### 正しい(正解の一例)ソースコード
include <iostream>
using namespace std;

int main() {
    int N;
    int t[110000], x[110000], y[110000];
    cin >> N;
    t[0] = x[0] = y[0] = 0;  // 初期状態
    for (int i = 0; i < N; ++i) cin >> t[i+1] >> x[i+1] >> y[i+1];  // 1-index にしておく

    bool can = true;
    for (int i = 0; i < N; ++i) {
        int dt = t[i+1] - t[i];
        int dist = abs(x[i+1] - x[i]) + abs(y[i+1] - y[i]);
        if (dt < dist) can = false;
        if (dist % 2 != dt % 2) can = false;  // dist と dt の偶奇は一致する必要あり！
    }

    if (can) cout << "Yes" << endl;
    else cout << "No" << endl;
}

Comments

[y_waiwai]

質問が意味不明です。
dt、dsは配列じゃないです。
エラーが出るならエラーメッセージを提示しよう

Answer 1

配列は左辺値ではないため左辺に持ってきてはならないのは理解した。

左辺値は代入ができる値、という意味です。比較の左辺に置く（a[1] == 3のようにする）のは全く問題ありません。

Comments

[hanyansakura]

数時間に及ぶ、疑問との不毛な格闘が一瞬で解決しました。
簡潔な回答をありがとうございました。

[SaitoAtsushi]

左辺値・右辺値というのは公式な訳語 (JIS ではそう訳されている) なのですが、誤解を避けるために原文通りの lvalue / rvalue という語を使うことを好む人もいます。 左辺値・右辺値という語が割り当てられているのは歴史的な理由であり、現在では必ずしも左辺・右辺とは関係ありません。 C++ の仕様において定義が与えられている専門用語です。
https://ja.cppreference.com/w/cpp/language/value_category

そして配列が左辺値ではないというのは誤解で、仕様の定義に従って解釈すれば配列として宣言された変数は左辺値 (lvalue) です。 左辺値の内で「変更可能な左辺値 (modifiable lvalue)」が代入可能なものです。

Answer 2

手元ではこんなエラーメッセージが出ました。

c250265.cpp:21:21: エラー: 代入の左側の被演算子として左辺値が必要です
   if ((dt - ds) % 2 = 0 && dt >= ds) {
                     ^

「左辺値が必要」とあるので「if文の条件式に配列を左辺値として用いたいときは・・・」という問いになったのでしょうが

if ((dt - ds) % 2 = 0 を
if ((dt - ds) % 2 == 0 と直すだけの、よくあるバグではないでしょうか。

Answer 3

配列を左辺値にできないというのは、正しいです。
※配列を戻り値とする関数を定義することはできない
ですが、「配列を構成する要素の中の一つ」は、通常は配列ではありません。ですからそれらの要素から導き出した値もまた（導いて配列にしなかったのでない限り）左辺値とすることができます。

if ((dt - ds) % 2 = 0 && dt >= ds) {
   can = 0;
}

ここで dt は t[] の要素から導き出している値であって配列ではありませんし（int って定義してますよね？）、ds も x[] 及び y[] の要素から導き出している値ですから配列ではありません。
ですからこれがエラーの原因ではありません。

本当に書かれたコードの通りで、エラーも吐かれたとおりですか？