C言語における'?'の役割とは

Question

ある1次元配列の半値幅を求める関数を参考書で読みました。
17行目と24行目の'?'の役割が分かりません。
演算子かもしれないと思ったが、見つけられませんでした。
教えていただけませんか？

double fwxm_lsf(float *p, int nx, double rt)
{
	int     i, mx;
	double  max, dx, fw0, fw1, hv;

	max = p[0];
	for(i = 1 ; i < nx ; i++) { // 最大値とその座標の算出
		if((double)p[i] > max) {
			max = p[i];
			mx = i;
		}
	}

	hv = max*rt; // 割合をかけた値の算出

	for(i = mx ; (double)p[i] > hv && i > 0 ; i--);
	dx = (p[i+1] == p[i]? 0.5 : (hv-p[i])/(p[i+1]-p[i]));
	fw0 = i+dx; // 最大値から左側の幅

//	fprintf( stderr,"  max*%f=%8.1f,", rt, hv);
//	fprintf( stderr," p[%3d]=%8.1f, p[%3d]=%8.1f, fw0=%8.3f\n", i, p[i], i+1, p[i+1], fw0);

	for(i = mx ; (double)p[i] > hv && i < nx-1 ; i++);
	dx = (p[i-1] == p[i]? 0.5 : (p[i-1]-hv)/(p[i-1]-p[i]));
	fw1 = i-1+dx; // 最大値から右側の幅

//	fprintf( stderr,"  max*%f=%8.1f,", rt, hv);
//	fprintf( stderr," p[%3d]=%8.1f, p[%3d]=%8.1f, fw1=%8.3f\n", i, p[i-1], i+1, p[i], fw1);

	return fw1-fw0;
}

Comments

[otn]

> 演算子かもしれないと思ったが、見つけられませんでした。
「C 演算子 一覧」のgoogle検索でヒットした先頭の5件を見てみましたが、そのうち4件で記述があります。
どういう探し方をしたのでしょうか？

[HYYH]

申し訳ございません。調べ方が下手でした。一つのサイトしか見てなかったので、気を付けたいと思います。

Answer 1

3項演算子と呼びます．
17行目で言えばp[i+1] == p[i]が真のとき0.5，偽のとき(hv-p[i])/(p[i+1]-p[i])になります．
意図としては，p[i+1] == p[i]のときどうしても(hv-p[i])/(p[i+1]-p[i])が0除算になるので，これを考えた回避策と見れます．

Answer 2

このようなコード片を示して意味を求める質問は、ChatGPTなどのAI(大規模言語モデルによる対話システム)の得意とするところです。
試しにChatGPTに尋ねてみます。(ChatGPTは本家OpenAIのサイトの他、Edgeブラウザ上でBingで使うこともできるので今回はこちらを使いました)

質問文をほぼそのまま、C言語であることと問題の1行だけ抜き出したものを付け加えて尋ねてみます。

ある1次元配列の半値幅を求める関数を参考書で読みました。
C言語のコードで、次の'?'の役割が分かりません。
dx = (p[i+1] == p[i]? 0.5 : (hv-p[i])/(p[i+1]-p[i]));
演算子かもしれないと思ったが、見つけられませんでした。
教えていただけませんか？

返答は以下の通りでした。三項演算子または条件演算子という名前と簡単な説明が付き、妥当な回答です。示されたURLも1つを除き当該演算子に触れられており、ほぼ適切です。

はい、お尋ねの?はC言語の三項演算子（または条件演算子）です①②。この演算子は、条件 ? 式1 : 式2という形式で使われます。条件が真（非ゼロ）であれば式1が評価され、偽（ゼロ）であれば式2が評価されます。
あなたが示したコードdx = (p[i+1] == p[i]? 0.5 : (hv-p[i])/(p[i+1]-p[i]));では、配列pの隣接する要素p[i+1]とp[i]が等しいかどうかをチェックしています。もし等しければ、dxには0.5が代入されます。もし等しくなければ、(hv-p[i])/(p[i+1]-p[i])が計算され、その結果がdxに代入されます。
このように三項演算子は、一つの式の中で二つの異なる結果を返すことができるため、コードを簡潔に書くことができます。ただし、複雑な条件式を書くとコードの読みやすさが損なわれることもあるので注意が必要です。①②

①https://acceliv.com/2021/05/clang-ternary-operator
②https://webkaru.net/clang/conditional-operator/
③https://www.sejuku.net/blog/23541
④http://www.c-lang.org/operator.html