Проверка общего типа

Столкнувшись с подобной проблемой, мне было интересно, как вы, ребята, относитесь к интерфейсу IConvertible . Он позволяет то, что требует запрашивающий, и вы можете расширять свои собственные реализации.

Пример:

    public class MyClass<TKey>
    where TKey : IConvertible
{
    // class intentionally abbreviated
}

Я думаю об этом как о решении, хотя многие из предложенных также были частью моего выбора.

Однако меня беспокоит, вводит ли это в заблуждение потенциальных разработчиков, использующих ваш класс?

Ура - и спасибо.

Примерно то, что уже сказал @Lars:

//Force T to be a value (primitive) type.
public class Class1<T> where T: struct

//Force T to be a reference type.
public class Class1<T> where T: class

//Force T to be a parameterless constructor.
public class Class1<T> where T: new()

Все работают в .NET 2, 3 и 3.5.

Используйте настраиваемое правило FxCop, которое отмечает нежелательное использование MyClass<> .

public class Class1<GenericType> where GenericType : struct
{
}

Похоже, это сработало ...

Если вы можете терпеть использование фабричных методов (вместо конструкторов MyClass, которые вы просили), вы всегда можете сделать что-то вроде этого:

class MyClass<T>
{
  private readonly T _value;

  private MyClass(T value) { _value = value; }

  public static MyClass<int> FromInt32(int value) { return new MyClass<int>(value); }
  public static MyClass<string> FromString(string value) { return new MyClass<string>(value); }
  // etc for all the primitive types, or whatever other fixed set of types you are concerned about
}

Проблема здесь в том, что вам нужно будет печатать MyClass<AnyTypeItDoesntMatter>.FromInt32, что раздражает. Это не очень хороший способ обойти это, если вы хотите сохранить конфиденциальность конструктора, но вот несколько обходных путей:

• Создайте абстрактный класс MyClass. Сделайте MyClass<T>наследование MyClass и вложите в негоMyClass . Переместите статические методы в MyClass. Все это будет работать с видимостью за счет доступа к MyClass<T>as MyClass.MyClass<T>.
• Используйте MyClass<T>как дано. Создайте статический класс, MyClassкоторый вызывает статические методы при MyClass<T>использовании MyClass<AnyTypeItDoesntMatter>(возможно, каждый раз используя соответствующий тип, просто для хихиканья).
• (Проще, но определенно странно) Создайте абстрактный тип, MyClass наследующий отMyClass<AnyTypeItDoesntMatter> . (Скажем, для конкретности MyClass<int>.) Поскольку вы можете вызывать статические методы, определенные в базовом классе, через имя производного класса, теперь вы можете использовать MyClass.FromString.

Это дает вам статическую проверку за счет большего количества записей.

Если вам нравится динамическая проверка, я бы использовал вариант решения TypeCode выше.

Вы можете упростить EnforcePrimitiveType метод, используя typeof(PrimitiveDataType).IsPrimitiveсвойство. Я что-то упускаю?

@Rob, Enum будет проскальзывать через TypeValid функцию как TypeCode есть Integer . Я обновил функцию, чтобы также проверить Enum .

Private Function TypeValid() As Boolean
    Dim g As Type = GetType(T)
    Dim code As TypeCode = Type.GetTypeCode(g)

    ' All of the TypeCode Enumeration refer Primitive Types
    ' with the exception of Object and Empty (Nothing).
    ' Note: must also catch Enum as its type is Integer.
    Select Case code
        Case TypeCode.Object
            Return False
        Case Else
            ' Enum's TypeCode is Integer, so check BaseType
            If g.BaseType Is GetType(System.Enum) Then
                Return False
            Else
                Return True
            End If
    End Select
End Function