式 (プログラミング)

演算子と項から成る式である。

数式などで見慣れている以下のような、

〈式〉〈演算子〉〈式〉

というような構文となる。FORTRANのように数値計算のことだけを考えていれば良かった時代にはごく普通の言語機能だと考えられていたが、その後あらゆるデータ型をプログラミング言語が扱うようになった際に、それらのデータ型と演算子をどう扱うかは、言語ごとにまちまちとなった。言語によっては、代入なども、代入演算子などによる式でおこなうという設計の場合もある。

このような構文における頭痛のタネに、「演算子の結合性」（en:Operator associativity）と「演算子の優先順位」（operator precedence）がある。直感的には、少なくとも初等教育以来ずっと慣れている「乗除が先、加減が後」という規則があったほうがわかりやすいが、その他にもいくつもの「コンピュータのプログラミングではこれも使いたい」という演算、たとえばビット演算などを追加してゆくと、階層が何段階も増えてしまう。

C言語の設計ミスに、ビット演算子の & や | の優先順位が == よりも低い、という点があるが、これは以前にはC言語に論理演算子の && や || が無く、文脈によって演算子の意味が変わるという仕様であったことが遠因である^[2]。

そういったように、演算子が関係する文法の仕様を設計するのは難しく、さらに近年は前述のようにデータ型が増えたことによって余計に難しい要素が増えている。後述するような、他の種類の演算子も含めるとさらに複雑になる。

やはり初等教育以来慣れている前置マイナス演算子を使いたいという要求はあるが、そうすると対称性のためにプラスの演算子も欲しいということになったり、そうすると前述の二項演算と同じ記号を使うことで字句解析・構文解析が複雑になることもある。単純にするために、前置マイナス演算子を - 以外の記号とすることもある。C言語のように多くの前置演算子がある言語もある。

C言語の場合、（後置の）++ と -- すなわちインクリメントとデクリメントの演算子の他、expression.name と expression->name のような構造体などの要素の選択も構文的には後置演算子である。

代入が文である言語もあれば、「代入演算子」による式である言語もある。普通はわざわざ混乱させたりはしないが、C#とVB.NETを「同じ.NET系言語」だから、として似たものと考えてしまうのか、混乱して考えられてしまうこともあるようである。

C#においては代入は式であるが、同じ.NET系言語であるVB.NETでは代入は文である。そのため、似たようなコードではあるが全く違う処理結果を得る。

// C#
dynamic x = 123;
dynamic y = 234;
dynamic z;

z = y = x;

Console.WriteLine(x); // 123
Console.WriteLine(y); // 123
Console.WriteLine(z); // 123

1. y = xがまず評価される。yにxの持つ123が代入され、この式の値は123となる。
2. z = 評価結果が評価される。zにy = xの結果の123が代入され、この式の値は123となる。
3. これ以上評価する式がない(セミコロンで終端している)ため、文として完結する。この時、式全体の評価結果である123は捨てられる。

' VB.NET
Dim x = 123
Dim y = 234
Dim z

z = y = x

Console.WriteLine(x) '123
Console.WriteLine(y) '234
Console.WriteLine(z) 'False

1. y = xが評価される。=は等価演算子と見なされ、この式の値はFalseとなる。
2. z = 評価結果が代入文として実行される。zにy = xの結果のFalseが代入される。(文であるため、値を持たない)

1. ↑ Using the GNU Compiler Collection (GCC): Statement Exprs
2. ↑ https://www.lysator.liu.se/c/dmr-on-or.html

この項目は、コンピュータに関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（PJ:コンピュータ/P:コンピュータ）。

• 表示
• 編集