null許容参照型でnullチェックを除外する方法

C#
1#nullable enable
2
3public class Hoge
4{
5  private object? A;
6
7  public void Init()
8  {
9    A = new object();
10  }
11}

このようなクラスがあります。
Initメソッドは必ず実行されるため、Aフィールドにnullになる事はありません。

C#
1public class Hoge
2{
3  private object? A;
4
5  public void Method()
6  {
7    string xxx = A!.ToString();
8  }
9}

Ａがobject?型のため、参照時にnullチェックを行うか、!マークを付けてnullチェックを回避する必要がありますが
毎回!マークを付けるのではなくAをobject?型ではなくobject型として扱いたいです

当たり前ですが、単純にobject型に変更するとコンストラクタでAに値を設定していないのでワーニングになります

C#
1[NotNull] private object? A;

少し前までNotNullAttributeを付けておこえば、上記を実現出来たのですが、この方法はバグだったのかVSを最新にするとワーニングが出るようになってしまいました。

Aをobject型として認識させるにはどうすれば良いでしょうか？

(追記:2021 4/4 12:32)

以下のようにプロパティにする方法も考えられますが、このような回避策ではなくフィールドのobject?型をobject型として認識させる方法を探しています

C#
1    public class Hoge
2    {
3        private object? _A;
4
5        private object A
6        {
7            get => _A!;
8            set => _A = value;
9        }
10    }

退会済みユーザー

2021/04/04 04:51

C# 8.0 の null 許容参照型の話ですか？　そうでなければ、Object は参照型で Nullable<T> の T は値型ということなので、object? というのはエラーになるはずですが・・・

行動規範の内容に同意します

回答3件

ベストアンサー

C# 8.0 の null 許容参照型の話と理解して・・・

Aをobject?型ではなくobject型として扱いたいです
単純にobject型に変更するとコンストラクタでAに値を設定していないのでワーニングになります

Init メソッドではなくコンストラクタで A を初期化してはいかがですか？　そうすれば、少なくとも警告が出ることはありません。

投稿2021/04/04 08:01

退会済みユーザー

総合スコア0

fijino

2021/04/05 23:09

ご回答ありがとうございます。コンストラクタで初期化していないものをnull 非許容参照型として扱うのはできないのですね。属性か何かで出来ると勘違いしていました。

退会済みユーザー

2021/04/05 23:32 編集

もし何かの事情でコンストラクタで初期化できない場合は、宣言の行だけ警告を出さないように設定するのはいかがですか？参照型の場合は T と T? で実態が変わる訳ではなく、注釈を付けて警告を出すようにしているだけだそうですので。

fijino

2021/04/05 23:32

お返事ありがとうございます。その方向で調べてみたいと思います。

行動規範の内容に同意します

警告はToString()に出てるんじゃないですか？

cs
1using System.Diagnostics.CodeAnalysis;
2#nullable enable
3
4public class Hoge
5{
6    [NotNull] private object? A;
7
8    public void Init() => A = new object();
9
10    public void Method()
11    {
12        // CS8600 Null リテラルまたは Null の可能性がある値を Null 非許容型に変換しています。
13        string xxx = A.ToString();
14
15        // 警告は出ません
16        string yyy = A.ToString() ?? "Null!";
17    }
18
19
20    // 蛇足
21    private object B;
22
23    // CS8618 null 非許容の フィールド 'A' には、コンストラクターの終了時に null 以外の値が入っていなければなりません。フィールド を Null 許容として宣言することをご検討ください。
24    public Hoge() => InitB();
25
26    [MemberNotNull(nameof(B))]
27    private void InitB() => B = new object();
28}