subj конструкция не пашет... все время возвращается false, хотя target — это ICollection[T]. Это так должно быть?

Здравствуйте, Visor2004, Вы писали:

V>subj конструкция не пашет... все время возвращается false, хотя target — это ICollection[T]. Это так должно быть?

Так оно пашет по видимому изза того, что ICollection[_] превращается в ICollection[object].

Здравствуйте, Visor2004, Вы писали:

V>subj конструкция не пашет... все время возвращается false, хотя target — это ICollection[T]. Это так должно быть?

Если мне не изменяет память в дотнете нельзя сделать обобщенную проверку типов. Пиши ICollection[T] или ICollection[int], тогда будет работать.

Вот в макросах так можно проверять.

Здравствуйте, Visor2004, Вы писали:

V>subj конструкция не пашет... все время возвращается false, хотя target — это ICollection[T]. Это так должно быть?

Ну так экзистенциальных типов Nemerle нет. _ просто означает, что тип должен быть выведен при компиляции.

Здравствуйте, nikov, Вы писали:

N>Ну так экзистенциальных типов Nemerle нет. _ просто означает, что тип должен быть выведен при компиляции.

Ну, потенциально то проверку можно было бы сделать. На рефлексии вдеь это реализуемо. Вот только медленно будет.

Здравствуйте, Visor2004, Вы писали:

V>subj конструкция не пашет... все время возвращается false, хотя target — это ICollection[T]. Это так должно быть?

Т.е. проверить является ли тип коллекцией я могу только так?

type.GetInterface("ICollection`1") != null

Здравствуйте, Visor2004, Вы писали:

V>Т.е. проверить является ли тип коллекцией я могу только так?

Я бы политкорректно выразился "так же, как в С#".

Здравствуйте, Visor2004, Вы писали:

V>Т.е. проверить является ли тип коллекцией я могу только так?

V>

V>type.GetInterface("ICollection`1") != null
V>

Нужна динамическая проверка типов, или хватит статической (во время компиляции)?

Здравствуйте, Visor2004, Вы писали:

V>

V>type.GetInterface("ICollection`1") != null
V>

А чем не устраивает проверка на is ICollection?

Ведь ICollection[T] наследует от ICollection

Здравствуйте, BogdanMart, Вы писали:

BM>Ведь ICollection[T] наследует от ICollection

В этом случае да, но вообще говоря не всегда есть общий не-генерик тип. Допустим, IDictionary[T] не наследует от IDictionary.

Здравствуйте, BogdanMart, Вы писали:

BM>Ведь ICollection[T] наследует от ICollection

С каких пор? Вот что мне показывает рефлектор:

[TypeDependency("System.SZArrayHelper")]
public interface ICollection[T] : IEnumerable[T], IEnumerable
{
....
}

Здравствуйте, VladD2, Вы писали:

VD>Нужна динамическая проверка типов, или хватит статической (во время компиляции)?

надо динамически в рантайме.

Здравствуйте, Visor2004, Вы писали:

VD>>Нужна динамическая проверка типов, или хватит статической (во время компиляции)?

V>надо динамически в рантайме.

Тогда только через рефлексию.

Здравствуйте, Visor2004, Вы писали:


V>С каких пор? Вот что мне показывает рефлектор:...

Да... за фейлил, признаю.
у меня в одной программке был IStorage<T> : IStorage {куча методов} ; IStorage { пустой}

То есть IStorage служил чисто как флаг, чтобы проверить тип (использовалось для фильтрации сообщений )
Но с чужими типами такого не сделаешь...


Напиши макрос.. должно быть не сложно

typecheck( o, ICollection[_])

а макросс развернуть в рефлексионную проверку

o.GetType().GetGenericType().equals(...)
а вот каст к такому типу вряд ли получиться сделать в .Net'e без серьезных хаков компилятора.

Здравствуйте, BogdanMart, Вы писали:

BM>Напиши макрос.. должно быть не сложно
BM>typecheck( o, ICollection[_])
BM>а макросс развернуть в рефлексионную проверку

Меня тут волнует вопрос производительности, а не красоты Если альтернатив рефлексии нету, то меня и GetInterface устроит.

Здравствуйте, Visor2004, Вы писали:

V>Меня тут волнует вопрос производительности, а не красоты :) Если альтернатив рефлексии нету, то меня и GetInterface устроит.

Вопрос производительности можно решить тупо мемоизируя проверки.

Здравствуйте, catbert, Вы писали:

C>Я бы политкорректно выразился "так же, как в С#".

using System;
using System.Collections.Generic;

class Program
{
    static void Main()
    {
        dynamic list = new List<int>();

        if(Implements.GenericICollection(list))
        {
            Console.WriteLine("ICollection<T>");
        }
    }
}

static class Implements
{
    public static bool GenericICollection<T>(ICollection<T> obj) { return true; }
    public static bool GenericICollection(object obj) { return false; }
}