field, value を文脈キーワード化
C# 13 向けに検討されている機能の一つに、 「半自動プロパティ」とか「field キーワード」と呼ばれているものがあります。 元々は C# 12 向けに考えられていて、去年、うちのブログでも書いているやつです。
簡単におさらいすると、
プロパティの get/set アクセサー内で、field を使って
バッキング フィールド(自動プロパティの値を保存するためにコンパイラーが生成するフィールド)に明示的にアクセスするというものです。
class A
{
// 手動プロパティ (manual property)
// (と、自前で用意したフィールド)。
// こういう、プロパティからほぼ素通しで値を記録しているフィールドを「バッキング フィールド」(backing field)という。
private int _x;
public int X { get => _x; set => _x = value; }
// 自動プロパティ (auto-property)。
// 前述の X とほぼ一緒。
// バッキング フィールドの自動生成。
public int Y { get; set; }
// 【C# 12 候補(改め、13 候補)】 半自動プロパティ (semi-auto-property)。
// バッキング フィールドは自動生成。
// 全自動の方と違って、バッキング フィールドの使い方は自由にできる。
// field キーワードでバッキング フィールドを読み書き。
public int Z { get => field; set => field = value; }
}C# 12 時点では「これを破壊的変更なしで実装するのは大変」ということで見送りになりまして、 その結果検討されていたのが先日書いたブログの話。
ここで、「field の扱いで破壊的変更があるんだったら、value についても…」
という話が出ています。
というのも、value (プロパティの set 内でだけ特別な意味を持つ)はちょっと C# 的には珍しく、
キーワードではなくて「暗黙に定義された引数」で、ちょっと浮いた挙動をします。
1つ目、@ で「脱キーワード化」ができない。
class A
{
public int X
{
set
{
// value は @ を付けてもダメ。
// 扱いが「暗黙定義された引数」なので、@value もその引数を指す。
var @value = 1;
// 普通、キーワードだったら @ を付けることで識別子に使える。
var @this = 2;
}
}
}2つ目、nameof。
class A
{
public int X
{
set
{
// 逆に、引数扱いゆえに nameof が使える。
var n1 = nameof(value);
// キーワードには nameof は使えない。
var n2 = nameof(this);
}
}
}3つ目、外側の識別子の参照。
class A
{
int value;
int @this;
public int X
{
set
{
// 外にある「value フィールド」すら、@value では参照できない。
// 暗黙の引数の方になる(@ を付けるだけ無駄)。
// (ちなみに、 this.value = 1; と書けばフィールド参照になる。)
@value = 1;
// キーワードの場合は @this で外のフィールド参照になる。
@this = 2;
}
}
}field を足すことで軽微ながら破壊的変更が出るんなら、
value に軽微な破壊的変更がかかってもいいのではということで、
もうこの際 value もキーワード(set 内限定なので、文脈キーワード)してもいいのではという話になります。
どういう影響があるかというと、先ほどの例からわかる通りで、
var @value = 1;みたいなのが書けるようになる- これは、できないことができるようにあるので破壊的ではない
nameof(value)が書けなくなる- こう書いていた人が多数派とは思えない
- ※追記:
if (value is null) throw new ArgumentNullException(nameof(value));って書く人それなりにいる説あり
@value = 1;みたいなのが暗黙的引数の上書きから、外のフィールドの上書きに変わる- 単に
value = 1;でよかったわけで、もともと変
- 単に
となります。
ちなみに、field は「暗黙の引数扱い」でも「文脈キーワード扱い」でもどちらにしろ破壊的変更になります。
「文脈キーワード扱い」の方が自然っぽいんですが、
そうなるとこの「value と何か挙動が違う」が気になるという懸念がありまして。
そこで出た対案が「value も文脈キーワードに変更」という感じかと思います。