Visual Studio 17.2 Preview 3, .NET 7 Preview 3

[ufcpp]

配信URL: https://www.youtube.com/watch?v=4TiCd5ov_WI

• Visual Studio 2022 バージョン 17.2 Preview 3.0
• Announcing .NET 7 Preview 3
• ASP.NET Core updates in .NET 7 Preview 3
• What's new in .NET 7 Preview 3 (core/issues/7108)

そんなに良さげな話ないかも…

Preview 4 (core/issues/7378)に期待？ C# 的にも、17.3 で u8 リテラルとか入るみたいで次に期待？ (runtime に先行して u8 リテラル使ってみた PR あり runtime/pull/67733)

なのでまた Language Design Meeting Notes 読みかなぁ…

LDM

こっちも細かい話が多め。

• 3/21
• 3/23
• 3/28
• 3/30
• 4/6
• 4/11

話されてた内容:

• self 型制約
  • self 制約: class A : INumber<A> みたいに、必ず「自分自身」を受けたい型引数
  • self 制約用の構文作る？
  • 後々、associated type みたいな新仕様が入ったときに改めて考え直したい
  • 今は属性とかで「当面をしのぐ」対応にしたい
  • コンパイラーではやらず、アナライザーでやる
• Required proeprties
  • Q. required 関連の属性、record のコンパイラー生成メンバーにもつける？ → A. つける
  • Q. required ref int X みたいなの → A. 需要なさそう。やめとく
  • required プロパティは readonly にできないようにする
• static abstract
  • static abstract 持ちのインターフェイスは型実引数に渡せなくする
  • Q. static virtual な ==, != は持てる？ → A. 持てるようにする (一方、non-virtual な == は引き続き持てない)
  • Q. operator を明示的実装する場合、static I I.operator +(I x) とかでいい？ → A. いい
  • 型に対する LINQ、以下のコード参照

// C# 3.0 の頃からこんな感じのコード、有効
// Q. これ、static abstract/型引数に対してもできるべき？
// A. できるべきだとは思う。今できないのは意図的じゃない。でも、需要なさそうだし作業したくない
var x = from a in X where true select a;

static class X
{
    public static int Where(Func<int, bool> _) => 0;
}

• file private
  • 単に「file 修飾子」になりそう
  • 2案で意見割れてる
    1. file は単独でしか掛けないアクセス修飾子にする
    2. 他のアクセス修飾子と並べて file protected とかも有効
• 構造体の : this()
  • 以下のコード参照
  • 今のところ、0 初期化 → フィールド初期化子 → S(int) 実行 の順が濃厚

public struct S
{
    int x = 1;
    int y;

    public S(int y) : this() // この :this() はどういう意味になるべき？
    {
    }
}

• Parameter null checking
  • むっちゃ燃えたんで再考… とはいえ…
  • やらない？ → やる価値はあると信じてる
  • もっと完全な契約プログラミングにする？ → null チェック以外の価値は微小
  • NRT で自動的に実行時 null チェックも入れる？ → 破壊的変更(急に例外出るようになる)の度合いが大きすぎるし、null チェックの実行時コストはちょっと許容しかねる
  • 構文再考: !! 以外を考える？ → ! はない。かといって他の案(T parameter not null みたいなの)は長ったらしかったりできつい
• raw string

Console.WriteLine($"""{1}"""); // 1
Console.WriteLine($"""{{1}}"""); // これだけコンパイルエラー。認める？

Console.WriteLine($$"""{{1}}"""); // 1
Console.WriteLine($$"""{{{1}}}"""); // {1}

Console.WriteLine($$$"""{{{1}}}"""); // 1
Console.WriteLine($$$"""{{{{1}}}}"""); // {1}

[ufcpp-live]

// C# でも整数型引数はほしい時なくはない
struct FixedArray<T, int N>
{
    private T _items[N];
}

// 今、やっつけ大体案として…
var array = new FixedArray<int, object[,,,]>();
// new FixedArray<int, 4> のつもり

[ufcpp-live]

// generic attribute はいつの間にか requires preview features 外れてる。
[A<int>] // これは OK
[A<T>] // ダメ
[B(typeof(T))] // この時点でダメ
class X<T>
{
}

class AAttribute<T> : Attribute { }

class BAttribute : Attribute
{
    public BAttribute(Type t) { }
}

[ufcpp-live]

public readonly struct Int32
    : IAdditionOperators
{

}

// 別件として、associated type を考えてる
// self 制約を考えるのであればこれが先。
// associated type がいつになるのかわかんないので、当面、self type ない。
interface IAdditionOperators
{
    associated type T;
    abstract static T operator +(T x1, T x2);
}

[ufcpp-live]

Int32 苦行

IAdditionOperators<Int32, Int32, Int32>,
IAdditiveIdentity<Int32, Int32>
IBinaryInteger<Int32>
IBinaryNumber<Int32>
IBitwiseOperators<Int32, Int32, Int32>
INumber<Int32>
IComparable,
IComparable<Int32>
IComparisonOperators<Int32, Int32>
IEqualityOperators<Int32, Int32>
IEquatable<Int32>
IDecrementOperators<Int32>
IDivisionOperators<Int32, Int32, Int32>
IFormattable, IIncrementOperators<Int32>
IModulusOperators<Int32, Int32, Int32>
IMultiplicativeIdentity<Int32, Int32>
IMultiplyOperators<Int32, Int32, Int32>
IParseable<Int32>
ISpanFormattable,
ISpanParseable<Int32>
ISubtractionOperators<Int32, Int32, Int32>
IUnaryNegationOperators<Int32, Int32>
IUnaryPlusOperators<Int32, Int32>
IShiftOperators<Int32, Int32>
IConvertible,
IMinMaxValue<Int32>
ISignedNumber<Int32>

[ufcpp-live]

interface I
{
    public static bool operator ==(I x1, I x2) => true; // non-virtual は多分認めない
    abstract static bool operator ==(I x1, I x2); // 行けるようにするかも
    public virtual static bool operator ==(I x1, I x2) => true; // 行けるようにするかも
}

[ufcpp-live]

// C# 3.0 の頃からこんな感じのコード、有効
// Q. これ、static abstract/型引数に対してもできるべき？
// A. できるべきだとは思う。今できないのは意図的じゃない。
// ****でも、需要なさそうだし作業したくない****
var x = from a in X where true select a;

// こうなる↓
var x1 = X.Where(a => true);

static class X
{
    public static int Where(Func<string, bool> _) => 0;
}

interface I
{
    abstract static int Where(Func<string, bool> _);
}

void m<T>()
    where T : I
{
    // これがダメらしいよ。
    // (リスナー全員満場一致で「ダメでいいだろ」)
    var x = from a in T where true select a;
}

[ufcpp-live]

// Q. 以下のうち、エラーになる行をこたえよ
Console.WriteLine($"""{1}""");
Console.WriteLine($"""{{1}}""");
Console.WriteLine($$"""{{1}}""");
Console.WriteLine($$"""{{{1}}}""");
Console.WriteLine($$$"""{{{1}}}""");
Console.WriteLine($$$"""{{{{1}}}}""");

[ufcpp-live]

_ = @"""a"""; // これ、普通の verbatim だわ…