Nullableが有効な際に、null非許容のフィールドをプロパティで初期化したいが、コンストラクタでフィールドが初期化されていないという警告が表示される。

Question

.csprojに<Nullable>enable</Nullable>を記述してNullableを有効にすると、コンストラクタElement(string value)にてエラーが表示されます。
原因は、コンストラクタでフィールドを直接初期化していない(プロパティを介している)からだと考えます。

解決策として、#nullable disableをフィールド前に追加するのは良い方法でしょうか。また、その他ダメ出しなどもあればお願いしたいです。

エラーとソースコードは以下の通りです。

Element.Element(string value)
null 非許容の フィールド '_field' には、コンストラクターの終了時に null 以外の値が入っていなければなりません。フィールド を Null 許容として宣言することをご検討ください。

namespace Test
{
    using System.Text.RegularExpressions;
    class Element
    {
        private string _field;

        public string Field
        {
            get
            {
                return this._field;
            }
            set
            {
                VerifyByRegex(value, "REGEX");
                this._field = value;
            }
        }

        public Element(string value)
        {
            Field = value;
        }

        internal bool VerifyByRegex(string input, string pattern)
        {
            if (!Regex.IsMatch(input, pattern))
            {
                throw new ArgumentException("ERROR");
            }
            return true;
        }
    }
}

Answer 1

コンストラクタで直接初期化するのではなくプロパティを介しているためアナライザで追いきれてない、というのが現状なんで、コンストラクタ経由で確実に初期化されるという仕様上の保証があるのなら、適当にprivate string _field = "";とでもしておけば良いんじゃないですか。nullである事だけが問題なので。

Comments

[Zuishin]

回答には直接関係のない追記事項ですが、Field は null が入らないという建前で、実は null を入れることができます。
Field = null; でも警告だけでコンパイルは通りますし、Filed = null!; と書けば警告すら出ません。
また Nullable disable なコードからの使用も考えられます。

なので、セッターには if (value is null) throw new ArgumentNullException(nameof(Field)); の一行を書いて、null が入らない保証をしておくのが良いと思います。

Answer 2

C# 8.0 で利用できるようになった null 許容参照型 (詳細下記 url 参照) を理解していて積極的に使いたいなら宣言で string? としてみてください。

https://ufcpp.net/study/csharp/resource/nullablereferencetype/

Comments

[yuusakuri]

_fieldはnull許容ではない（インスタンス作成が成功した時点でnullが入るべきではない）のですが、それでもstring?とすべきでしょうか。

[退会済みユーザー]

string? と宣言したくないなら初期化で null でない何か ("" とか) を代入しておいてはいかがですか？

「.csprojに<Nullable>enable</Nullable>を記述してNullableを有効にする」とした意味が分かってますか？ あなたがプロジェクト全体で参照型を null 不可に設定したということなのですがそれは分かってやってますか？

紹介した記事をよく読んでください。あなたの疑問への答えはすべてそこに書いてあると思います。