AIZU ONLINE JUDGEのDSL_1_AでREになってしまう理由が分かりません。

Question

DSL_1_Aで以下の以下のコードを提出したところREになっていまいます。入力例でデバッグしてみたところ、com=0, x=1, y=3のクエリでfindSet(1)の戻り値がとても大きな値として、linkメッソドの第一引数に入ってしまうため、インデックスが配列の境界外となり、ランタイムエラーが発生しています。findSetメッソドをコメントアウト部分のように書き換えればREは生じなくなり、Acceptされますが、両者の違いが判りません。以下の提出コードでfindSet(1)の戻り値が記憶されない理由を教えていただきたいです。

#include <bits/stdc++.h>
using namespace std;
typedef long long ll;

class DisjointSet
{
private:
	vector<int> rank, p;

public:
	DisjointSet() {}
	DisjointSet(int size)
	{
		rank.resize(size, 0);
		p.resize(size, 0);
		for (int i = 0; i < size; i++) makeSet(i);
	}

	void makeSet(int x)
	{
		p[x] = x;
		rank[x] = 0;
	}

	bool same(int x, int y)
	{
		return findSet(x) == findSet(y);
	}

	void unite(int x, int y)
	{
		link(findSet(x), findSet(y));
	}

	void link(int x, int y)
	{
		if (rank[y] < rank[x]) p[y] = x;
		else {
			p[x] = y;
			if (rank[y] == rank[x]) rank[y]++;
		}
	}

	int findSet(int x)
	{
		if (p[x] == x) return p[x];
		p[x] = findSet(p[x]);
		/*if (p[x] != x) p[x] = findSet(p[x]);
		return p[x];*/
	}
};

int main()
{
	int n, q;
	cin >> n >> q;
	DisjointSet ds(n);
	for (int i = 0; i < q; i++) {
		int com, x, y;
		cin >> com >> x >> y;
		if (com == 0) ds.unite(x, y);
		else {
			if (ds.same(x, y)) cout << 1 << endl;
			else cout << 0 << endl;
		}
	}
}

Answer 1

現在のコードでは条件が満たされない限りreturnされません
コメントアウトされてるほうのコードでは確実にreturnされます。その違いです。

Comments

[sumachu]

ご回答ありがとうございます。おかげさまでデバッグの際のミスに気付くことができました。Visual Studioでcom==0&&x==1&&y==3の条件でブレークポイントを打ってデバッグしていましたが、link(findSet(x), findSet(y))の際に、第1引数のfindSet(x)が第2引数のfindSet(y)より先に呼び出されていると勘違いしていました。そのため、回答者様のご回答にたどり着きませんでした。