.NET 8 も RC 2 な段階になって、ここから GA までの間に仕様が変わるということはほとんどなくなってきました。 となると、話題はもうその次。来年向け(C# 13 / .NET 9 ターゲット)の話が出てきます。 C# Design Meeting でも、13向けのトリアージがちらほら始まりました。

とりあえず現状、2件。

以下のようなものがトリアージされました。

10/9 議事録

ReadOnlySpan initialization from static data 5295

#5295

C# 7.2 辺りから、以下のような「配列のアロケーションを消す」最適化が掛かります。

// 定数だけで構成された byte 配列は最適化で消える。
// new ReadOnlySpan<byte>(静的データのポインター, 4) みたいなコードに展開される。
ReadOnlySpan<byte> data1 = new byte[] { 1, 2, 3, 4 };

// .NET 7 までは byte, sbyte のみだったけど、 .NET 8 からはそれ以外の整数にも最適化がかかるように。
ReadOnlySpan<int> data2 = new int[] { 1, 2, 3, 4 };

けども、見た目はどう見ても配列を作っているので、たびたび「この配列を new するのもったいなくない？」という突っ込みが入りがちです。

そこで、以下のような「ReadOnlySpan の初期化構文が欲しい」という話がありました。

ReadOnlySpan<byte> data1 = { 1, 2, 3, 4 };

ReadOnlySpan<int> data2 = { 1, 2, 3, 4 };

ですが、C# 12 で入る予定のコレクション式がこれを兼ねるので、この {} を使った書き方はリジェクトになりました。

Embedded Language Indicators for raw string literals 6247

#6247

// こんな風に、raw string の先頭行に「文字列リテラルの中身が何か」を示すインジケーターを書きたいという案。
var y = """regex
    \s+
    """;

// ちなみに今も、以下のように「文字列リテラル直前のコメントに lang = を付ける」という手段でインジケーターを書ける。
// Visual Studio はこれを認識して色付けしたり補間したりしてくれる。

// lang=regex
var y = """
    \s+
    """;

優先度付くほど強いモチベーションがなさげ。 Backlog (過去ログ行き)。

list-patterns on enumerables

#6574

IEnumerable に対して x is [] とか書けるようにしたいというやつ。

時間がなくて12でも入らなかっただけ。 Working set (作業中)。

Make generated Program` for top-level statements public by default

#6769

トップ レベル ステートメントから生成される Program クラスを public にしたいという話。

一番のモチベはテストだけど。 テスト関連、もっと広く要件調査必要。

CallerCharacterNumberAttribute

#3992

Caller Info 属性に追加で「ソースコードの何列目か」を取れるものを足したいという話。 (今、CallerLineNumber で行番号は取れるけども、列を取る手段がない。)

Interceptorと一環としてやる。

Add private and namespace accessibility modifiers for top-level types

#6794

「同一の名前空間内限定でアクセスできる」というアクセスレベルの新設。 file は狭すぎるし、internal は広すぎる。

やる気になってるっぽい(Working set)。

Require await to apply nullable postconditions to task-returning calls

#6888

非同期メソッドが絡んだ時に MemberNotNull` とかがちゃんと働かない問題。

作業中。もらったフィードバックに対処が必要。

is expression evaluating const expression should be considered constant

#6926

const int x = 123;
const bool y = x == 0; // これは OK。const 同士に対する式の結果は const。
const bool z = x is 0; // 今ダメ。 == が行けるんなら is も行けていいんじゃない？

Any time (C# チーム内ではやらないけど、コミュニティ貢献受付はできる)。 実際、コミュニティ実装が始まってそう。

10/16 議事録

Breaking change warnings

#7189

「C# 14 で破壊的変更になる予定だから注意してね」警告みたいなやつを C# 13 以下に対して出そうかという話。 (主に、field キーワード導入がモチベ。)

これについて書いたブログ: C# での破壊的変更の今後の扱い(案)

普通に作業中。 10/9 のミーティングでは取り上げ忘れてただけ。 Working set。

Determine natural type of method group by looking scope-by-scope

#7364

#7429 との重複扱いで close。

u8 string interpolation

#7072

$"直接 UTF-8 で書き込まれる文字列補間 {x} {y}"u8 (u8 接尾辞) みたいなのが欲しいという話は上がってたんだけど。

.NET 8 の並々ならぬ努力の結果、JIT 最適化がだいぶ賢くなった。

using System.Text.Unicode;

int x = 123;
int y = 456;
Span<byte> dest = stackalloc byte[100];

Utf8.TryWrite(dest, $"UTF-8 補間 {x} {y}", out var written);
// ↑ 普通の(UTF-16 な)文字列補間だけど、JIT の努力によって UTF-16 → UTF-8 への変換がほぼノーコストに最適化される。

その結果、 $""u8 の要求減った。 Backlog 行き。

Lock statement pattern

#7104

lock (obj) もパターンベースにしたいという話。

.NET の「任意の object を lock に使える」、「オブジェクトヘッダーに lock 用の syncblock って領域を持ってる」という仕様、オーバーヘッドが大きいので、ちゃんと Lock` 型みたいなのを用意してそれを使って lock したい。

この Lock 型インスタンスに対して lock (_lock) されたときに、syncblock 使わず、パターンベースで Lock.TryEnter が呼ばれるようにしたい。

.NET 9 マイルストーンで Working set に。

String/Character escape sequence \e as a short-hand for \u001b ()

#7400

エスケープ文字(U+001B)に対するエスケープシーケンス \e を導入したい。

Any time に(今、提案者に対してコミュニティ実装するか聞いてるところ)。

New operator %% for canonical Modulus operations

#7599

C# の % 演算子 (というか、大体の CPU の div rem 命令) は、オペランドの符号によっては 0～n-1 にならない。 それに対して、array[x % array.Length] みたいな用途では 0～n-1 になってほしい。

という、需要はあるものの、C# 言語組み込みでやるべきかどうかは疑問。 div rem にはいろいろ種類があるんで、メソッド名とかメソッド引数で「どの div か」を明示すべきという話に支持が集まってる。

なので C# としてはやらない(likely never)。

代わりにライブラリ追加の提案が runtime の方で進みそう (#93568)。 ↓提案内容。

namespace System.Numerics;

public enum DivisionRounding
{
    Truncate = 0,        // Towards Zero
    Floor = 1,           // Towards -Infinity
    Ceiling = 2,         // Towards +Infinity
    AwayFromZero = 3,    // Away from Zero
    Euclidean = 4,       // floor(x / abs(n)) * sign(n)
}

public partial interface IBinaryInteger<TSelf>
{
    // Existing:
    static virtual (TSelf Quotient, TSelf Remainder) DivRem(TSelf left, TSelf right);

    // Proposed:
    static virtual TSelf Divide(TSelf left, TSelf right, DivisionRounding mode);
    static virtual (TSelf Quotient, TSelf Remainder) DivRem(TSelf left, TSelf right, DivisionRounding mode);
    static virtual TSelf Remainder(TSelf left, TSelf right, DivisionRounding mode);
}

最近の投稿

アーカイブ