曜日算出のメソッドのコンパイルエラー

Question

###前提・実現したいこと
Zellerの公式を使って曜日を算出するメソッドを作ってみたのですが、以下のようなエラーが出てしまいました。
エラーメッセージから察するに、分岐によって値を返せていないときがあるのではと思ったのですが、それがどこなのかわかりません。
7通りしかないはずの w の値で全部のパターンをカバーできているつもりだったのですが・・・。
よろしくお願いいたします。

###発生している問題・エラーメッセージ

値を返さないコード パスがあります

###該当のソースコード

        //曜日を求める
        //（仮引数）year:西暦年 month:月 day:日
        //（返却値）曜日
        private string dayCalculate(int year, int month, int day)
        {
            int w;

            if (month == 1)
            {
                month = 13;
                year -= 1;
            }
            if (month == 2)
            {
                month = 14;
                year -= 1;
            }                 //1月、2月の時は前年の13月、14月に

            w = (5 * year / 4 - year / 100 + year / 400 + (26 * month + 16) / 10 + day) % 7;    //Zellerの公式

            switch(w)
            {
                case 0:
                    return "日曜日です";
                case 1:
                    return "月曜日です";
                case 2:
                    return "火曜日です";
                case 3:
                    return "水曜日です";
                case 4:
                    return "木曜日です";
                case 5:
                    return "金曜日です";
                case 6:
                    return "土曜日です";
            }
        }

Answer 1

Visual Studio のチェッカの詳細はわかりませんが、おそらく、コードから構文木を作って静的に潜在的な問題を報告してくれています。実際にコードを走らせてみる「動的」なテストではなく、走らせなくてもわかる問題の検出です。コードの中身を精査 (たとえば、このコードでは w は 0 から 6 のどれかにしかならないと判断) するのではなく、形式的にわかる問題点を検出しています。

今回のケースでは、switch の default がない、というのは、直接的なエラー原因ではありません。default がないゆえに、 string 型を返すと宣言されている dayCalculate 関数が return なしで終わる、すなわち void 型になっていることを検出してエラーになっています。
switch では常に default を書く、という習慣がいいと思います。あとからコードを読んだときに、default を忘れただけなのか、なくてもいいと判断したのかの違いもわかりますし。

修正の方法ですが、default で return "エラーです"; とするのもひとつの方法ですが、次のようにするのも簡単です。

...
                case 4:
                    return "木曜日です";
                case 5:
                    return "金曜日です";
                default:
                    return "土曜日です";
...

別解としては、必ず string 型を return するために、次のようにするとか。

            day = "土曜日です";
            switch(w)
            {
                case 0:
                    day = "日曜日です";
                case 1:
                    day = "月曜日です";
                case 2:
                    day = "火曜日です";
                case 3:
                    day = "水曜日です";
                case 4:
                    rday = "木曜日です";
                case 5:
                    day = "金曜日です";
                default:
                    // do nothing
            }
       return day;

元のコードと変わって、質問とも関係なくなってしまいますが、もっとよいのはテーブルにしまうことでしょう。

    string[] weekDays = { "日", "月", "火", "水", "木", "金", "土" };
    ...
    return weekDays[w] + "曜日です";

Answer 2

wの値次第ではswitch/caseに該当しないパターンがありえる、ということでしょうね。switch/defaultを追加してエラー文字列を返すと良いと思います。たとえば、return "エラーです";とかを追加すればいいと思います。もちろん、全段階で7で割った余りを求めているので実質的な意味はありませんけど。

Comments

[jackie687456]

ご指摘通り、defaultを追加してみるとエラーが出なくなりました。いったいwの何がダメだったのかはわかりませんでしたが・・・。いろいろ値を入れてみてもちゃんと正しい答えが返ってきているようだったのでよしとしました。もし具体的な理由がお分かりになったら教えていただけると嬉しいです。ありがとうございました。

[toro1]

横からすみません。
wはintの型なので、-2,147,483,648 ～ 2,147,483,647の整数値が範囲です。
jackie687456の元のソースだと、このうち、0,1,2,3,4,5,6の場合しかreturnの文字列が設定されていません。
つまり7～ 2,147,483,647、-2,147,483,648～-1がwに入った場合の定義、returnの文字列が設定されていない為「値を返さないコード パスがあります。」と警告されています。
ここのdefaultは、「caseで指定した以外の値の場合」という意味なので、「値を返さないパスコードが無くなる為」、警告が消えます。

ちなみにdatetimeのDayOfWeekを使ったこんな方法もあります。
https://dobon.net/vb/dotnet/system/datetime.html#section4