インデクサのsetter内でのvalueの不可解な挙動

Question

やりたいこととしてはインデクサのセッターでvalueがIEnumerableを継承しているかどうかによって分岐させたいのですができないということです．

using System;
using System.Collections.Generic;

namespace test
{
    class Program
    {
        static void Main(string[] args)
        {
            var a = new A();
            a["aaa"] = 1;// case1　
            a["aaa"] = new int[] { 1 };//case2
        }
    }

    class A
    {
        dynamic val;

        public dynamic this[string key]
        {
            get { return 1; }
            set {
                
                if (value is IEnumerable<object>)
                {
                    this.val = value;
                    Console.WriteLine("set IEnumerable");
                }
                else
                {
                    this.val = value;
                    Console.WriteLine("set Value");
                }
            
            }

        }
    }
}

case2では奇妙なことにVisualStudioでデバッグ時にウォッチ式やイミディエイトウィンドウで確認すると value is IEnumerable<object>はTrueと表示されるのですが，実行結果はFalseになってしまいます。直感的にもvalue is IEnumerable〈object〉はtrueだと思うのですが、コードでは判定はfalseです。

setter内でvalueがIEnumerable<object>かどうか判別し分岐する方法はあるのでしょうか？また何故，VisualStudioではTrueになるのでしょうか？

追記：
そもそも value is IEnumerable<object>でvalueがIEnumerableを実装しているかを判別できませんでした．string[]ではtrueになるので勘違いしたまま覚えておりました．

Comments

[gentaro]

> VisualStudioでは value is IEnumerable<object>はTrueと表示される

この部分が意味不明。
デバッグ実行時のオブジェクトインスペクタの評価結果の話をしてるのか、それとも何か他の独自解釈をしてるのか判断できない。

[nono1234]

デバッグ時にウォッチ式やイミディエイトウィンドウで実行した場合にtrueとなるという意味です。

[Zuishin]

ちょっと読み間違えていたのでコメント編集します。dynamic だからでは？

https://ufcpp.net/study/csharp/sp4_dynamic.html
> その他の場合、「リフレクション」を使ってメンバーを持っているかどうか調べて、持っているならそのメンバーにアクセスするコードを生成。

[退会済みユーザー]

> 直感的にもvalue is IEnumerable〈object〉はtrueだと思うのですが

インデクサでの使用は関係なく単純に false になるはずです。

例えば、インデクサとかは除去して単純に、

var value = new int[] { 1 };
if (value is IEnumerable<object>) {}

は false になりますし、

IEnumerable<object> x = (IEnumerable<object>)value;

は 'int[] 型を IEnumerable<object> 型に変換できません' というコンパイル時のエラーになります。私の質問への理解が根本的に違いますか？

[退会済みユーザー]

この話に関係していたようですね。

ジェネリックの共変性と反変性
https://docs.microsoft.com/ja-jp/dotnet/standard/generics/covariance-and-contravariance

"変性が適用されるのは参照型のみです。バリアント型パラメーターに対して値型を指定すると、その型パラメーターが、結果の構築型で不変になります"

質問のコードの int は値型なので変性が適用されないということになります。

ちなみに、int 型に代えて string 型の配列にすれば期待した結果 (true) になるはずです。

[nono1234]

ご回答ありがとうございます．確かにstring[]だとtrueになります．
そもそもある変数をvalue is IEnumerable<object>で判別できると思っていたので私の解釈に誤りがありました．

Answer 1

setter内でvalueがIEnumerable<object>かどうか判別し分岐する方法はあるのでしょうか？

これについては

他掲示板

内に書いてある

MSDN

あたりが関連しているのではないでしょうか？

簡単な例としては言われてるような判定が可能であれば

IEnumerable<int> test1 = new List<int>();
IEnumerable<object> test2 = new List<int>(new[] { 1, 2, 3 }).Cast<object>();
IEnumerable<object> test3 = new List<int>(); ←ビルドエラー
IEnumerable<object> test4 = (IEnumerable<object>)new List<int>(); ←例外が発生

上記のtest3またはtest4あたりは可能なはずかと思います。

結果、ジェネリックの列挙子をもっているかどうかであれば

参考先

を参考に非ジェネリックの判定も追加して

        class A {
            dynamic val;

            public dynamic this[string key] {
                get { return 1; }
                set {

                    var valueIsEnumerable = false;

                    if (value != null) {

                        foreach (System.Type obj in value.GetType().GetInterfaces()) {

                            if (obj == typeof(System.Collections.IEnumerable)) {
                                valueIsEnumerable = true;
                                break;
                            }

                            if (obj.IsGenericType && obj.GetGenericTypeDefinition() == typeof(IEnumerable<>)) {
                                valueIsEnumerable = true;
                                break;
                            }
                        }

                    }

                    if (valueIsEnumerable) {
                        this.val = value;
                        Console.WriteLine("set IEnumerable");
                    } else {
                        this.val = value;
                        Console.WriteLine("set Value");
                    }

                }

            }
        }

といった感じで「valueがIEnumerable<object>かどうか判別し分岐する方法」の方法としてはどうでしょうか？

また何故，VisualStudioではTrueになるのでしょうか？

ここは私にはわかりません。

Comments

[dekaaki]

ただ、上記方法で注意しないといけないのがstringはcharの列挙を持っているので(IEnumerable, IEnumerable<char>)stringをどっちで扱うか注意が必要です

[nono1234]

@dekaakiさん
ご回答ありがとうございます．IEnumerableを継承しているかで判定すればよかったのですね．
非ジェネリック判定のほうはいまいちよくわかってないので勉強します
ありがとうございます．

Answer 2

こういう事をしたいのかな？
インターフェースを実装しているかを調べる

ちなみに、別の型の配列をisで比較しても、falseになります。

    dynamic i = new int[] { 1 };
    Console.WriteLine(i is IEnumerable<object>); //これはFalse
    Console.WriteLine(i is IEnumerable<int>); //これはTrue

少し書いて放置してたら、先にもっと詳しい回答が付いてました。